Best constants in a borderline case of second-order Moser type inequalities

We study optimal embeddings for the space of functions whose Laplacian Δu   belongs to L¹(Ω)$L^1(\Omega )$, where Ω⊂RN$\Omega \subset {\mathbb{R}}^N$ is a bounded domain. This function space turns out to be strictly larger than the Sobolev space W2,1(Ω)$W^{2,1}(\Omega )$ in which the whole set of second-order derivatives is considered. In particular, in the limiting Sobolev case, when N=2$N=2$, we establish a sharp embedding inequality into the Zygmund space Lexp(Ω)$L_{\mathit{exp}}(\Omega )$. On one hand, this result enables us to improve the Brezis–Merle (Brezis and Merle (1991) [13]) regularity estimate for the Dirichlet problem Δu=f(x)∈L¹(Ω)$\mathrm{\Delta }u=f(x)\in L^1(\Omega )$, u=0$u=0$ on ∂Ω; on the other hand, it represents a borderline case of D.R. Adams' (1988) [1] generalization of Trudinger–Moser type inequalities to the case of higher-order derivatives. Extensions to dimension N?3$N?3$ are also given. Besides, we show how the best constants in the embedding inequalities change under different boundary conditions.     

Characterizing graphic matroids by a system of linear equations

Given a rank-r   binary matroid we construct a system of O(r³)$O(r^3)$ linear equations in O(r²)$O(r^2)$ variables that has a solution over GF(2)$\mathrm{GF}(2)$ if and only if the matroid is graphic.     

The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary

We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u   is a solution of (−Δ)^su=g${(-\mathrm{\Delta })}^{s}u=g$ in Ω  , u≡0$u\equiv 0$ in Rⁿ\Ω${\mathbb{R}}^n\backslash \Omega$, for some s∈(0,1)$s\in (0,1)$ and g∈L^∞(Ω)$g\in L^{\infty }(\Omega )$, then u   is C^s(Rⁿ)$C^s({\mathbb{R}}^n)$ and u/δ^s_|Ω$u/{\delta }^s{|}_{\Omega }$ is C^α$C^{\alpha }$ up to the boundary ∂Ω   for some α∈(0,1)$\alpha \in (0,1)$, where δ(x)=dist(x,∂Ω)$\delta (x)=\mathrm{dist}(x,\partial \Omega )$. For this, we develop a fractional analog of the Krylov boundary Harnack method.     

A remark on least-squares mixed element methods for reaction–diffusion problems

In this paper, we propose a least-squares mixed element procedure for a reaction–diffusion problem based on the first-order system. By selecting the least-squares functional properly, the resulting procedure can be split into two independent symmetric positive definite schemes, one of which is for the unknown variable and the other of which is for the unknown flux variable, which lead to the optimal order H¹(Ω)$H^1(\Omega )$ and L²(Ω)$L^2(\Omega )$ norm error estimates for the primal unknown and optimal H(div;Ω)$H(\mathrm{div};\Omega )$ norm error estimate for the unknown flux. Finally, we give some numerical examples.     

p-Laplacian boundary value problems on exterior regions

This paper treats some variational principles for solutions of inhomogeneous p  -Laplacian boundary value problems on exterior regions U?R^N$U?{\mathbb{R}}^N$ with dimension N?3$N?3$. Existence-uniqueness results when p∈(1,N)$p\in (1,N)$ are provided in a space E^1,p(U)$E^{1,p}(U)$ of functions that contains W^1,p(U)$W^{1,p}(U)$. Functions in E^1,p(U)$E^{1,p}(U)$ are required to decay at infinity in a measure theoretic sense. Various properties of this space are derived, including results about equivalent norms, traces and an L^p$L^p$-imbedding theorem. Also an existence result for a general variational problem of this type is obtained.     

A continuum of unusual self-adjoint linear partial differential operators

In an earlier publication a linear operator _THar$T_{\mathrm{Har}}$ was defined as an unusual self-adjoint extension generated by each linear elliptic partial differential expression, satisfying suitable conditions on a bounded region Ω$\Omega$ of some Euclidean space. In this present work the authors define an extensive class of _THar$T_{\mathrm{Har}}$-like self-adjoint operators on the Hilbert function space _L2(Ω);$L_2(\Omega );$ but here for brevity we restrict the development to the classical Laplacian differential expression, with Ω$\Omega$ now the planar unit disk. It is demonstrated that there exists a non-denumerable set of such _THar$T_{\mathrm{Har}}$-like operators (each a self-adjoint extension generated by the Laplacian), each of which has a domain in _L2(Ω)$L_2(\Omega )$ that does not lie within the usual Sobolev Hilbert function space W²(Ω)$W^2(\Omega )$. These _THar$T_{\mathrm{Har}}$-like operators cannot be specified by conventional differential boundary conditions on the boundary of ∂Ω$\mathrm{\partial }\Omega$, and may have non-empty essential spectra.     

Laguerre functions on symmetric cones and recursion relations in the real case

In this article we derive differential recursion relations for the Laguerre functions on the cone Ω$\Omega$ of positive definite real matrices. The highest weight representations of the group Sp(n,R)$\mathrm{Sp}(n,\mathbb{R})$ play a fundamental role. Each such representation acts on a Hilbert space of holomorphic functions on the tube domain Ω+iSym(n,R)$\Omega +i\mathrm{Sym}(n,\mathbb{R})$. We then use the Laplace transform to carry the Lie algebra action over to L²(Ω,d_μν)$L^2(\Omega ,\mathrm{d}{\mu }_{\nu })$. The differential recursion relations result by restricting to a distinguished three-dimensional subalgebra, which is isomorphic to sl(2,R).$\mathfrak{sl}(2,\mathbb{R}).$     

Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity

In this paper, we consider the problem (_Pε)$(P_{\epsilon })$ : Δ²u=u^n+4/n-4+εu,u>0${\mathrm{\Delta }}^{2}u=u^{n+4/n-4}+\epsilon u,u>0$ in Ω,u=Δu=0$\Omega ,u=\mathrm{\Delta }u=0$ on ∂Ω$\mathrm{\partial }\Omega$, where Ω$\Omega$ is a bounded and smooth domain in Rⁿ,n>8${\mathbb{R}}^n,n>8$ and ε>0$\epsilon >0$. We analyze the asymptotic behavior of solutions of (_Pε)$(P_{\epsilon })$ which are minimizing for the Sobolev inequality as ε→0$\epsilon \to 0$ and we prove existence of solutions to (_Pε)$(P_{\epsilon })$ which blow up and concentrate around a critical point of the Robin's function. Finally, we show that for ε$\epsilon$ small, (_Pε)$(P_{\epsilon })$ has at least as many solutions as the Ljusternik–Schnirelman category of Ω$\Omega$.     

Nonuniform continuity of the solution map to the two component Camassa–Holm system

We prove that the solution map of the two-component Camassa–Holm system is not uniformly continuous as a map from a bounded subset of the Sobolev space H^s(T)×H^r(T)$H^s(\mathbb{T})\times H^r(\mathbb{T})$ to C([0,1],H^s(T)×H^r(T))$C([0,1],H^s(\mathbb{T})\times H^r(\mathbb{T}))$ when s?1$s?1$ and r?0$r?0$. We also demonstrate the nonuniform continuous property in the continuous function space C¹(T)×C¹(T)$C^1(\mathbb{T})\times C^1(\mathbb{T})$.     

Semilinear fractional elliptic equations involving measures

We study the existence of weak solutions to (E) (−Δ)^αu+g(u)=ν${(-\mathrm{\Delta })}^{\alpha }u+g(u)=\nu$ in a bounded regular domain Ω   in R^N(N≥2)${\mathbb{R}}^N(N\ge 2)$ which vanish in R^N?Ω${\mathbb{R}}^N?\Omega$, where (−Δ)^α${(-\mathrm{\Delta })}^{\alpha }$ denotes the fractional Laplacian with α∈(0,1)$\alpha \in (0,1)$, ν is a Radon measure and g is a nondecreasing function satisfying some extra hypotheses. When g satisfies a subcritical integrability condition, we prove the existence and uniqueness of weak solution for problem (E) for any measure. In the case where ν   is a Dirac measure, we characterize the asymptotic behavior of the solution. When g(r)=|r|^k−1r$g(r)={|r|}^{k-1}r$ with k supercritical, we show that a condition of absolute continuity of the measure with respect to some Bessel capacity is a necessary and sufficient condition in order (E) to be solved.     

The spherical ergodic theorem revisited

In this paper, we give a new proof of a result of R. Jones showing almost everywhere convergence of spherical means of actions of R^d${\mathbb{R}}^d$ on L^p(X)$L^p(X)$-spaces are convergent for d?3$d?3$ and p>d/(d-1)$p>d/(d-1)$.     

A note on irreducible,infinite Coxeter groups

A new proof is given for the statement: For an irreducible, infinite Coxeter group (W,S)$(W,S)$ and w∈W$w\in W$, if wSw^-1=S${\mathit{wSw}}^{-1}=S$, then w=1$w=1$ (the identity element of W).     

Dimension spectra of random subfractals of self-similar fractals

The dimension of a point x   in Euclidean space (meaning the constructive Hausdorff dimension of the singleton set {x}$\{x\}$) is the algorithmic information density of x  . Roughly speaking, this is the least real number dim(x)$\dim (x)$ such that r×dim(x)$r\times \dim (x)$ bits suffice to specify x   on a general-purpose computer with arbitrarily high precision 2^−r$2^{-r}$. The dimension spectrum of a set X   in Euclidean space is the subset of [0,n]$[0,n]$ consisting of the dimensions of all points in X.