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)$ .     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.     

Singular limits for Liouville-type equations on the flat two-torus

We consider the problem $$\begin{aligned} -\Delta u=\varepsilon ^{2}e^{u}- \frac{1}{|\Omega |}\int _\Omega \varepsilon ^{2} e^{u}+ {4\pi N\over |\Omega |} - 4 \pi N\delta _p, \quad \text{ in} {\Omega }, \quad \int _\Omega u=0 \end{aligned}$$ in a flat two-torus $\Omega $ with periodic boundary conditions, where $\varepsilon >0,\,|\Omega |$ is the area of the $\Omega $ , $N>0$ and $\delta _p$ is a Dirac mass at $p\in \Omega $ . We prove that if $1\le m<N+1$ then there exists a family of solutions $\{u_\varepsilon \}_{\varepsilon }$ such that $\varepsilon ^{2}e^{u_\varepsilon }\rightharpoonup 8\pi \sum _{i=1}^m\delta _{q_i}$ as $\varepsilon \rightarrow 0$ in measure sense for some different points $q_{1}, \ldots , q_{m}$ . Furthermore, points $q_i$ , $i=1,\dots ,m$ are different from $p$ .     

Local {W^{2,m(\cdot)}_{loc}}regularity for p(.)-Laplace equations

We study ${W^{2,m(\cdot)}_{loc}}$ regularity for local weak solutions of p(·)-Laplace equations where ${p\in C^1(\Omega) \cap C(\overline{\Omega})}$ and ${\min_{x\in \overline{\Omega}} p(x) > 1}$ .     

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}$ .     

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)}$ .     

Sufficient conditions for regularity of area-preserving deformations

We discuss some basic regularity properties of the area-preserving deformations ${u:\Omega \mapsto \mathbb{R}^2}$ that have minimal elastic energy ${\int \limits_\Omega|\nabla u|^2}$ among a suitable class of admissible vectorfields defined on a smooth, bounded domain ${\Omega\subset \mathbb{R}^2}$ . Although we restrict ourselves to the quadratic stored energy function and 2-space, most of our results extend to three dimensional setting with convex stored energy function.     

Boundary regularity for elliptic systems under a natural growth condition

We consider weak solutions ${u \in u_0 + W^{1,2}_0(\Omega,\mathbb{R}^N) \cap L^{\infty}(\Omega,\mathbb{R}^N)}$ of second-order nonlinear elliptic systems of the type $$- {\rm div} \,a (\, \cdot \,, u, Du ) = b(\, \cdot \,,u,Du)\qquad \text{ in }\Omega$$ with an inhomogeneity satisfying a natural growth condition. In dimensions ${n \in \{2,3,4\}}$ , we show that ${\mathcal{H}^{n-1}}$ -almost every boundary point is a regular point for Du, provided that the boundary data and the coefficients are sufficiently smooth.     

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})}$ .     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Existence and extremal solutions of parabolic variational–hemivariational inequalities

We consider quasilinear parabolic variational–hemivariational inequalities in a cylindrical domain $Q=\Omega \times (0,\tau )$ of the form $$\begin{aligned} u\in K:\ \langle u_t+Au, v-u\rangle +\int _Q j^o(x,t, u;v-u)\,dxdt\ge 0,\ \ \forall \ v\in K, \end{aligned}$$ where $K\subset X_0=L^p(0,\tau ;W_0^{1,p}(\Omega ))$ is some closed and convex subset, $A$ is a time-dependent quasilinear elliptic operator, and $s\mapsto j(\cdot ,\cdot ,s)$ is assumed to be locally Lipschitz with $(s,r)\mapsto j^o(x,t, s;r)$ denoting its generalized directional derivative at $s$ in the direction $r$ . The main goal of this paper is threefold: first, an existence and comparison principle is proved; second, the existence of extremal solutions within some sector of appropriately defined sub-supersolutions is shown; third, the equivalence of the above parabolic variational–hemivariational inequality with an associated multi-valued parabolic variational inequality of the form $$\begin{aligned} u\in K:\ \langle u_t+Au, v-u\rangle +\int _Q \eta \, (v-u)\,dxdt\ge 0,\ \ \forall \ v\in K \end{aligned}$$ with $\eta (x,t)\in \partial j(x,t, u(x,t))$ is established, where $s\mapsto \partial j(x,t, s)$ denotes Clarke’s generalized gradient of the locally Lipschitz function $s\mapsto j(\cdot ,\cdot ,s)$ .     

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 }$ .     

Wellposedness in the Lipschitz class for a quasi-linear hyperbolic system arising from a model of the atmosphere including water phase transitions

In this paper wellposedness is proved for a diagonal quasilinear hyperbolic system containing integral quadratic and Lipschitz continuous terms which prevent from looking for classical solutions in Sobolev spaces. It is the hyperbolic part of the system introduced in [Selvaduray and Fujita Yashima on Atti dell’Accademia delle Scienze di Torino 2011] as a model for air motion in ${\mathbf{R}^3}$ including water phase transitions. Unknown functions are: the densities ρ of dry air, π of water vapor, σ and ν of water in the liquid and solid state, dependent also on the mass m of the droplets or ice particles. Air velocity v and temperature T are assumed to be known. Solutions (ρ, π, σ, ν) lie in ${L^\infty(]0,\tau^*[; W^{1,\infty}(\Omega))^2 \times L^\infty(]0,\tau^*[; W^{1,\infty}(\Omega^+))^2}$ , where ${\Omega^+ = \Omega \times]0, +\infty[,\Omega \subset \mathbf{R}^3}$ is open and bounded, and τ* is sufficiently small; they depend continuously on initial data, temperature and velocities, which are tangent to ${\partial\Omega}$ ; they lie also in ${W^{1,q}(]0,\tau^*[;L^\infty(\Omega))^2 \times\,W^{1,q}(]0,\tau^*[;L^\infty(\Omega^+))^2}$ , where ${q \in [1, \infty]}$ .     

Boundary partial regularity for a class of biharmonic maps

We consider the Dirichlet problem for biharmonic maps u from a bounded, smooth domain ${\Omega\subset\mathbb R^n (n\ge 5)}$ to a compact, smooth Riemannian manifold ${N\subset{\mathbb {R}}^l}$ without boundary. For any smooth boundary data, we show that if u is a stationary biharmonic map that satisfies a certain boundary monotonicity inequality, then there exists a closed subset ${\Sigma\subset\overline{\Omega}}$ , with ${H^{n-4}(\Sigma)=0}$ , such that ${\displaystyle u\in C^\infty(\overline\Omega\setminus\Sigma, N)}$ .     

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(·, ??).     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Remarks on the existence of solutions to some quasilinear elliptic problems involving the Hardy-Leray potential

We study the solvability of the quasilinear problem $$\begin{aligned} -\Delta _p u =\frac{u^q }{|x|^p}+g(\lambda , x, u) \quad u>0 \quad \text{ in}\;\Omega , \end{aligned}$$ with $u=0$ on $\partial \Omega $ , where $-\Delta _p(\cdot )$ is the $p$ -Laplacian operator, $q>0, 1<p<N$ and $\Omega $ a smooth bounded domain in $\mathbb R ^N$ . We consider the following cases:

1. $g(\lambda ,x,u)\equiv 0$ ;
2. $g(\lambda ,x,u)=\lambda f(x)u^r$ , with $\lambda >0$ and $f(x) \gneq 0$ belonging to $L^{\infty }(\Omega )$ and $0 \le r<p-1$ .

In the case $(i)$ , the existence of solutions depends on the location of the origin in the domain, on the geometry of the domain and on the exponent $q$ . On the other hand, in the case $(ii)$ , the existence of solutions only depends on the position of the origin and on the coefficient $\lambda $ , but does not depend either on the exponent $q$ or on the geometry of $\Omega $ .     

Convergence of the eigenvalues of the p-Laplace operator as p goes to 1

Let $(\lambda ^k_p)_k$ be the usual sequence of min-max eigenvalues for the $p$ -Laplace operator with $p\in (1,\infty )$ and let $(\lambda ^k_1)_k$ be the corresponding sequence of eigenvalues of the 1-Laplace operator. For bounded $\Omega \subseteq \mathbb{R }^n$ with Lipschitz boundary the convergence $\lambda ^k_p\rightarrow \lambda ^k_1$ as $p\rightarrow 1$ is shown for all $k\in \mathbb{N }$ . The proof uses an approximation of $BV(\Omega )$ -functions by $C_0^\infty (\Omega )$ -functions in the sense of strict convergence on $\mathbb{R }^n$ .     

Asymptotic expansions and fast computation of oscillatory Hilbert transforms

In this paper, we study the asymptotics and fast computation of the one-sided oscillatory Hilbert transforms of the form $$\begin{aligned} H^{+}(f(t)e^{i\omega t})(x)=-\!\!\!\!\!\!\int \nolimits _{\!\!\!0}^{\infty }e^{i\omega t}\frac{f(t)}{t-x}\,dt,\quad \omega >0,\quad x\ge 0, \end{aligned}$$ where the bar indicates the Cauchy principal value and $f$ is a real-valued function with analytic continuation in the first quadrant, except possibly a branch point of algebraic type at the origin. When $x=0$ , the integral is interpreted as a Hadamard finite-part integral, provided it is divergent. Asymptotic expansions in inverse powers of $\omega $ are derived for each fixed $x\ge 0$ , which clarify the large $\omega $ behavior of this transform. We then present efficient and affordable approaches for numerical evaluation of such oscillatory transforms. Depending on the position of $x$ , we classify our discussion into three regimes, namely, $x=\mathcal O (1)$ or $x\gg 1$ , $0<x\ll 1$ and $x=0$ . Numerical experiments show that the convergence of the proposed methods greatly improve when the frequency $\omega $ increases. Some extensions to oscillatory Hilbert transforms with Bessel oscillators are briefly discussed as well.