Search results for "Regular"
showing 10 items of 855 documents
Boundary Regularity for the Porous Medium Equation
2018
We study the boundary regularity of solutions to the porous medium equation $u_t = \Delta u^m$ in the degenerate range $m>1$. In particular, we show that in cylinders the Dirichlet problem with positive continuous boundary data on the parabolic boundary has a solution which attains the boundary values, provided that the spatial domain satisfies the elliptic Wiener criterion. This condition is known to be optimal, and it is a consequence of our main theorem which establishes a barrier characterization of regular boundary points for general -- not necessarily cylindrical -- domains in ${\bf R}^{n+1}$. One of our fundamental tools is a new strict comparison principle between sub- and superpara…
Finiteness properties of pseudo-hyperbolic varieties
2019
Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem for dynamical systems of infinite order with properties of Prokhorov-Shramov's notion of quasi-minimal models. We also prove a similar result in the geometric setting by using again Amerik's theorem and Prokhorov-Shramov's notion of quasi-minimal model, but also Weil's regularization theorem for birational self-maps and properties of dynamical degrees. Furthermore, in the geometric setting, we obtain an analogue of Kobayashi-Ochiai's finiteness result for…
The snail lemma for internal groupoids
2019
Abstract We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.
Spaces of holomorphic functions in regular domains
2009
AbstractLet Ω be a regular domain in the complex plane C, Ω≠C. Let Gb(Ω) be the linear space over C of the holomorphic functions f in Ω such that f(n) is bounded in Ω and is continuously extendible to the closure Ω¯ of Ω, n=0,1,2,… . We endow Gb(Ω), in a natural manner, with a structure of Fréchet space and we obtain dense subspaces F of Gb(Ω), with good topological linear properties, also satisfying that each function f of F, distinct from zero, does not extend holomorphically outside Ω.
Two-way automata with multiplicity
2005
We introduce the notion of two-way automata with multiplicity in a semiring. Our main result is the extension of Rabin, Scott and Shepherdson's Theorem to this more general case. We in fact show that it holds in the case of automata with multiplicity in a commutative semiring, provided that an additional condition is satisfied. We prove that this condition is also necessary in a particular case. An application is given to zig-zag codes using special two-way automata.
Dyadic Norm Besov-Type Spaces as Trace Spaces on Regular Trees
2019
In this paper, we study function spaces defined via dyadic energies on the boundaries of regular trees. We show that correct choices of dyadic energies result in Besov-type spaces that are trace spaces of (weighted) first order Sobolev spaces.
A characterization of regular circular languages generated by marked splicing systems
2009
AbstractSplicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. A splicing system is defined by giving an initial set I and a set R of rules. Some unanswered questions are related to the computational power of circular splicing systems. In particular, a still open question is to find a characterization of circular languages generated by finite circular splicing systems (i.e., circular splicing systems with both I and R finite sets). In this paper we introduce a special class of the latter systems named marked systems. We prove that a marked system S generates a regular circular language if an…
F-signature of pairs and the asymptotic behavior of Frobenius splittings
2012
We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one application, we answer an open question of I. Aberbach and F. Enescu by showing that the $F$-splitting ratio of an arbitrary $F$-pure local ring is strictly positive. Furthermore, we derive effective methods for computing the $F$-signature and the $F$-splitting ratio in the spirit of the work of R. Fedder.
Set-valued Brownian motion
2015
Brownian motions, martingales, and Wiener processes are introduced and studied for set valued functions taking values in the subfamily of compact convex subsets of arbitrary Banach space $X$. The present paper is an application of one the paper of the second author in which an embedding result is obtained which considers also the ordered structure of $ck(X)$ and f-algebras.
Fourier analysis of periodic Radon transforms
2019
We study reconstruction of an unknown function from its $d$-plane Radon transform on the flat $n$-torus when $1 \leq d \leq n-1$. We prove new reconstruction formulas and stability results with respect to weighted Bessel potential norms. We solve the associated Tikhonov minimization problem on $H^s$ Sobolev spaces using the properties of the adjoint and normal operators. One of the inversion formulas implies that a compactly supported distribution on the plane with zero average is a weighted sum of its X-ray data.