Global Calderón–Zygmund theory for nonlinear parabolic systems

We establish a global Calderón–Zygmund theory for solutions to a large class of nonlinear parabolic systems whose model is the inhomogeneous parabolic \(p\) -Laplacian system $$\begin{aligned} \left\{ \begin{array}{ll} \partial _t u - {{\mathrm{div}}}(|Du|^{p-2}Du) = {{\mathrm{div}}}(|F|^{p-2}F) &{}\quad \hbox {in }\quad \Omega _T:=\Omega \times (0,T)\\ u=g &{}\quad \hbox {on }\quad \partial \Omega \times (0,T)\cup {\overline{\Omega }}\times \{0\} \end{array} \right. \end{aligned}$$ with given functions \(F\) and \(g\) . Our main result states that the spatial gradient of the solution is as integrable as the data \(F\) and \(g\) up to the lateral boundary of \(\Omega _T\) , i.e. $$\begin{aligned} F,Dg\in L^q(\Omega _T),\ \partial _t g\in L^{\frac{q(n+2)}{p(n+2)-n}}(\Omega _T) \quad \Rightarrow \quad Du\in L^q(\Omega \times (\delta ,T)) \end{aligned}$$ for any \(q>p\) and \(\delta \in (0,T)\) , together with quantitative estimates. This result is proved in a much more general setting, i.e. for asymptotically regular parabolic systems.     

How Far Can Chemotactic Cross-diffusion Enforce Exceeding Carrying Capacities?

We consider nonnegative solutions of the Neumann initial-boundary value problem for the chemotaxis-growth system $$\begin{aligned} \left\{ \begin{array}{l} u_t=\varepsilon u_{xx} -(uv_x)_x +ru -\mu u^2, \qquad x\in \Omega , \ t>0, \\ 0=v_{xx}-v+u, \qquad x\in \Omega , \ t>0, \end{array} \right. \quad (\star ) \end{aligned}$$ in \(\Omega :=(0,L)\subset \mathbb {R}\) with \(L>0, \varepsilon >0, r\ge 0\) and \(\mu >0\) , along with the corresponding limit problem formally obtained upon taking \(\varepsilon \searrow 0\) . For the latter hyperbolic–elliptic problem, we establish results on local existence and uniqueness within an appropriate generalized solution concept. In this context we shall moreover derive an extensibility criterion involving the norm of \(u(\cdot ,t)\) in \(L^\infty (\Omega )\) . This will enable us to conclude that in this case \(\varepsilon =0\) ,

• if \(\mu \ge 1\) , then all solutions emanating from sufficiently regular initial data are global in time, whereas
• if \(\mu <1\) , then some solutions blow-up in finite time.

The latter will reveal that the original parabolic–elliptic problem ( \(\star \) ), though known to possess no such exploding solutions, exhibits the following property of dynamical structure generation: given any \(\mu \in (0,1)\) , one can find smooth bounded initial data with the property that for each prescribed number \(M>0\) the solution of ( \(\star \) ) will attain values above \(M\) at some time, provided that \(\varepsilon \) is sufficiently small. In particular, this means that the associated carrying capacity given by \(\frac{r}{\mu }\) can be exceeded during evolution to an arbitrary extent. We finally present some numerical simulations that illustrate this type of solution behavior and that, moreover, inter alia, indicate that achieving large population densities is a transient dynamical phenomenon occurring on intermediate time scales only.     

Shape derivatives for minima of integral functionals

For \(\Omega \) varying among open bounded sets in \(\mathbb R ^n\) , we consider shape functionals \(J (\Omega )\) defined as the infimum over a Sobolev space of an integral energy of the kind \(\int _\Omega [ f (\nabla u) + g (u) ]\) , under Dirichlet or Neumann conditions on \(\partial \Omega \) . Under fairly weak assumptions on the integrands \(f\) and \(g\) , we prove that, when a given domain \(\Omega \) is deformed into a one-parameter family of domains \(\Omega _\varepsilon \) through an initial velocity field \(V\in W ^ {1, \infty } (\mathbb R ^n, \mathbb R ^n)\) , the corresponding shape derivative of \(J\) at \(\Omega \) in the direction of \(V\) exists. Under some further regularity assumptions, we show that the shape derivative can be represented as a boundary integral depending linearly on the normal component of \(V\) on \(\partial \Omega \) . Our approach to obtain the shape derivative is new, and it is based on the joint use of Convex Analysis and Gamma-convergence techniques. It allows to deduce, as a companion result, optimality conditions in the form of conservation laws.     

L^2-properties of the \overline{\partial } and the \overline{\partial }-Neumann operator on spaces with isolated singularities

Let \(X\) be a Hermitian complex space of pure dimension with only isolated singularities and \(\pi : M\rightarrow X\) a resolution of singularities. Let \(\Omega \subset \subset X\) be a domain with no singularities in the boundary, \(\Omega ^*=\Omega {\setminus }\!{{\mathrm{Sing}}}X\) and \(\Omega '=\pi ^{-1}(\Omega )\) . We relate \(L^2\) -properties of the \(\overline{\partial }\) and the \(\overline{\partial }\) -Neumann operator on \(\Omega ^*\) to properties of the corresponding operators on \(\Omega '\) (where the situation is classically well understood). Outside some middle degrees, there are compact solution operators for the \(\overline{\partial }\) -equation on \(\Omega ^*\) exactly if there are such operators on the resolution \(\Omega '\) , and the \(\overline{\partial }\) -Neumann operator is compact on \(\Omega ^*\) exactly if it is compact on \(\Omega '\) .     

Differentiability in the Sobolev space W^{1,n-1}

Let \(\Omega \subset {\mathbb {R}}^{n}\) be a domain, \(n \ge 2\) . We show that a continuous, open and discrete mapping \(f \in W_{\mathrm{loc }}^{1,n-1}(\Omega , {\mathbb {R}}^{n})\) with integrable inner distortion is differentiable almost everywhere on \(\Omega \) . As a corollary we get that the branch set of such a mapping has measure zero.     

Mean Squared Error Minimization for Inverse Moment Problems

We consider the problem of approximating the unknown density \(u\in L^2(\Omega ,\lambda )\) of a measure \(\mu \) on \(\Omega \subset \mathbb {R}^n\) , absolutely continuous with respect to some given reference measure \(\lambda \) , only from the knowledge of finitely many moments of \(\mu \) . Given \(d\in \mathbb {N}\) and moments of order \(d\) , we provide a polynomial \(p_d\) which minimizes the mean square error \(\int (u-p)^2d\lambda \) over all polynomials \(p\) of degree at most \(d\) . If there is no additional requirement, \(p_d\) is obtained as solution of a linear system. In addition, if \(p_d\) is expressed in the basis of polynomials that are orthonormal with respect to \(\lambda \) , its vector of coefficients is just the vector of given moments and no computation is needed. Moreover \(p_d\rightarrow u\) in \(L^2(\Omega ,\lambda )\) as \(d\rightarrow \infty \) . In general nonnegativity of \(p_d\) is not guaranteed even though \(u\) is nonnegative. However, with this additional nonnegativity requirement one obtains analogous results but computing \(p_d\ge 0\) that minimizes \(\int (u-p)^2d\lambda \) now requires solving an appropriate semidefinite program. We have tested the approach on some applications arising from the reconstruction of geometrical objects and the approximation of solutions of nonlinear differential equations. In all cases our results are significantly better than those obtained with the maximum entropy technique for estimating \(u\) .     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Stably-interior points and the Semicontinuity of the Automorphism group

We present the new semicontinuity theorem for automorphism groups: If a sequence \(\{\Omega _j\}\) of bounded pseudoconvex domains in \(\mathbb C^2\) converges to \(\Omega _0\) in \({\mathcal C}^\infty \) -topology, where \(\Omega _0\) is a bounded pseudoconvex domain in \(\mathbb C^2\) with its boundary \({\mathcal C}^\infty \) and of the D’Angelo finite type and with \(\text {Aut}\,(\Omega _0)\) compact, then there is an integer \(N>0\) such that, for every \(j > N\) , there exists an injective Lie group homomorphism \(\psi _j:\text {Aut}\,(\Omega _j) \rightarrow \text {Aut}\,(\Omega _0)\) . The method of our proof of this theorem is new that it simplifies the proof of the earlier semicontinuity theorems for bounded strongly pseudoconvex domains.