Maximum Principle for H-Surfaces in the Unit Cone and Dirichlet’s Problem for their Equation in Central Projection

In the unit cone\({\mathcal{C} := \{(x, y, z)} \in {\mathbb R}^{3} : {x}^{2} + {y}^{2} < {z}^{2}, {z} > {0}\}\) we establish a geometric maximum principle for H-surfaces, where its mean curvature \({H = H(x, y, z)}\) is optimally bounded. Consequently, these surfaces cannot touch the conical boundary \({\partial \mathcal{C}}\) at interior points and have to approach \({\partial \mathcal{C}}\) transversally. By a nonlinear continuity method, we then solve the Dirichlet problem of the H-surface equation in central projection for Jordan-domains \({\Omega}\) which are strictly convex in the following sense: On its whole boundary \({\partial \mathcal{C}(\Omega)}\) their associate cone \({\mathcal{C}(\Omega) := \{(rx, ry, r) \in {\mathbb R}^{3} : (x, y) \in \Omega, r \in (0,+\infty)}\}\) admits rotated unit cones \({O \circ \mathcal{C}}\) as solids of support, where \({O \in {\mathbb R}^{3\times3}}\) represents a rotation in the Euclidean space. Thus we construct the unique H-surface with one-to-one central projection onto these domains \({\Omega}\) bounding a given Jordan-contour \({\Gamma \subset \mathcal{C} \backslash \{0\}}\) with one-toone central projection.     

Removability of the logarithmic singularity for the elliptic PDEs with measurable coefficients and its consequences

This paper introduces the notion of log-regularity (or log-irregularity) of the boundary point \(\zeta \) (possibly \(\zeta =\infty \)) of the arbitrary open subset \(\Omega \) of the Greenian deleted neigborhood of \(\zeta \) in \({\mathbb {R}}^2\) concerning second order uniformly elliptic equations with bounded and measurable coefficients, according as whether the log-harmonic measure of \(\zeta \) is null (or positive). A necessary and sufficient condition for the removability of the logarithmic singularity, that is to say for the existence of a unique solution to the Dirichlet problem in \(\Omega \) in a class \(O(\log |\cdot - \zeta |)\) is established in terms of the Wiener test for the log-regularity of \(\zeta \). From a topological point of view, the Wiener test at \(\zeta \) presents the minimal thinness criteria of sets near \(\zeta \) in minimal fine topology. Precisely, the open set \(\Omega \) is a deleted neigborhood of \(\zeta \) in minimal fine topology if and only if \(\zeta \) is log-irregular. From the probabilistic point of view, the Wiener test presents asymptotic law for the log-Brownian motion near \(\zeta \) conditioned on the logarithmic kernel with pole at \(\zeta \).     

A stationary Fleming–Viot type Brownian particle system

We consider a system \({\{X_1,\ldots,X_N\}}\) of N particles in a bounded d-dimensional domain D. During periods in which none of the particles \({X_1,\ldots,X_N}\) hit the boundary \({\partial D}\) , the system behaves like N independent d-dimensional Brownian motions. When one of the particles hits the boundary \({\partial D}\) , then it instantaneously jumps to the site of one of the remaining N ? 1 particles with probability (N ? 1)^?1. For the system \({\{X_1,\ldots,X_N\}}\) , the existence of an invariant measure \({\nu\mskip-12mu \nu}\) has been demonstrated in Burdzy et al. [Comm Math Phys 214(3):679–703, 2000]. We provide a structural formula for this invariant measure \({\nu\mskip-12mu \nu}\) in terms of the invariant measure m of the Markov chain \({\xi}\) which returns the sites the process \({X:=(X_1,\ldots,X_N)}\) jumps to after hitting the boundary \({\partial D^N}\) . In addition, we characterize the asymptotic behavior of the invariant measure m of \({\xi}\) when N → ∞. Using the methods of the paper, we provide a rigorous proof of the fact that the stationary empirical measure processes \({\frac1N\sum_{i=1}^N\delta_{X_i}}\) converge weakly as N → ∞ to a deterministic constant motion. This motion is concentrated on the probability measure whose density with respect to the Lebesgue measure is the first eigenfunction of the Dirichlet Laplacian on D. This result can be regarded as a complement to a previous one in Grigorescu and Kang [Stoch Process Appl 110(1):111–143, 2004].     

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

Stable equilibria of a singularly perturbed reaction–diffusion equation when the roots of the degenerate equation contact or intersect along a non-smooth hypersurface

We use the variational concept of \({\Gamma}\)-convergence to prove existence, stability and exhibit the geometric structure of four families of stationary solutions to the singularly perturbed parabolic equation \({u_t=\epsilon^2 {\rm div}(k\nabla u)+f(u,x)}\), for \({(t,x)\in \mathbb{R}^+\times\Omega}\), where \({\Omega\subset\mathbb{R}^n}\), \({n\geq 1}\), supplied with no-flux boundary condition. The novelty here lies in the fact that the roots of the bistable function f are not isolated, meaning that the graphs of its roots are allowed to have contact or intersect each other along a Lipschitz-continuous (n ? 1)-dimensional hypersurface \({\gamma \subset \Omega}\); across this hypersurface, the stable equilibria may have corners. The case of intersecting roots stems from the phenomenon known as exchange of stability which is characterized by \({f(\cdot,x)}\) having only two roots.     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

Continuity of the first eigenvalue for a family of degenerate eigenvalue problems

For each \({\alpha\in[0,2)}\) we consider the eigenvalue problem \({-{\rm div}(|x|^\alpha \nabla u)=\lambda u}\) in a bounded domain \({\Omega\subset \mathbb{R}^N}\) (\({N\geq 2}\)) with smooth boundary and \({0\in \Omega}\) subject to the homogeneous Dirichlet boundary condition. Denote by \({\lambda_1(\alpha)}\) the first eigenvalue of this problem. Using \({\Gamma}\)-convergence arguments we prove the continuity of the function \({\lambda_1}\) with respect to \({\alpha}\) on the interval \({[0,2)}\).     

Homogenization of elliptic boundary value problems in Lipschitz domains

In this paper we study the L ^p boundary value problems for \({\mathcal{L}(u)=0}\) in \({\mathbb{R}^{d+1}_+}\) , where \({\mathcal{L}=-{\rm div} (A\nabla )}\) is a second order elliptic operator with real and symmetric coefficients. Assume that A is periodic in x _d+1 and satisfies some minimal smoothness condition in the x _d+1 variable, we show that the L ^p Neumann and regularity problems are uniquely solvable for 1 < p < 2 + δ. We also present a new proof of Dahlberg’s theorem on the L ^p Dirichlet problem for 2 ? δ < p < ∞ (Dahlberg’s original unpublished proof is given in the Appendix). As the periodic and smoothness conditions are imposed only on the x _d+1 variable, these results extend directly from \({\mathbb{R}^{d+1}_+}\) to regions above Lipschitz graphs. Consequently, by localization techniques, we obtain uniform L ^p estimates for the Dirichlet, Neumann and regularity problems on bounded Lipschitz domains for a family of second order elliptic operators arising in the theory of homogenization. The results on the Neumann and regularity problems are new even for smooth domains.     

Lie Algebras with Nilpotent Length Greater than that of each of their Subalgebras

The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call minimal non- \({\mathcal N}\). To facilitate this we investigate solvable Lie algebras of nilpotent length k, and of nilpotent length ≤k, and extreme Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-\({\mathcal N}\) Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index ≤3.     

Algebraically closed and existentially closed Abelian lattice-ordered groups

If \({\mathcal{G}}\) is an Abelian lattice-ordered (l-) group, then \({\mathcal{G}}\) is algebraically (existentially) closed just in case every finite system of l-group equations (equations and inequations), involving elements of \({\mathcal{G}}\), that is solvable in some Abelian l-group extending \({\mathcal{G}}\) is solvable already in \({\mathcal{G}}\). This paper establishes two systems of axioms for algebraically (existentially) closed Abelian l-groups, one more convenient for modeltheoretic applications and the other, discovered by Weispfenning, more convenient for algebraic applications. Among the model-theoretic applications are quantifierelimination results for various kinds of existential formulas, a new proof of the amalgamation property for Abelian l-groups, Nullstellensätze in Abelian l-groups, and the display of continuum-many elementary-equivalence classes of existentially closed Archimedean l-groups. The algebraic applications include demonstrations that the class of algebraically closed Abelian l-groups is a torsion class closed under arbitrary products, that the class of l-ideals of existentially closed Abelian l-groups is a radical class closed under binary products, and that various classes of existentially closed Abelian l-groups are closed under bounded Boolean products.     

Evolution of curvatures on a surface with boundary to prescribed functions

Let (M, g ₀) be a compact Riemann surface with boundary and with negative Euler characteristic. Let f(x) be a strictly negative smooth function on \({\bar{M}}\) and denote by \({\sigma(x)}\) the value of f in the interior and \({\zeta(x)}\) the value of f on the boundary. By studying the evolution of curvatures on M, we prove that there exist a constant \({\lambda_\infty}\) and a conformal metric \({g_\infty}\) such that \({\lambda_\infty\sigma(x)}\) and \({\lambda_\infty\zeta(x)}\) can be realized as the Gaussian curvature and boundary geodesic curvature of \({g_\infty}\) respectively.     

The exact asymptotic behavior of boundary blow-up solutions to infinity Laplacian equations

In this paper, we study the asymptotic behavior of viscosity solutions to boundary blow-up elliptic problem \({\Delta_{\infty}u=b(x)f(u),\, x\in\Omega,\,u|_{\partial\Omega}=+\infty,}\) where \({\Omega}\) is a bounded domain with C²-boundary in \({\mathbb{R}^{N}}\), \({b\in \rm C(\bar{\Omega})}\) is positive in \({\Omega}\), which may be vanishing on the boundary, \({f\in C^{1}([0, \infty))}\) is regularly varying or is rapidly varying at infinity.     

Quantum Ergodic Restriction Theorems. I: Interior Hypersurfaces in Domains with Ergodic Billiards

Quantum ergodic restriction (QER) is the problem of finding conditions on a hypersurface H so that restrictions \({\phi_j |_H}\) to H of Δ-eigenfunctions of Riemannian manifolds (M, g) with ergodic geodesic flow are quantum ergodic on H. We prove two kinds of results: First (i) for any smooth hypersurface H in a piecewise-analytic Euclidean domain, the Cauchy data \({(\phi_j|H,\partial_{\nu}^H \phi_j|H)}\) is quantum ergodic if the Dirichlet and Neumann data are weighted appropriately. Secondly, (ii) we give conditions on H so that the Dirichlet (or Neumann) data is individually quantum ergodic. The condition involves the almost nowhere equality of left and right Poincaré maps for H. The proof involves two further novel results: (iii) a local Weyl law for boundary traces of eigenfunctions, and (iv) an ‘almost-orthogonality’ result for Fourier integral operators whose canonical relations almost nowhere commute with the geodesic flow.     

The Regularity Problems with Data in Hardy–Sobolev Spaces for Singular Schrödinger Equation in Lipschitz Domains

Let the nonnegative singular potential V belong to the reverse Hölder class \({\mathcal B}_n\) on \({\mathbb R}^n\), and let (n???1)/n?p?≤?2, we establish the solvability and derivative estimates for the solutions to the Neumann problem and the regularity problem of the Schrödinger equation ??Δu?+?Vu?=?0 in a connected Lipschitz domain Ω, with boundary data in the Hardy space \(H^p(\partial \Omega)\) and the modified Hardy–Sobolev space \(H_{1, V}^p(\partial \Omega)\) related to the potential V. To deal with the H ^p regularity problem, we construct a new characterization of the atomic decomposition for \(H_{1, V}^p(\partial \Omega)\) space. The invertibility of the boundary layer potentials on Hardy spaces and Hölder spaces are shown in this paper.     

Perturbation from symmetry for indefinite semilinear elliptic equations

We prove the existence of an unbounded sequence of solutions for an elliptic equation of the form \({-\Delta u=\lambda u + a(x)g(u)+f(x), u\in H^1_0(\Omega)}\), where \({\lambda \in \mathbb{R}, g(\cdot)}\) is subcritical and superlinear at infinity, and a(x) changes sign in Ω; moreover, g( ? s) =  ? g(s) \({\forall s}\). The proof uses Rabinowitz’s perturbation method applied to a suitably truncated problem; subsequent energy and Morse index estimates allow us to recover the original problem. We consider the case of \({\Omega\subset \mathbb{R}^N}\) bounded as well as \({\Omega=\mathbb{R}^N, \, N\geqslant 3}\).     

Note on Bernoulli numbers associated to some Dirichlet character of prime conductor

We fix an integer \({n \geq 1}\) and a divisor m of n such that n/m is odd. Let p be a prime number of the form \({p=2n\ell+1}\) for some odd prime number \({\ell}\) with \({\ell \nmid m}\). Let \({S=pB_{1,2m\ell}}\) be the p times of the generalised Bernoulli number associated to an odd Dirichlet character of conductor p and order \({2m\ell}\), which is an algebraic integer of the \({2m\ell}\)th cyclotomic field. It is known that \({S \neq 0}\). More strongly, we show that when \({\ell}\) is sufficiently large, the trace of \({\zeta^{-1}S}\) to the \({2m}\)th cyclotomic field does not vanish for any\({\ell}\)th root \({\zeta}\) of unity. We also show a related result on indivisibility of relative class numbers.     

On convexity of hypersurfaces in the hyperbolic space

In the Hyperbolic space \({\mathbb{H}^n}\) (n ≥ 3) there are uncountably many topological types of convex hypersurfaces. When is a locally convex hypersurface in \({\mathbb{H}^n}\) globally convex, that is, when does it bound a convex set? We prove that any locally convex proper embedding of an (n ? 1)-dimensional connected manifold is the boundary of a convex set whenever the complement of (n ? 1)-flats of the resulting hypersurface is connected.     

Spectral properties for layer potentials associated to the Stokes equation in Lipschitz domains

In this paper, we consider the spectral properties of the double layer potentials K and \({\tilde{K}}\) related to the traction boundary value problem and the slip boundary value problem, respectively, of the Stokes equations in a bounded Lipschitz domain Ω in R ⁿ . We show the invertibility of λI ? K and \({\lambda I - \tilde{K}}\) in L ²(?Ω) for \({\lambda \in {\bf R}{\setminus} [-\frac 12, \frac12]}\). As an application, we study the transmission problems of the Stokes equations.     

Geometric rigidity of constant heat flow

Let \(\Omega \) be a compact Riemannian manifold with smooth boundary and let \(u_t\) be the solution of the heat equation on \(\Omega \), having constant unit initial data \(u_0=1\) and Dirichlet boundary conditions (\(u_t=0\) on the boundary, at all times). If at every time t the normal derivative of \(u_t\) is a constant function on the boundary, we say that \(\Omega \) has the constant flow property. This gives rise to an overdetermined parabolic problem, and our aim is to classify the manifolds having this property. In fact, if the metric is analytic, we prove that \(\Omega \) has the constant flow property if and only if it is an isoparametric tube, that is, it is a solid tube of constant radius around a closed, smooth, minimal submanifold, with the additional property that all equidistants to the boundary (parallel hypersurfaces) are smooth and have constant mean curvature. Hence, the constant flow property can be viewed as an analytic counterpart to the isoparametric property. Finally, we relate the constant flow property with other overdetermined problems, in particular, the well-known Serrin problem on the mean-exit time function, and discuss a counterexample involving minimal free boundary immersions into Euclidean balls.     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.