Unique continuation for first-order systems with integrable coefficients and applications to elasticity and plasticity

Let $\Omega ?{\mathbb{R}}^N$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ?Ω. We show that the solution to the linear first-order system:(1)$\mathrm{?}\zeta =G\zeta ,\zeta {|}_{\Gamma }=0,$ vanishes if $G\in {\mathsf{L}}^1(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ and $\zeta \in {\mathsf{W}}^{1,1}(\Omega ;{\mathbb{R}}^N)$. In particular, square-integrable solutions ζ of (1) with $G\in {\mathsf{L}}^1\cap {\mathsf{L}}^2(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ vanish. As a consequence, we prove that:$???:{\mathsf{C}}_{°}^{\infty }(\Omega ,\Gamma ;{\mathbb{R}}^3)\to [0,\infty ),u?6\mathrm{sym}\left(\mathrm{?}u{P}^{?1}\right)6_{{\mathsf{L}}^2(\Omega )}$ is a norm if $P\in {\mathsf{L}}^{\infty }(\Omega ;{\mathbb{R}}^{3\times 3})$ with $\mathrm{Curl}P\in {\mathsf{L}}^p(\Omega ;{\mathbb{R}}^{3\times 3})$, $\mathrm{Curl}{P}^{?1}\in {\mathsf{L}}^q(\Omega ;{\mathbb{R}}^{3\times 3})$ for some $p,q>1$ with $1/p+1/q=1$ as well as $\det P?c^{+}>0$. We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let $\Phi \in {\mathsf{H}}^1(\Omega ;{\mathbb{R}}^3)$, $\Omega ?{\mathbb{R}}^3$, satisfy $\mathrm{sym}(\mathrm{?}{\Phi }^{?}\mathrm{?}\Psi )=0$ for some $\Psi \in {\mathsf{W}}^{1,\infty }(\Omega ;{\mathbb{R}}^3)\cap {\mathsf{H}}^2(\Omega ;{\mathbb{R}}^3)$ with $\det \mathrm{?}\Psi ?c^{+}>0$. Then there exists 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$.     

Jumps of computably enumerable equivalence relations

We study computably enumerable equivalence relations (or, ceers), under computable reducibility ≤, and the halting jump operation on ceers. We show that every jump is uniform join-irreducible, and thus join-irreducible. Therefore, the uniform join of two incomparable ceers is not equivalent to any jump. On the other hand there exist ceers that are not equivalent to jumps, but are uniform join-irreducible: in fact above any non-universal ceer there is a ceer which is not equivalent to a jump, and is uniform join-irreducible. We also study transfinite iterations of the jump operation. If a is an ordinal notation, and E is a ceer, then let $E^{(a)}$ denote the ceer obtained by transfinitely iterating the jump on E along the path of ordinal notations up to a. In contrast with what happens for the Turing jump and Turing reducibility, where if a set X is an upper bound for the A-arithmetical sets then $X^{(2)}$ computes $A^{(\omega )}$, we show that there is a ceer R such that $R\ge {\mathrm{Id}}^{(n)}$, for every finite ordinal n, but, for all k, $R^{(k)}?{\mathrm{Id}}^{(\omega )}$ (here Id is the identity equivalence relation). We show that if $a,b$ are notations of the same ordinal less than ${\omega }^2$, then $E^{(a)}\equiv E^{(b)}$, but there are notations $a,b$ of ${\omega }^2$ such that ${\mathrm{Id}}^{(a)}$ and ${\mathrm{Id}}^{(b)}$ are incomparable. Moreover, there is no non-universal ceer which is an upper bound for all the ceers of the form ${\mathrm{Id}}^{(a)}$ where a is a notation for ${\omega }^2$.     

On a p-Laplace equation with multiple critical nonlinearities

Using the Mountain-Pass Theorem of Ambrosetti and Rabinowitz we prove that $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{u}^{p?1}={|x|}^{?s}{u}^{p^{?}(s)?1}+u^{p^{?}?1}$ admits a positive weak solution in ${\mathbb{R}}^n$ of class $D_1^p({\mathbb{R}}^n)\cap C^1({\mathbb{R}}^n?\{0\})$, whenever $\mu <{\mu }_1$, and ${\mu }_1={[(n?p)/p]}^p$. The technique is based on the existence of extremals of some Hardy–Sobolev type embeddings of independent interest. We also show that if $u\in D_1^p({\mathbb{R}}^n)$ is a weak solution in ${\mathbb{R}}^n$ of $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{|u|}^{p?2}u={|x|}^{?s}{|u|}^{p^{?}(s)?2}u+{|u|}^{q?2}u$, then $u\equiv 0$ when either $1<q<p^{?}$, or $q>p^{?}$ and u is also of class $L_{\mathrm{loc}}^{\infty }({\mathbb{R}}^n?\{0\})$.     

Commutators and generalized local Morrey spaces

In this paper we study the behavior of Hardy–Littlewood maximal operator and the action of commutators in generalized local Morrey spaces $L{M}_{\{x_0\}}^{p,\phi }({\mathbb{R}}^n)$ and generalized Morrey spaces $M^{p,\phi }({\mathbb{R}}^n)$.     

On the norms of quaternionic harmonic projection operators

As a consequence of integral bounds for three classes of quaternionic spherical harmonics, we prove some bounds from below for the $(L^p,L^2)$ norm of quaternionic harmonic projectors, for $p\in [1,2]$.     

Regularity in Lp Sobolev spaces of solutions to fractional heat equations

This work contributes in two areas, with sharp results, to the current investigation of regularity of solutions of heat equations with a nonlocal operator P:

(*)$Pu+{?}_{t}u=f(x,t),\text{ for }x\in \mathrm{\Omega }?{\mathbb{R}}^n,t\in I?\mathbb{R}.$

1) For strongly elliptic pseudodifferential operators (ψdo's) P on ${\mathbb{R}}^n$ of order $d\in {\mathbb{R}}_{+}$, a symbol calculus on ${\mathbb{R}}^{n+1}$ is introduced that allows showing optimal regularity results, globally over ${\mathbb{R}}^{n+1}$ and locally over $\mathrm{\Omega }\times I$:

$f\in H_{p,\mathrm{loc}}^{(s,s/d)}(\mathrm{\Omega }\times I)?u\in H_{p,\mathrm{loc}}^{(s+d,s/d+1)}(\mathrm{\Omega }\times I),$

for $s\in \mathbb{R}$, $1<p<\infty$. The $H_p^{(s,s/d)}$ are anisotropic Sobolev spaces of Bessel-potential type, and there is a similar result for Besov spaces.2) Let Ω be smooth bounded, and let P equal ${(?\mathrm{\Delta })}^a$ ($0<a<1$), or its generalizations to singular integral operators with regular kernels, generating stable Lévy processes. With the Dirichlet condition $\mathrm{supp}u?\stackrel{￣}{\mathrm{\Omega }}$, the initial condition $u{|}_{t=0}=0$, and $f\in L_p(\mathrm{\Omega }\times I)$, (*) has a unique solution $u\in L_p(I;H_p^{a(2a)}(\stackrel{￣}{\mathrm{\Omega }}))$ with ${?}_{t}u\in L_p(\mathrm{\Omega }\times I)$. Here $H_p^{a(2a)}(\stackrel{￣}{\mathrm{\Omega }})={\dot{H}}_p^{2a}(\stackrel{￣}{\mathrm{\Omega }})$ if $a<1/p$, and is contained in ${\dot{H}}_p^{2a?\epsilon }(\stackrel{￣}{\mathrm{\Omega }})$ if $a=1/p$, but contains nontrivial elements from $d^a{\stackrel{￣}{H}}_p^a(\mathrm{\Omega })$ if $a>1/p$ (where $d(x)=\mathrm{dist}(x,?\mathrm{\Omega })$). The interior regularity of u is lifted when f is more smooth.     

Bilinear forms on homogeneous Sobolev spaces

In this paper we characterize the boundedness of the bilinear form defined by

$(f,g)\in {\dot{H}}^s(\mathbb{R})\times {\dot{H}}^s(\mathbb{R})\to \underset{\mathbb{R}}{\int }{(?\mathrm{\Delta })}^{s/2}(fg)(x){(?\mathrm{\Delta })}^{s/2}(b)(x)dx,$

in the product of homogeneous Sobolev spaces ${\dot{H}}^s(\mathbb{R})\times {\dot{H}}^s(\mathbb{R})$, $0<s<1/2$. We deduce a characterization of the space of pointwise multipliers from ${\dot{H}}^s(\mathbb{R})$ to its dual ${\dot{H}}^{?s}(\mathbb{R})$ in terms of trace measures.     

A continuum of periodic solutions to the planar four-body problem with two pairs of equal masses

In this paper, we apply the variational method with Structural Prescribed Boundary Conditions (SPBC) to prove the existence of periodic and quasi-periodic solutions for the planar four-body problem with two pairs of equal masses $m_1=m_3$ and $m_2=m_4$. A path $q(t)$ on $[0,T]$ satisfies the SPBC if the boundaries $q(0)\in \mathbf{A}$ and $q(T)\in \mathbf{B}$, where A and B are two structural configuration spaces in ${({\mathbf{R}}^2)}^4$ and they depend on a rotation angle $\theta \in (0,2\pi )$ and the mass ratio $\mu =\frac{m_2}{m_1}\in {\mathbf{R}}^{+}$.We show that there is a region $\mathrm{\Omega }?(0,2\pi )\times R^{+}$ such that there exists at least one local minimizer of the Lagrangian action functional on the path space satisfying the SPBC $\{q(t)\in H^1([0,T],{({\mathbf{R}}^2)}^4)|q(0)\in \mathbf{A},q(T)\in \mathbf{B}\}$ for any $(\theta ,\mu )\in \mathrm{\Omega }$. The corresponding minimizing path of the minimizer can be extended to a non-homographic periodic solution if θ is commensurable with π or a quasi-periodic solution if θ is not commensurable with π. In the variational method with the SPBC, we only impose constraints on the boundary and we do not impose any symmetry constraint on solutions. Instead, we prove that our solutions that are extended from the initial minimizing paths possess certain symmetries.The periodic solutions can be further classified as simple choreographic solutions, double choreographic solutions and non-choreographic solutions. Among the many stable simple choreographic orbits, the most extraordinary one is the stable star pentagon choreographic solution when $(\theta ,\mu )=(\frac{4\pi }{5},1)$. Remarkably the unequal-mass variants of the stable star pentagon are just as stable as the equal mass choreographies.     

Improved Cotlar's inequality in the context of local Tb theorems

In the context of local Tb theorems with $L^p$ testing conditions we prove an enhanced Cotlar's inequality. This is related to the problem of removing the so called buffer assumption of Hytönen–Nazarov, which is the final barrier for the full solution of S. Hofmann's problem. We also investigate the problem of extending the Hytönen–Nazarov result to non-homogeneous measures. We work not just with the Lebesgue measure but with measures μ in ${\mathbb{R}}^d$ satisfying $\mu (B(x,r))\le C{r}^n$, $n\in (0,d]$. The range of exponents in the Cotlar type inequality depend on n. Without assuming buffer we get the full range of exponents $p,q\in (1,2]$ for measures with $n\le 1$, and in general we get $p,q\in [2??(n),2]$, $?(n)>0$. Consequences for (non-homogeneous) local Tb theorems are discussed.