Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

On the singular set of minimizers of p(x)-energies

We treat the partial regularity of locally bounded local minimizers $u$ for the $p(x)$ -energy functional $$\begin{aligned} \mathcal{E }(v;\Omega ) = \int \left( g^{\alpha \beta }(x)h_{ij}(v) D_\alpha v^i (x) D_\beta v^j (x) \right) ^{p(x)/2} dx, \end{aligned}$$ defined for maps $v : \Omega (\subset \mathbb R ^m) \rightarrow \mathbb R ^n$ . Assuming the Lipschitz continuity of the exponent $p(x) \ge 2$ , we prove that $u \in C^{1,\alpha }(\Omega _0)$ for some $\alpha \in (0,1)$ and an open set $\Omega _0 \subset \Omega $ with $\dim _\mathcal{H }(\Omega \setminus \Omega _0) \le m-[\gamma _1]-1$ , where $\dim _\mathcal{H }$ stands for the Hausdorff dimension, $[\gamma _1]$ the integral part of $\gamma _1$ , and $\gamma _1 = \inf p(x)$ .     

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space ${\mathcal{H}}$ , with ${dim(\mathcal{H}) \geq 3}$ , define ${\mathbb{S}(\mathcal{H}):= \{x\in \mathcal{H} \:|\: \|x\|=1\}}$ , and let ${\nu_\mathcal{H}}$ be the unique regular Borel positive measure invariant under the action of the unitary operators in ${\mathcal{H}}$ , with ${\nu_\mathcal{H}(\mathbb{S}(\mathcal{H}))=1}$ . We prove that if a complex frame function ${f : \mathbb{S}(\mathcal{H})\to \mathbb{C}}$ satisfies ${f \in \mathbb{L}^2(\mathbb{S}(\mathcal{H}), \nu_\mathcal{H})}$ , then it verifies Gleason’s statement: there is a unique linear operator ${A: \mathcal{H} \to \mathcal{H}}$ such that ${f(u) = \langle u| A u\rangle}$ for every ${u \in \mathbb{S}(\mathcal{H}).\,A}$ is Hermitean when f is real. No boundedness requirement is thus assumed on f a priori.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

A priori estimates for a class of degenerate elliptic equations

In this paper we investigate the regularity of solutions for the following degenerate partial differential equation $$\left \{\begin{array}{ll} -\Delta_p u + u = f \qquad {\rm in} \,\Omega,\\ \frac{\partial u}{\partial \nu} = 0 \qquad \qquad \,\,\,\,\,\,\,\,\,\, {\rm on} \,\partial \Omega, \end{array}\right.$$ when ${f \in L^q(\Omega), p > 2}$ and q ≥ 2. If u is a weak solution in ${W^{1, p}(\Omega)}$ , we obtain estimates for u in the Nikolskii space ${\mathcal{N}^{1+2/r,r}(\Omega)}$ , where r = q(p ? 2) + 2, in terms of the L ^q norm of f. In particular, due to imbedding theorems of Nikolskii spaces into Sobolev spaces, we conclude that ${\|u\|^r_{W^{1 + 2/r - \epsilon, r}(\Omega)} \leq C(\|f\|_{L^q(\Omega)}^q + \| f\|^{r}_{L^q(\Omega)} + \|f\|^{2r/p}_{L^q(\Omega)})}$ for every ${\epsilon > 0}$ sufficiently small. Moreover, we prove that the resolvent operator is continuous and compact in ${W^{1,r}(\Omega)}$ .     

Uniqueness of integrable solutions to {\nabla \zeta=G \zeta, \zeta|_\Gamma = 0} for integrable tensor coefficients G and applications to elasticity

Let ${\Omega \subset \mathbb{R}^{N}}$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ${\partial\Omega}$ . We show that the solution to the linear first-order system $$\nabla \zeta = G\zeta, \, \, \zeta|_\Gamma = 0 \quad \quad \quad (1)$$ is unique if ${G \in \textsf{L}^{1}(\Omega; \mathbb{R}^{(N \times N) \times N})}$ and ${\zeta \in \textsf{W}^{1,1}(\Omega; \mathbb{R}^{N})}$ . As a consequence, we prove $$||| \cdot ||| : \textsf{C}_{o}^{\infty}(\Omega, \Gamma; \mathbb{R}^{3}) \rightarrow [0, \infty), \, \, u \mapsto \parallel {\rm sym}(\nabla uP^{-1})\parallel_{\textsf{L}^{2}(\Omega)}$$ to be a norm for ${P \in \textsf{L}^{\infty}(\Omega; \mathbb{R}^{3 \times 3})}$ with Curl ${P \in \textsf{L}^{p}(\Omega; \mathbb{R}^{3 \times 3})}$ , Curl ${P^{-1} \in \textsf{L}^{q}(\Omega; \mathbb{R}^{3 \times 3})}$ for some p, q > 1 with 1/p + 1/q = 1 as well as det ${P \geq c^+ > 0}$ . We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let ${\Phi \in \textsf{H}^{1}(\Omega; \mathbb{R}^{3})}$ satisfy sym ${(\nabla\Phi^\top\nabla\Psi) = 0}$ for some ${\Psi \in \textsf{W}^{1,\infty}(\Omega; \mathbb{R}^{3}) \cap \textsf{H}^{2}(\Omega; \mathbb{R}^{3})}$ with det ${\nabla\Psi \geq c^+ > 0}$ . Then, there exist a constant translation vector ${a \in \mathbb{R}^{3}}$ and a constant skew-symmetric matrix ${A \in \mathfrak{so}(3)}$ , such that ${\Phi = A\Psi + a}$ .     

Large viscosity solutions for some fully nonlinear equations

We study existence, uniqueness and asymptotic behavior near the boundary of solutions of the problem $$\left\{\begin{array}{ll}-F(D^{2} u) + \beta (u) = f \quad {\rm in} \, \Omega, \\ u = + \infty \quad \quad \quad \quad \quad \quad \,\,\,\, {\rm on}\, \partial \Omega, \end{array} \right.\quad \quad \quad \quad \quad {\rm (P)}$$ where Ω is a bounded smooth domain in ${{\mathbb R}^N, N >1 , F}$ is a fully nonlinear elliptic operator and β is a nondecreasing continuous function. Assuming that β satisfies the Keller–Osserman condition, we obtain existence results which apply to ${f \in L^\infty_{loc}(\Omega)}$ or f having only local integrability properties where viscosity solutions are well defined, i.e. ${f \in L^N_{loc}(\Omega)}$ . Besides, we find the asymptotic behavior near the boundary of solutions of (P) for a wide class of functions ${f \in \mathcal{C}(\Omega)}$ . Based in this behavior, we also prove uniqueness.     

Local behaviour of singular solutions for nonlinear elliptic equations in divergence form

We consider the following class of nonlinear elliptic equations $$\begin{array}{ll}{-}{\rm div}(\mathcal{A}(|x|)\nabla u) +u^q=0\quad {\rm in}\; B_1(0)\setminus\{0\}, \end{array}$$ where q > 1 and ${\mathcal{A}}$ is a positive C ¹(0,1] function which is regularly varying at zero with index ${\vartheta}$ in (2?N,2). We prove that all isolated singularities at zero for the positive solutions are removable if and only if ${\Phi\not\in L^q(B_1(0))}$ , where ${\Phi}$ denotes the fundamental solution of ${-{\rm div}(\mathcal{A}(|x|)\nabla u)=\delta_0}$ in ${\mathcal D'(B_1(0))}$ and δ₀ is the Dirac mass at 0. Moreover, we give a complete classification of the behaviour near zero of all positive solutions in the more delicate case that ${\Phi\in L^q(B_1(0))}$ . We also establish the existence of positive solutions in all the categories of such a classification. Our results apply in particular to the model case ${\mathcal{A}(|x|)=|x|^\vartheta}$ with ${\vartheta\in (2-N,2)}$ .     

Split Partial Isometries

A partial isometry V is said to be a split partial isometry if ${\mathcal{H}=R(V) + N(V)}$ , with R(V) ∩ N(V) = {0} (R(V) = range of V, N(V) = null-space of V). We study the topological properties of the set ${\mathcal{I}_0}$ of such partial isometries. Denote by ${\mathcal{I}}$ the set of all partial isometries of ${\mathcal{B}(\mathcal{H})}$ , and by ${\mathcal{I}_N}$ the set of normal partial isometries. Then $$\mathcal{I}_N\subset \mathcal{I}_0\subset \mathcal{I}, $$ and the inclusions are proper. It is known that ${\mathcal{I}}$ is a C ^∞-submanifold of ${\mathcal{B}(\mathcal{H})}$ . It is shown here that ${\mathcal{I}_0}$ is open in ${\mathcal{I}}$ , therefore is has also C ^∞-local structure. We characterize the set ${\mathcal{I}_0}$ , in terms of metric properties, existence of special pseudo-inverses, and a property of the spectrum and the resolvent of V. The connected components of ${\mathcal{I}_0}$ are characterized: ${V_0,V_1\in \mathcal{I}_0}$ lie in the same connected component if and only if $${\rm dim}\, R(V_0)= {\rm dim}\, R(V_1) \,\,{\rm and}\,\,\, {\rm dim}\, R(V_0)^\perp = {\rm dim}\, R(V_1)^\perp.$$ This result is known for normal partial isometries.     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

Characterization of the automorphism group of quaternary linear Hadamard codes

A quaternary linear Hadamard code ${\mathcal{C}}$ is a code over ${\mathbb{Z}_4}$ such that, under the Gray map, gives a binary Hadamard code. The permutation automorphism group of a quaternary linear code ${\mathcal{C}}$ of length n is defined as ${{\rm PAut}(\mathcal{C}) = \{\sigma \in S_{n} : \sigma(\mathcal{C}) = \mathcal{C}\}}$ . In this paper, the order of the permutation automorphism group of a family of quaternary linear Hadamard codes is established. Moreover, these groups are completely characterized by computing the orbits of the action of ${{\rm PAut}(\mathcal{C})}$ on ${\mathcal{C}}$ and by giving the generators of the group. Since the dual of a Hadamard code is an extended 1-perfect code in the quaternary sense, the permutation automorphism group of these codes is also computed.     

Young measures generated by sequences in Morrey spaces

Let ${\Omega\subset\mathbb{R}^n}$ be open and bounded. For 1 ≤ p < ∞ and 0 ≤ λ < n, we give a characterization of Young measures generated by sequences of functions ${\{{\bf f}_j\}_{j=1}^\infty}$ uniformly bounded in the Morrey space ${L^{p,\lambda}(\Omega;\mathbb{R}^N)}$ with ${\{\left|{{\bf f}_j}\right|^p\}_{j=1}^\infty}$ equiintegrable. We then treat the case that each f _j = ? u _j for some ${{\bf u}_j\in W^{1,p}(\Omega;\mathbb{R}^N)}$ . As an application of our results, we consider the functional $${\bf u} \mapsto \int\limits_{\Omega}f({\bf x}, {\bf u}({\bf x}), {\bf {\nabla}}{\bf u}({\bf x})){\rm d}{\bf x},$$ and provide conditions that guarantee the existence of a minimizing sequence with gradients uniformly bounded in ${L^{p,\lambda}(\Omega;\mathbb{R}^{N\times n})}$ .     

Stability estimates for nonlinear hyperbolic problems with nonlinear Wentzell boundary conditions

Of concern is the nonlinear hyperbolic problem with nonlinear dynamic boundary conditions $$\left\{ \begin{array}{lll} u_{tt} ={\rm div} (\mathcal{A} \nabla u)-\gamma (x,u_t), && \quad {\rm in} \; (0, \infty) \times \Omega,\\ u(0, \cdot)=f, \, u_t(0,\cdot)=g, && \quad {\rm in}\; \Omega, \\ u_{tt} + \beta \partial^ \mathcal{A}_\nu u+c(x)u+ \delta (x,u_t)-q \beta \Lambda_{\rm LB} u=0,&& \quad {\rm on} \;(0, \infty ) \times \partial \Omega . \end{array}\right. $$ for t ≥  0 and ${x \in \Omega \subset \mathbb{R}^N}$ ; the last equation holds on the boundary ?Ω. Here ${\mathcal{A}= \{a_{ij}(x)\}_{ij}}$ is a real, hermitian, uniformly positive definite N × N matrix; ${\beta \in C(\partial \Omega)}$ , with β > 0; ${\gamma:\Omega \times \mathbb{R} \to \mathbb{R}; \delta:\partial \Omega \times \mathbb{R} \to \mathbb{R}; \,c:\partial \Omega \to \mathbb{R}; \, q \ge 0, \Lambda_{\rm LB}}$ is the Laplace–Beltrami operator on ?Ω, and ${\partial^\mathcal{A}_\nu u}$ is the conormal derivative of u with respect to ${\mathcal{A}}$ ; everything is sufficiently regular. We prove explicit stability estimates of the solution u with respect to the coefficients ${\mathcal{A},\,\beta,\,\gamma,\,\delta,\,c,\,q}$ , and the initial conditions f, g. Our arguments cover the singular case of a problem with q = 0 which is approximated by problems with positive q.     

Relaxation of signed integral functionals in BV

For integral functionals initially defined for ${u \in {\rm W}^{1,1}(\Omega; \mathbb{R}^m)}$ by $$\int_{\Omega} f(\nabla u) \, {\rm d}x$$ we establish strict continuity and relaxation results in ${{\rm BV}(\Omega; \mathbb{R}^m)}$ . The results cover the case of signed continuous integrands ${f : \mathbb{R}^{m \times d} \to \mathbb{R}}$ of linear growth at infinity. In particular, it is not excluded that the integrands are unbounded below.     

Maximal, potential and singular operators in vanishing generalized Morrey spaces

We introduce vanishing generalized Morrey spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\Omega), \Omega \subseteq \mathbb{R}^n}$ with a general function ${\varphi(x, r)}$ defining the Morrey-type norm. Here ${\Pi \subseteq \Omega}$ is an arbitrary subset in Ω including the extremal cases ${\Pi = \{x_0\}, x_0 \in \Omega}$ and Π = Ω, which allows to unify vanishing local and global Morrey spaces. In the spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n)}$ we prove the boundedness of a class of sublinear singular operators, which includes Hardy-Littlewood maximal operator and Calderon-Zygmund singular operators with standard kernel. We also prove a Sobolev-Spanne type ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n) \rightarrow V\mathcal{L}^{q,\varphi^\frac{q}{p}}_\Pi (\mathbb{R}^n)}$ -theorem for the potential operator I ^α . The conditions for the boundedness are given in terms of Zygmund-type integral inequalities on ${\varphi(x, r)}$ . No monotonicity type condition is imposed on ${\varphi(x, r)}$ . In case ${\varphi}$ has quasi- monotone properties, as a consequence of the main results, the conditions of the boundedness are also given in terms of the Matuszeska-Orlicz indices of the function ${\varphi}$ . The proofs are based on pointwise estimates of the modulars defining the vanishing spaces