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.     

On the Stokes and Oseen Problems with Singular Data

We consider the steady Stokes and Oseen problems in bounded and exterior domains of ${\mathbb{R}^n}$ of class C ^k-1,1 (n = 2, 3; k ≥ 2). We prove existence and uniqueness of a very weak solution for boundary data a in ${W^{2-k-1/q,q} (\partial\Omega)}$ . If ${\Omega}$ is of class ${C^\infty}$ , we can assume a to be a distribution on ${\partial\Omega}$ .     

Periodic Motions of Stokes and Navier–Stokes Flows Around a Rotating Obstacle

We prove the existence and uniqueness of periodic motions to Stokes and Navier–Stokes flows around a rotating obstacle \({D \subset \mathbb{R}^3}\) with the complement \({\Omega = \mathbb{R}^3 \backslash D}\) being an exterior domain. In our strategy, we show the C _b -regularity in time for the mild solutions to linearized equations in the Lorentz space \({L^{3,\infty}(\Omega)}\) (known as weak-L ³ spaces) and prove a Massera-typed Theorem on the existence and uniqueness of periodic mild solutions to the linearized equations in weak-L ³ spaces. We then use the obtained results for such equations and the fixed point argument to prove such results for Navier–Stokes equations around a rotating obstacle. We also show the stability of such periodic solutions.     

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

Incompressible 3D Navier–Stokes Equations as a Limit of a Nonlinear Parabolic System

In this paper, we consider the Cauchy problem for a nonlinear parabolic system ${u^\epsilon_t - \Delta u^\epsilon + u^\epsilon \cdot \nabla u^\epsilon + \frac{1}{2}u^\epsilon\, {\rm div}\, u^\epsilon - \frac{1}{\epsilon}\nabla\, {\rm div}\, u^\epsilon = 0}$ in ${\mathbb {R}^3 \times (0,\infty)}$ with initial data in Lebesgue spaces ${L^2(\mathbb {R}^3)}$ or ${L^3(\mathbb {R}^3)}$ . We analyze the convergence of its solutions to a solution of the incompressible Navier?CStokes system as ${\epsilon \to 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}$ .     

A Strategy to Locate Fixed Points and Global Perturbations of ODE’s: Mixing Topology with Metric Conditions

In this paper we discuss a topological treatment for the planar system 0.1 $$\begin{aligned} z'=f(t,z)+g(t,z) \end{aligned}$$ where $f:\mathbb {R}\times \mathbb {R}^{2}\longrightarrow \mathbb {R}^{2}$ and $g:\mathbb {R}\times \mathbb {R}^{2}\longrightarrow \mathbb {R}^{2}$ are $T$ -periodic in time and $g(t,z)$ is bounded. Namely, we study the effect of $g(t,z)$ in two different frameworks: isochronous centers and time periodic systems having subharmonics. The main tool employed in the proofs consists of a topological strategy to locate fixed points in the class of orientation preserving embedding under the condition of some recurrence properties. Generally speaking, our topological result can be considered as an extension of the main result in Brown (Pac J Math 143:37–41, 1990) (concerning two cycles) to any recurrent point.     

On the Elastic Energy Density of Constrained Q-Tensor Models for Biaxial Nematics

Within the Landau–de Gennes theory, the order parameter describing a biaxial nematic liquid crystal assigns a symmetric traceless 3 × 3 matrix Q with three distinct eigenvalues to every point of the region Ω occupied by the system. In the constrained case of matrices Q with constant eigenvalues, the order parameter space is diffeomorphic to the eightfold quotient ${\mathbb{S}^3/\mathcal{H}}$ of the 3-sphere ${\mathbb{S}^3}$ , where ${\mathcal{H}}$ is the quaternion group, and a configuration of a biaxial nematic liquid crystal is described by a map from Ω to ${\mathbb{S}^3/\mathcal{H}}$ . We express the (simplest form of the) Landau–de Gennes elastic free-energy density as a density defined on maps ${q: \Omega \to \mathbb{S}^3}$ , whose functional dependence is restricted by the requirements that (1) it is well defined on the class of configuration maps from Ω to ${\mathbb{S}^3/\mathcal{H}}$ (residual symmetry) and (2) it is independent of arbitrary superposed rigid rotations (frame indifference). As an application of this representation, we then discuss some properties of the corresponding energy functional, including coercivity, lower semicontinuity and strong density of smooth maps. Other invariance properties are also considered. In the discussion, we take advantage of the identification of ${\mathbb{S}^3}$ with the Lie group of unit quaternions ${Sp(1) \cong SU(2)}$ and of the relations between quaternions and rotations in ${\mathbb{R}^3}$ and ${\mathbb{R}^4}$ .     

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

A Concentration Phenomenon for Semilinear Elliptic Equations

For a domain ${\Omega \subset \mathbb{R}^{N}}$ we consider the equation $$-\Delta{u} + V(x)u = Q_n(x)|{u}|^{p-2}u$$ with zero Dirichlet boundary conditions and ${p\in(2, 2^*)}$ . Here ${V \geqq 0}$ and Q _n are bounded functions that are positive in a region contained in ${\Omega}$ and negative outside, and such that the sets {Q _n  > 0} shrink to a point ${x_0 \in \Omega}$ as ${n \to \infty}$ . We show that if u _n is a nontrivial solution corresponding to Q _n , then the sequence (u _n ) concentrates at x ₀ with respect to the H ¹ and certain L ^q -norms. We also show that if the sets {Q _n  > 0} shrink to two points and u _n are ground state solutions, then they concentrate at one of these points.     

Segregated and Synchronized Vector Solutions for Nonlinear Schrödinger Systems

We consider the following nonlinear Schrödinger system in ${\mathbb{R}^3}$ $$\left\{\begin{array}{ll}-\Delta u + P(|x|)u = \mu u^{2}u + \beta v^2u,\quad x \in \mathbb{R}^3,\\-\Delta v + Q(|x|)v = \nu v^{2}v + \beta u^2v,\quad x \in \mathbb{R}^3,\end{array}\right.$$ where P(r) and Q(r) are positive radial potentials, ${\mu > 0, \nu > 0}$ and ${\beta \in \mathbb{R}}$ is a coupling constant. This type of system arises, in particular, in models in Bose–Einstein condensates theory. We examine the effect of nonlinear coupling on the solution structure. In the repulsive case, we construct an unbounded sequence of non-radial positive vector solutions of segregated type, and in the attractive case we construct an unbounded sequence of non-radial positive vector solutions of synchronized type. Depending upon the system being repulsive or attractive, our results exhibit distinct characteristic features of vector solutions.     

Stabilization in a two-dimensional chemotaxis-Navier–Stokes system

This paper deals with an initial-boundary value problem for the system $$\left\{ \begin{array}{llll} n_t + u\cdot\nabla n &=& \Delta n -\nabla \cdot (n\chi(c)\nabla c), \quad\quad & x\in\Omega, \, t > 0,\\ c_t + u\cdot\nabla c &=& \Delta c-nf(c), \quad\quad & x\in\Omega, \, t > 0,\\ u_t + \kappa (u\cdot \nabla) u &=& \Delta u + \nabla P + n \nabla\phi, \qquad & x\in\Omega, \, t > 0,\\ \nabla \cdot u &=& 0, \qquad & x\in\Omega, \, t > 0,\end{array} \right.$$ which has been proposed as a model for the spatio-temporal evolution of populations of swimming aerobic bacteria. It is known that in bounded convex domains ${\Omega \subset \mathbb{R}^2}$ and under appropriate assumptions on the parameter functions χ, f and ?, for each ${\kappa\in\mathbb{R}}$ and all sufficiently smooth initial data this problem possesses a unique global-in-time classical solution. The present work asserts that this solution stabilizes to the spatially uniform equilibrium ${(\overline{n_0},0,0)}$ , where ${\overline{n_0}:=\frac{1}{|\Omega|} \int_\Omega n(x,0)\,{\rm d}x}$ , in the sense that as t→∞, $$n(\cdot,t) \to \overline{n_0}, \qquad c(\cdot,t) \to 0 \qquad \text{and}\qquad u(\cdot,t) \to 0$$ hold with respect to the norm in ${L^\infty(\Omega)}$ .     

Regularization of Point Vortices Pairs for the Euler Equation in Dimension Two

In this paper, we construct stationary classical solutions of the incompressible Euler equation approximating singular stationary solutions of this equation. This procedure is carried out by constructing solutions to the following elliptic problem $$\left\{\begin{array}{l@{\quad}l} -\varepsilon^2 \Delta u = \sum\limits_{i=1}^m \chi_{\Omega_i^{+}} \left(u - q - \frac{\kappa_i^{+}}{2\pi} {\rm ln} \frac{1}{\varepsilon}\right)_+^p\\ \quad - \sum_{j=1}^n \chi_{\Omega_j^{-}} \left(q - \frac{\kappa_j^{-}}{2\pi} {\rm \ln} \frac{1}{\varepsilon} - u\right)_+^p , \quad \quad x \in \Omega,\\ u = 0, \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad x \in \partial \Omega,\end{array}\right.$$ where p > 1, ${\Omega \subset \mathbb{R}^2}$ is a bounded domain, ${\Omega_i^{+}}$ and ${\Omega_j^{-}}$ are mutually disjoint subdomains of Ω and ${\chi_{\Omega_i^{+}} ({\rm resp}.\; \chi_{\Omega_j^{-}})}$ are characteristic functions of ${\Omega_i^{+}({\rm resp}. \;\Omega_j^{-}})$ , q is a harmonic function. We show that if Ω is a simply-connected smooth domain, then for any given C ¹-stable critical point of Kirchhoff–Routh function ${\mathcal{W}\;(x_1^{+},\ldots, x_m^{+}, x_1^{-}, \ldots, x_n^{-})}$ with ${\kappa^{+}_i > 0\,(i = 1,\ldots, m)}$ and ${\kappa^{-}_j > 0\,(j = 1,\ldots,n)}$ , there is a stationary classical solution approximating stationary m + n points vortex solution of incompressible Euler equations with total vorticity ${\sum_{i=1}^m \kappa^{+}_i -\sum_{j=1}^n \kappa_j^{-}}$ . The case that n = 0 can be dealt with in the same way as well by taking each ${\Omega_j^{-}}$ as an empty set and set ${\chi_{\Omega_j^{-}} \equiv 0,\,\kappa^{-}_j=0}$ .     

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

Invariant Parallels, Invariant Meridians and Limit Cycles of Polynomial Vector Fields on Some 2-Dimensional Algebraic Tori in \mathbb R ^3

We consider the polynomial vector fields of arbitrary degree in $\mathbb R ^3$ R 3 having the 2-dimensional algebraic torus $$\begin{aligned} \mathbb T ^2(l,m,n)=\{(x,y,z)\in \mathbb R ^3 : (x^{2l}+y^{2m}-r^2)^2+z^{2n}-1=0\}, \end{aligned}$$ T 2 ( l , m , n ) = { ( x , y , z ) ∈ R 3 : ( x 2 l + y 2 m - r 2 ) 2 + z 2 n - 1 = 0 } , where $l,m$ l , m , and $n$ n positive integers, and $r\in (1,\infty )$ r ∈ ( 1 , ∞ ) , invariant by their flow. We study the possible configurations of invariant meridians and parallels that these vector fields can exhibit on $\mathbb T ^2(l,m,n)$ T 2 ( l , m , n ) . Furthermore, we analyze when these invariant meridians or parallels are limit cycles.     

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

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.     

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.