On maximizing the fundamental frequency of the complement of an obstacle

Let $\mathrm{\Omega }?{\mathbb{R}}^n$ be a bounded domain satisfying a Hayman-type asymmetry condition, and let D be an arbitrary bounded domain referred to as an “obstacle”. We are interested in the behavior of the first Dirichlet eigenvalue ${\lambda }_1(\mathrm{\Omega }?(x+D))$.First, we prove an upper bound on ${\lambda }_1(\mathrm{\Omega }?(x+D))$ in terms of the distance of the set $x+D$ to the set of maximum points $x_0$ of the first Dirichlet ground state ${?}_{{\lambda }_1}>0$ of Ω. In short, a direct corollary is that if

(1)${\mu }_{\mathrm{\Omega }}:=\underset{x}{\max }?{\lambda }_1(\mathrm{\Omega }?(x+D))$

is large enough in terms of ${\lambda }_1(\mathrm{\Omega })$, then all maximizer sets $x+D$ of ${\mu }_{\mathrm{\Omega }}$ are close to each maximum point $x_0$ of ${?}_{{\lambda }_1}$.Second, we discuss the distribution of ${?}_{{\lambda }_1(\mathrm{\Omega })}$ and the possibility to inscribe wavelength balls at a given point in Ω.Finally, we specify our observations to convex obstacles D and show that if ${\mu }_{\mathrm{\Omega }}$ is sufficiently large with respect to ${\lambda }_1(\mathrm{\Omega })$, then all maximizers $x+D$ of ${\mu }_{\mathrm{\Omega }}$ contain all maximum points $x_0$ of ${?}_{{\lambda }_1(\mathrm{\Omega })}$.     

Expression of Dirichlet boundary conditions in terms of the strain tensor in linearized elasticity

In a previous work, it was shown how the linearized strain tensor field $\mathbf{e}:=\frac{1}{2}(\mathbf{?}{\mathit{u}}^T+\mathbf{?}\mathit{u})\in {\mathbb{L}}^2(\Omega )$ can be considered as the sole unknown in the Neumann problem of linearized elasticity posed over a domain $\Omega ?{\mathbb{R}}^3$, instead of the displacement vector field $\mathit{u}\in {\mathit{H}}^1(\Omega )$ in the usual approach. The purpose of this Note is to show that the same approach applies as well to the Dirichlet–Neumann problem. To this end, we show how the boundary condition $\mathit{u}=\mathbf{0}$ on a portion ${\Gamma }_0$ of the boundary of Ω can be recast, again as boundary conditions on ${\Gamma }_0$, but this time expressed only in terms of the new unknown $\mathbf{e}\in {\mathbb{L}}^2(\Omega )$.     

A note on weighted bounds for rough singular integrals

We show that the $L^2(w)$ operator norm of the composition $M°T_{\mathrm{\Omega }}$, where M is the maximal operator and $T_{\mathrm{\Omega }}$ is a rough homogeneous singular integral with angular part $\mathrm{\Omega }\in L^{\infty }(S^{n?1})$, depends quadratically on ${[w]}_{A_2}$, and that this dependence is sharp.     

The mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.     

Compact simple Lie groups admitting left-invariant Einstein metrics that are not geodesic orbit

In this article, we prove that the compact simple Lie groups $\mathrm{S}\mathrm{U}(n)$ for $n\ge 6$, $\mathrm{S}\mathrm{O}(n)$ for $n\ge 7$, $\mathrm{S}\mathrm{p}(n)$ for $n\ge 3$, ${\mathrm{E}}_6,{\mathrm{E}}_7,{\mathrm{E}}_8$, and ${\mathrm{F}}_4$ admit left-invariant Einstein metrics that are not geodesic orbit. This gives a positive answer to an open problem recently posed by Nikonorov.     

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.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

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

Approximation of maximum of Gaussian random fields

This contribution is concerned with Gumbel limiting results for supremum ${\mathbb{M}}_{\mathit{n}}={\sup }_{\mathit{t}\in [\mathbf{0},{\mathit{T}}_{\mathit{n}}]}?|X_{\mathit{n}}(\mathit{t})|$ with $X_{\mathit{n}},\mathit{n}\in {\mathbb{N}}^2$ centered Gaussian random fields with continuous trajectories. We show first the convergence of a related point process to a Poisson point process thereby extending previous results obtained in [8] for Gaussian processes. Furthermore, we derive Gumbel limit results for ${\mathbb{M}}_{\mathit{n}}$ as $\mathit{n}\to \infty$ and show a second-order approximation for $\mathbb{E}{\{{\mathbb{M}}_{\mathit{n}}^p\}}^{1/p}$ for any $p\ge 1$.     

Renormalized radial large-data solutions to the higher-dimensional Keller–Segel system with singular sensitivity and signal absorption

The chemotaxis system

$\{\begin{array}{c}{u}_t=\mathrm{\Delta }u?\mathrm{?}?\left(\frac{u}{v}\mathrm{?}v\right),\hfill \\ v_t=\mathrm{\Delta }v?uv,\hfill \end{array}(?)$

is considered under homogeneous Neumann boundary conditions in the ball $\mathrm{\Omega }=B_R(0)?{\mathbb{R}}^n$, where $R>0$ and $n\ge 2$.Despite its great relevance as a model for the spontaneous emergence of spatial structures in populations of primitive bacteria, since its introduction by Keller and Segel in 1971 this system has been lacking a satisfactory theory even at the level of the basic questions from the context of well-posedness; global existence results in the literature are restricted to spatially one- or two-dimensional cases so far, or alternatively require certain smallness hypotheses on the initial data.For all suitably regular and radially symmetric initial data $(u_0,v_0)$ satisfying $u_0\ge 0$ and $v_0>0$, the present paper establishes the existence of a globally defined pair $(u,v)$ of radially symmetric functions which are continuous in $(\overline{\mathrm{\Omega }}?\{0\})\times [0,\infty )$ and smooth in $(\overline{\mathrm{\Omega }}?\{0\})\times (0,\infty )$, and which solve the corresponding initial-boundary value problem for (?) with $(u(?,0),v(?,0))=(u_0,v_0)$ in an appropriate generalized sense. To the best of our knowledge, this in particular provides the first result on global existence for the three-dimensional version of (?) involving arbitrarily large initial data.