Maximal and Minimal Spreading Speeds for Reaction Diffusion Equations in Nonperiodic Slowly Varying Media

This paper investigates the asymptotic behavior of the solutions of the Fisher-KPP equation in a heterogeneous medium, $$\partial_t u = \partial_{xx} u + f(x,u),$$ associated with a compactly supported initial datum. A typical nonlinearity we consider is ${f(x,u) = \mu_0 (\phi (x)) u(1-u)}$ , where??? ₀ is a 1-periodic function and ${\phi}$ is a ${\mathcal{C}^1}$ increasing function that satisfies ${\lim_{x \to+\infty}\phi (x) = +\infty}$ and ${\lim_{x \to +\infty}\phi' (x) =0}$ . Although quite specific, the choice of such a reaction term is motivated by its highly heterogeneous nature. We exhibit two different behaviors for u for large times, depending on the speed of the convergence of ${\phi}$ at infinity. If ${\phi}$ grows sufficiently slowly, then we prove that the spreading speed of u oscillates between two distinct values. If ${\phi}$ grows rapidly, then we compute explicitly a unique and well determined speed of propagation w _??, arising from the limiting problem of an infinite period. We give a heuristic interpretation for these two behaviors.     

Quasilinear and Hessian Type Equations with Exponential Reaction and Measure Data

We prove existence results concerning equations of the type \({-\Delta_pu=P(u)+\mu}\) for p > 1 and F _k [?u] = P(u) + μ with \({1 \leqq k < \frac{N}{2}}\) in a bounded domain Ω or the whole \({\mathbb{R}^N}\) , where μ is a positive Radon measure and \({P(u)\sim e^{au^\beta}}\) with a > 0 and \({\beta \geqq 1}\) . Sufficient conditions for existence are expressed in terms of the fractional maximal potential of μ. Two-sided estimates on the solutions are obtained in terms of some precise Wolff potentials of μ. Necessary conditions are obtained in terms of Orlicz capacities. We also establish existence results for a general Wolff potential equation under the form \({u={\bf W}_{\alpha, p}^R[P(u)]+f}\) in \({\mathbb{R}^N}\) , where \({0 < R \leqq \infty}\) and f is a positive integrable function.     

Parabolic Systems with p, q-Growth: A Variational Approach

We consider the evolution problem associated with a convex integrand ${f : \mathbb{R}^{Nn}\to [0,\infty)}$ satisfying a non-standard p, q-growth assumption. To establish the existence of solutions we introduce the concept of variational solutions. In contrast to weak solutions, that is, mappings ${u\colon \Omega_T \to \mathbb{R}^n}$ which solve $$ \partial_tu-{\rm div} Df(Du)=0 $$ weakly in ${\Omega_T}$ , variational solutions exist under a much weaker assumption on the gap q ? p. Here, we prove the existence of variational solutions provided the integrand f is strictly convex and $$\frac{2n}{n+2} < p \le q < p+1.$$ These variational solutions turn out to be unique under certain mild additional assumptions on the data. Moreover, if the gap satisfies the natural stronger assumption $$ 2\le p \le q < p+ {\rm min}\big \{1,\frac{4}{n} \big \},$$ we show that variational solutions are actually weak solutions. This means that solutions u admit the necessary higher integrability of the spatial derivative Du to satisfy the parabolic system in the weak sense, that is, we prove that $$u\in L^q_{\rm loc}\big(0,T; W^{1,q}_{\rm loc}(\Omega,\mathbb{R}^N)\big).$$      

Regularity and Asymptotic Behavior of Nonlinear Stefan Problems

We study the following nonlinear Stefan problem $$\left\{\begin{aligned}\!\!&u_t\,-\,d\Delta u = g(u) & &\quad{\rm for}\,x\,\in\,\Omega(t), t > 0, \\ & u = 0 \, {\rm and} u_t = \mu|\nabla_{x} u|^{2} &&\quad {\rm for}\,x\,\in\,\Gamma(t), t > 0, \\ &u(0, x) = u_{0}(x) &&\quad {\rm for}\,x\,\in\,\Omega_0,\end{aligned} \right.$$ where ${\Omega(t) \subset \mathbb{R}^{n}}$ ( ${n \geqq 2}$ ) is bounded by the free boundary ${\Gamma(t)}$ , with ${\Omega(0) = \Omega_0}$ , μ and d are given positive constants. The initial function u ₀ is positive in ${\Omega_0}$ and vanishes on ${\partial \Omega_0}$ . The class of nonlinear functions g(u) includes the standard monostable, bistable and combustion type nonlinearities. We show that the free boundary ${\Gamma(t)}$ is smooth outside the closed convex hull of ${\Omega_0}$ , and as ${t \to \infty}$ , either ${\Omega(t)}$ expands to the entire ${\mathbb{R}^n}$ , or it stays bounded. Moreover, in the former case, ${\Gamma(t)}$ converges to the unit sphere when normalized, and in the latter case, ${u \to 0}$ uniformly. When ${g(u) = au - bu^2}$ , we further prove that in the case ${\Omega(t)}$ expands to ${{\mathbb R}^n}$ , ${u \to a/b}$ as ${t \to \infty}$ , and the spreading speed of the free boundary converges to a positive constant; moreover, there exists ${\mu^* \geqq 0}$ such that ${\Omega(t)}$ expands to ${{\mathbb{R}}^n}$ exactly when ${\mu > \mu^*}$ .     

The Pohozaev Identity for the Fractional Laplacian

In this paper we prove the Pohozaev identity for the semilinear Dirichlet problem \({(-\Delta)^s u =f(u)}\) in \({\Omega, u\equiv0}\) in \({{\mathbb R}^n\backslash\Omega}\) . Here, \({s\in(0,1)}\) , (?Δ) ^s is the fractional Laplacian in \({\mathbb{R}^n}\) , and Ω is a bounded C ^1,1 domain. To establish the identity we use, among other things, that if u is a bounded solution then \({u/\delta^s|_{\Omega}}\) is C ^α up to the boundary ?Ω, where δ(x) = dist(x,?Ω). In the fractional Pohozaev identity, the function \({u/\delta^s|_{\partial\Omega}}\) plays the role that ?u/?ν plays in the classical one. Surprisingly, from a nonlocal problem we obtain an identity with a boundary term (an integral over ?Ω) which is completely local. As an application of our identity, we deduce the nonexistence of nontrivial solutions in star-shaped domains for supercritical nonlinearities.     

Generalized Flows Satisfying Spatial Boundary Conditions

In a region D in ${\mathbb{R}^2}$ or ${\mathbb{R}^3}$ , the classical Euler equation for the regular motion of an inviscid and incompressible fluid of constant density is given by $$\partial_t v+(v\cdot \nabla_x)v=-\nabla_x p, {\rm div}_x v=0,$$ where v(t, x) is the velocity of the particle located at ${x\in D}$ at time t and ${p(t,x)\in\mathbb{R}}$ is the pressure. Solutions v and p to the Euler equation can be obtained by solving $$\left\{\begin{array}{l} \nabla_x\left\{\partial_t\phi(t,x,a) + p(t,x)+(1/2)|\nabla_x\phi(t,x,a)|^2 \right\}=0\,{\rm at}\,a=\kappa(t,x),\\ v(t,x)=\nabla_x \phi(t,x,a)\,{\rm at}\,a=\kappa(t,x), \\ \partial_t\kappa(t,x)+(v\cdot\nabla_x)\kappa(t,x)=0, \\ {\rm div}_x v(t,x)=0, \end{array}\right. \quad\quad\quad\quad\quad(0.1)$$ where $$\phi:\mathbb{R}\times D\times \mathbb{R}^l\rightarrow\mathbb{R}\,{\rm and}\, \kappa:\mathbb{R}\times D \rightarrow \mathbb{R}^l$$ are additional unknown mappings (l?≥ 1 is prescribed). The third equation in the system says that ${\kappa\in\mathbb{R}^l}$ is convected by the flow and the second one that ${\phi}$ can be interpreted as some kind of velocity potential. However vorticity is not precluded thanks to the dependence on a. With the additional condition κ(0, x)?=?x on D (and thus l?=?2 or 3), this formulation was developed by Brenier (Commun Pure Appl Math 52:411–452, 1999) in his Eulerian–Lagrangian variational approach to the Euler equation. He considered generalized flows that do not cross ${\partial D}$ and that carry each “particle” at time t?=?0 at a prescribed location at time t?=?T?>?0, that is, κ(T, x) is prescribed in D for all ${x\in D}$ . We are concerned with flows that are periodic in time and with prescribed flux through each point of the boundary ${\partial D}$ of the bounded region D (a two- or three-dimensional straight pipe). More precisely, the boundary condition is on the flux through ${\partial D}$ of particles labelled by each value of κ at each point of ${\partial D}$ . One of the main novelties is the introduction of a prescribed “generalized” Bernoulli’s function ${H:\mathbb{R}^l\rightarrow \mathbb{R}}$ , namely, we add to (0.1) the requirement that $$\partial_t\phi(t,x,a) +p(t,x)+(1/2)|\nabla_x\phi(t,x,a)|^2=H(a)\,{\rm at}\,a=\kappa(t,x)\quad\quad\quad\quad\quad(0.2)$$ with ${\phi,p,\kappa}$ periodic in time of prescribed period T?>?0. Equations (0.1) and (0.2) have a geometrical interpretation that is related to the notions of “Lamb’s surfaces” and “isotropic manifolds” in symplectic geometry. They may lead to flows with vorticity. An important advantage of Brenier’s formulation and its present adaptation consists in the fact that, under natural hypotheses, a solution in some weak sense always exists (if the boundary conditions are not contradictory). It is found by considering the functional $$(\kappa,v)\rightarrow \int\limits_{0}^T \int\limits_D\left\{\frac 1 2 |v(t,x)|^2+H(\kappa(t,x))\right\}dt\, dx$$ defined for κ and v that are T-periodic in t, such that $$\partial_t\kappa(t,x)+(v\cdot\nabla_x)\kappa(t,x)=0, {\rm div}_x v(t,x)=0,$$ and such that they satisfy the boundary conditions. The domain of this functional is enlarged to some set of vector measures and then a minimizer can be obtained. For stationary planar flows, the approach is compared with the following standard minimization method: to minimize $$\int\limits_{]0,L[\times]0,1[} \{(1/2)|\nabla \psi|^2+H(\psi)\}dx\,{\rm for}\,\psi\in W^{1,2}(]0,L[\times]0,1[)$$ under appropriate boundary conditions, where ψ is the stream function. For a minimizer, corresponding functions ${\phi}$ and κ are given in terms of the stream function ψ.     

Global Compensated Compactness Theorem for General Differential Operators of First Order

Let A ₁(x, D) and A ₂(x, D) be differential operators of the first order acting on l-vector functions ${u= (u_1, \ldots, u_l)}$ in a bounded domain ${\Omega \subset \mathbb{R}^{n}}$ with the smooth boundary ${\partial\Omega}$ . We assume that the H ¹-norm ${\|u\|_{H^{1}(\Omega)}}$ is equivalent to ${\sum_{i=1}^2\|A_iu\|_{L^2(\Omega)} + \|B_1u\|_{H^{\frac{1}{2}}(\partial\Omega)}}$ and ${\sum_{i=1}^2\|A_iu\|_{L^2(\Omega)} + \|B_2u\|_{H^{\frac{1}{2}}(\partial\Omega)}}$ , where B _i  = B _i (x, ν) is the trace operator onto ${\partial\Omega}$ associated with A _i (x, D) for i = 1, 2 which is determined by the Stokes integral formula (ν: unit outer normal to ${\partial\Omega}$ ). Furthermore, we impose on A ₁ and A ₂ a cancellation property such as ${A_1A_2^{\prime}=0}$ and ${A_2A_1^{\prime}=0}$ , where ${A^{\prime}_i}$ is the formal adjoint differential operator of A _i (i = 1, 2). Suppose that ${\{u_m\}_{m=1}^{\infty}}$ and ${\{v_m\}_{m=1}^{\infty}}$ converge to u and v weakly in ${L^2(\Omega)}$ , respectively. Assume also that ${\{A_{1}u_m\}_{m=1}^{\infty}}$ and ${\{A_{2}v_{m}\}_{m=1}^{\infty}}$ are bounded in ${L^{2}(\Omega)}$ . If either ${\{B_{1}u_m\}_{m=1}^{\infty}}$ or ${\{B_{2}v_m\}_{m=1}^{\infty}}$ is bounded in ${H^{\frac{1}{2}}(\partial\Omega)}$ , then it holds that ${\int_{\Omega}u_m\cdot v_m \,{\rm d}x \to \int_{\Omega}u\cdot v \,{\rm d}x}$ . We also discuss a corresponding result on compact Riemannian manifolds with boundary.     

Dynamical Structure of Some Nonlinear Degenerate Diffusion Equations

We consider degenerate reaction diffusion equations of the form u _t ?=???u ^m ?+?f(x, u), where f(x, u) ~ a(x)u ^p with 1??? p m. We assume that a(x)?>?0 at least in some part of the spatial domain, so that ${u \equiv 0}$ is an unstable stationary solution. We prove that the unstable manifold of the solution ${u \equiv 0 }$ has infinite Hausdorff dimension, even if the spatial domain is bounded. This is in marked contrast with the case of non-degenerate semilinear equations. The above result follows by first showing the existence of a solution that tends to 0 as ${t\to -\infty}$ while its support shrinks to an arbitrarily chosen point x* in the region where a(x)?>?0, then superimposing such solutions, to form a family of solutions of arbitrarily large number of free parameters. The construction of such solutions will be done by modifying self-similar solutions for the case where a is a constant.     

Elongational rheology of NIPAM-based hydrogels

Hydrogels of different composition based on the copolymerization of N-isopropyl acrylamide and surfmers of different chemical structure were tested in elongation using Hencky/real definitions for stress, strain, and strain rate, offering a more scientific insight into the effect of deformation on the properties. In a range between $\dot {\varepsilon }=10$ and 0.01 s $^{-1}$ , the material properties are independent of strain rate and show a very clear strain hardening with a “brittle” sudden fracture. The addition of surfmer increases the strain at break $\varepsilon _{\mathrm {H}}^{\max }$ and at the same time leads to a failure of hyperelastic models. The samples can be stretched up to Hencky strains $\varepsilon _{\mathrm {H}}^{\max }$ between 0.6 and 2.5, depending on the molecular structure, yielding linear Young’s moduli E $_{0}$ between 2,700 and 39,000 Pa. The strain-rate independence indicates an ideal rubberlike behavior and fracture in a brittle-like fashion. The resulting stress at break $\sigma _{\textrm max}$ can be correlated with $\varepsilon _{\mathrm {H}}^{\max } $ and $E_{0}$ as well as with the solid molar mass between the cross-linking points $M_{\mathrm {c}}^{\textrm {solids}} $ , derived from $E_{0}$ .     

Well-Posedness of Nematic Liquid Crystal Flow in {L^{3}_{\rm uloc}(\mathbb{R}^3)}

In this paper, we establish the local well-posedness for the Cauchy problem of a simplified version of hydrodynamic flow of nematic liquid crystals in ${\mathbb{R}^3}$ for any initial data (u ₀, d ₀) having small ${L^{3}_{\rm uloc}}$ -norm of ${(u_{0}, \nabla d_{0})}$ . Here ${L^{3}_{\rm uloc}(\mathbb{R}^3)}$ is the space of uniformly locally L ³-integrable functions. For any initial data (u ₀, d ₀) with small ${\|(u_0, \nabla d_0)\|_{L^{3}(\mathbb{R}^3)}}$ , we show that there exists a unique, global solution to the problem under consideration which is smooth for t > 0 and has monotone deceasing L ³-energy for ${t \geqq 0}$ .     

Some Aspects of Stability for Semigroup Actions and Control Systems

The present paper introduces both the notions of Lagrange and Poisson stabilities for semigroup actions. Let \(S\) be a semigroup acting on a topological space \(X\) with mapping \(\sigma :S\times X\rightarrow X\) , and let \(\mathcal {F}\) be a family of subsets of \(S\) . For \(x\in X\) the motion \(\sigma _{x}:S\rightarrow X\) is said to be forward Lagrange stable if the orbit \(Sx\) has compact closure in \(X\) . The point \(x\) is forward \(\mathcal {F}\) -Poisson stable if and only if it belongs to the limit set \(\omega \left( x,\mathcal {F}\right) \) . The concept of prolongational limit set is also introduced and used to describe nonwandering points. It is shown that a point \(x\) is \( \mathcal {F}\) -nonwandering if and only if \(x\) lies in its forward \(\mathcal {F} \) -prolongational limit set \(J\left( x,\mathcal {F}\right) \) . The paper contains applications to control systems.     

On the Characterization of the Navier–Stokes Flows with the Power-Like Energy Decay

We study the energy decay of the turbulent solutions to the Navier–Stokes equations in the whole three-dimensional space. We show as the main result that the solutions with the energy decreasing at the rate \({O(t^{-\alpha}), t \rightarrow \infty, \alpha \in [0, 5/2]}\) , are exactly characterized by their initial conditions belonging into the homogeneous Besov space \({\dot{B}^{-\alpha}_{2, \infty}}\) . Similarly, for a solution u and \({p \in [1, \infty]}\) the integral \({\int_{0}^{\infty} \|t^{\alpha/2} u(t)\|^p \frac{1}{t} dt}\) is finite if and only if the initial condition of u belongs to the homogeneous Besov space \({\dot{B}_{2, p}^{-\alpha}}\) . For the case \({\alpha \in (5/2, 9/2]}\) we present analogical results for some subclasses of turbulent solutions.     

Besov Space Regularity Conditions for Weak Solutions of the Navier–Stokes Equations

Consider a bounded domain ${{\Omega \subseteq \mathbb{R}^3}}$ with smooth boundary, some initial value ${{u_0 \in L^2_{\sigma}(\Omega )}}$ , and a weak solution u of the Navier–Stokes system in ${{[0,T) \times\Omega,\,0 < T \le \infty}}$ . Our aim is to develop regularity and uniqueness conditions for u which are based on the Besov space $$B^{q,s}(\Omega ):=\left\{v\in L^2_{\sigma}(\Omega ); \|v\|_{B^{q,s}(\Omega )} := \left(\int\limits^{\infty}_0 \left\|e^{-\tau A}v\right\|^s_q {\rm d} \tau\right)^{1/s}<\infty \right\}$$ with ${{2 < s < \infty,\,3 < q <\infty,\,\frac2{s}+\frac{3}{q} = 1}}$ ; here A denotes the Stokes operator. This space, introduced by Farwig et al. (Ann. Univ. Ferrara 55:89–110, 2009 and J. Math. Fluid Mech. 14: 529–540, 2012), is a subspace of the well known Besov space ${{{\mathbb{B}}^{-2/s}_{q,s}(\Omega )}}$ , see Amann (Nonhomogeneous Navier–Stokes Equations with Integrable Low-Regularity Data. Int. Math. Ser. pp. 1–28. Kluwer/Plenum, New York, 2002). Our main results on the regularity of u exploits a variant of the space ${{B^{q,s}(\Omega )}}$ in which the integral in time has to be considered only on finite intervals (0, δ ) with ${{\delta \to 0}}$ . Further we discuss several criteria for uniqueness and local right-hand regularity, in particular, if u satisfies Serrin’s limit condition ${{u\in L^{\infty}_{\text{loc}}([0,T);L^3_{\sigma}(\Omega ))}}$ . Finally, we obtain a large class of regular weak solutions u defined by a smallness condition ${{\|u_0\|_{B^{q,s}(\Omega )} \le K}}$ with some constant ${{K=K(\Omega, q)>0}}$ .     

C 1 Solutions for Semi-Implicit Systems of Differential Equations

The present note is a continuation of the author??s effort to study the existence of continuously differentiable solutions to the semi-implicit system of differential equations (1) $$f(x^{\prime}(t)) = g(t, x(t))$$ (2) $$\quad x(0) = x_0,$$ where

${\quad\Omega_g \subseteq \mathbb{R} \times\mathbb{R}^n}$ is an open set containing (0, x ₀) and ${g:\Omega_g \rightarrow\mathbb{R}^n}$ is a continuous function,

${\quad\Omega_f \subseteq \mathbb{R}^n}$ is an open set and ${f:\Omega_f\rightarrow\mathbb{R}^n}$ is a continuous function.

The transformation of (1)?C(2) into a solvable explicit system of differential equations is trivial if f is locally injective around an element ${\gamma\in \Omega_f\cap f^{-1}(g(0,x_0))}$ . In this paper, we study (1)?C(2) when such a translation is not possible because of the inherent multivalued nature of f ^?1.     

Bounded and Unbounded Motions in Asymmetric Oscillators at Resonance

We consider the boundedness and unboundedness of solutions for the asymmetric oscillator $$\begin{aligned} x''+ax^+-bx^-+g(x)=p(t), \end{aligned}$$ where $x^+=\max \{x,0\},x^-=\max \{-x,0\}, a$ and $b$ are two positive constants, $ p(t)$ is a $2\pi $ -periodic smooth function and $g(x)$ satisfies $\lim _{|x|\rightarrow +\infty }x^{-1}g(x)=0$ . We establish some sharp sufficient conditions concerning the boundedness of all the solutions and the existence of unbounded solutions. It turns out that the boundedness of all the solutions and the existence of unbounded solutions have a close relation to the interaction of some well-defined functions $\Phi _p(\theta )$ and $\Lambda (h)$ . Some explicit conditions are given for the boundedness of all the solutions and the existence of unbounded solutions. Unlike many existing results in the literature where the function $g(x)$ is required to be a bounded function with asymptotic limits, here we allow $g(x)$ be unbounded or oscillatory without asymptotic limits.     

Hadamard Variational Formula for the Green’s Function of the Boundary Value Problem on the Stokes Equations

For every ${\varepsilon > 0}$ , we consider the Green’s matrix ${G_{\varepsilon}(x, y)}$ of the Stokes equations describing the motion of incompressible fluids in a bounded domain ${\Omega_{\varepsilon} \subset \mathbb{R}^d}$ , which is a family of perturbation of domains from ${\Omega\equiv \Omega_0}$ with the smooth boundary ${\partial\Omega}$ . Assuming the volume preserving property, that is, ${\mbox{vol.}\Omega_{\varepsilon} = \mbox{vol.}\Omega}$ for all ${\varepsilon > 0}$ , we give an explicit representation formula for ${\delta G(x, y) \equiv \lim_{\varepsilon\to +0}\varepsilon^{-1}(G_{\varepsilon}(x, y) - G_0(x, y))}$ in terms of the boundary integral on ${\partial \Omega}$ of ${G_0(x, y)}$ . Our result may be regarded as a classical Hadamard variational formula for the Green’s functions of the elliptic boundary value problems.     

Stochastic Variational Inequalities and Applications to the Total Variation Flow Perturbed by Linear Multiplicative Noise

In this work, we introduce a new method to prove the existence and uniqueness of a variational solution to the stochastic nonlinear diffusion equation ${{\rm d}X(t) = {\rm div} \left[\frac{\nabla X(t)}{|\nabla X(t)|}\right]{\rm d}t + X(t){\rm d}W(t) {\rm in} (0, \infty) \times \mathcal{O},}$ where ${\mathcal{O}}$ is a bounded and open domain in ${\mathbb{R}^N, N \geqq 1}$ and W(t) is a Wiener process of the form ${W(t) = \sum^{\infty}_{k = 1}\mu_{k}e_{k}\beta_{k}(t), e_{k} \in C^{2}(\overline{\mathcal{O}}) \cap H^{1}_{0}(\mathcal{O}),}$ and ${\beta_{k}, k \in \mathbb{N}}$ are independent Brownian motions. This is a stochastic diffusion equation with a highly singular diffusivity term. One main result established here is that for all initial conditions in ${L^2(\mathcal{O})}$ , it is well posed in a class of continuous solutions to the corresponding stochastic variational inequality. Thus, one obtains a stochastic version of the (minimal) total variation flow. The new approach developed here also allows us to prove the finite time extinction of solutions in dimensions ${1\leqq N \leqq3}$ , which is another main result of this work.     

Extensions of Serrin’s Uniqueness and Regularity Conditions for the Navier–Stokes Equations

Consider a smooth bounded domain ${\Omega \subseteq {\mathbb{R}}^3}$ , a time interval [0, T), 0?<?T?≤?∞, and a weak solution u of the Navier–Stokes system. Our aim is to develop several new sufficient conditions on u yielding uniqueness and/or regularity. Based on semigroup properties of the Stokes operator we obtain that the local left-hand Serrin condition for each ${t\in (0,T)}$ is sufficient for the regularity of u. Somehow optimal conditions are obtained in terms of Besov spaces. In particular we obtain such properties under the limiting Serrin condition ${u \in L_{\rm loc}^\infty([0,T);L^3(\Omega))}$ . The complete regularity under this condition has been shown recently for bounded domains using some additional assumptions in particular on the pressure. Our result avoids such assumptions but yields global uniqueness and the right-hand regularity at each time when ${u \in L_{\rm loc}^\infty([0,T);L^3(\Omega))}$ or when ${u(t)\in L^3(\Omega)}$ pointwise and u satisfies the energy equality. In the last section we obtain uniqueness and right-hand regularity for completely general domains.     

A Note: An Invariance Theorem for Mappings II

Conditions on a domain D in ${\mathbb{R}^n}$ are given so that if f is a continuous mapping of ${\overline{D}}$ into ${\mathbb{R}^n}$ , is an open mapping on the interior of D and maps the boundary of D into the closure of D then f maps the entire set into its closure, i.e. ${\overline{D}}$ is invariant. This is an improvement over a previous result where f was required to be injective (one-to-one) since a locally injective map on the interior of D is an open map.     

Universal Moduli of Continuity for Solutions to Fully Nonlinear Elliptic Equations

This paper provides universal, optimal moduli of continuity for viscosity solutions to fully nonlinear elliptic equations F(X, D ² u) =  f(X), based on the weakest and borderline integrability properties of the source function f in different scenarios. The primary result established in this work is a sharp Log-Lipschitz estimate on u based on the L ⁿ norm of f, which corresponds to optimal regularity bounds for the critical threshold case. Optimal C ^1,α regularity estimates are also delivered when ${f\in L^{n+\varepsilon}}$ . The limiting upper borderline case, ${f \in L^\infty}$ , also has transcendental importance to elliptic regularity theory and its applications. In this paper we show, under the convexity assumption on F, that ${u \in C^{1,{\rm Log-Lip}}}$ , provided f has bounded mean oscillation. Once more, such an estimate is optimal. For the lower borderline integrability condition allowed by the theory, we establish interior a priori estimates on the ${C^{0,\frac{n-2\varepsilon}{n-\varepsilon}}}$ norm of u based on the L ^n-ε norm of f, where ? is the Escauriaza universal constant. The exponent ${\frac{n-2\varepsilon}{n-\varepsilon}}$ is optimal. When the source function f lies in L ^q , n > q > n?ε, we also obtain the exact, improved sharp Hölder exponent of continuity.