Global existence and decay estimate of solutions to magneto-micropolar fluid equations

We are concerned with magneto-micropolar fluid equations (1.3)–(1.4). The global existence of solutions to the Cauchy problem is investigated under certain conditions. Precisely, for the magneto-micropolar-Navier–Stokes (MMNS) system, we obtain global existence and large time behavior of solutions near a constant states in ${\mathbb{R}}^3$. Appealing to a refined pure energy method, we first obtain a global existence theorem by assuming that the $H^3$ norm of the initial data is small, but the higher order derivatives can be arbitrary large. If the initial data belongs to homogeneous Sobolev norms ${\dot{H}}^{?s}$ $(0\le s<\frac{3}{2})$ or homogeneous Besov norms ${\dot{B}}_{2,\infty }^{?s}$ $(0<s\le \frac{3}{2})$, we obtain the optimal decay rates of the solutions and its higher order derivatives. As an immediate byproduct, we also obtain the usual $L^p?L^2$ $(1\le p\le 2)$ type of the decay rates without requiring that the $L^p$ norm of initial data is small. At last, we derive a weak solution to (1.3)–(1.4) in ${\mathbb{R}}^2$ with large initial data.     

Standing waves for the NLS on the double-bridge graph and a rational–irrational dichotomy

We study standing waves of NLS equation posed on the double-bridge graph: two semi-infinite half-lines attached at a circle. At the two vertices Kirchhoff boundary conditions are imposed. The configuration of the graph is characterized by two lengths, $L_1$ and $L_2$. We study the solutions with possibly nontrivial components on the half-lines and a cnoidal component on the circle. The problem is equivalent to a nonlinear boundary value problem in which the boundary condition depends on the spectral parameter ω. After classifying the solutions with rational $L_1/L_2$, we turn to $L_1/L_2$ irrational showing that there exist standing waves only in correspondence to a countable set of negative frequencies ${\omega }_n$. Moreover we show that the frequency sequence admits cluster points and any negative real number can be a limit point of frequencies choosing a suitable irrational geometry $L_1/L_2$. These results depend on basic properties of diophantine approximation of real numbers.     

Optimal distributed control of a 2D simplified Ericksen–Leslie system for the nematic liquid crystal flows

We study the initial boundary value problem of a simplified Ericksen–Leslie system modeling the incompressible nematic liquid crystal flows in two dimensions of space, where the equations of the velocity field are characterized by a time-dependent external force $\mathbf{g}\left(t\right)$ and a no-slip boundary condition, and the equations for the molecular orientation are subjected to a time-dependent Dirichlet boundary condition $\mathbf{h}\left(t\right)$. Based on the recently addressed well-posedness and regularity results of the system, we present a rigorous proof to show the existence of optimal distributed controls, the control-to-state operator is Fréchet differentiable and first-order necessary optimality conditions for an associated optimal control problem.     

Asymptotic stability of superposition of stationary solutions and rarefaction waves for 1D Navier–Stokes/Allen–Cahn system

In this paper, we investigate the large time behavior of the solutions to the inflow problem for the one-dimensional Navier–Stokes/Allen–Cahn system in the half space. First, we assume that the space-asymptotic states $({\rho }_{+},u_{+},{\chi }_{+})$ and the boundary data $({\rho }_b,u_b,{\chi }_b)$ satisfy some conditions so that the time-asymptotic state of solutions for the inflow problem is a nonlinear wave which is the superposition of a stationary solution and a rarefaction wave. Then, we show the existence of the stationary solution by the center manifold theorem. Finally, we prove that the nonlinear wave is asymptotically stable when the initial data is a small perturbation of the nonlinear wave. The proof is mainly based on the energy method by taking into account the effect of the concentration χ and the complexity of nonlinear wave.     

Initial boundary value problem for a class of strongly damped semilinear wave equations with logarithmic nonlinearity

This paper deals with the initial boundary value problem for strongly damped semilinear wave equations with logarithmic nonlinearity $u_{tt}-\Delta u-\Delta u_t={\phi }_p\left(u\right)log\left|u\right|$ in a bounded domain $\Omega \subset {\mathbb{R}}^n$. We discuss the existence, uniqueness and polynomial or exponential energy decay estimates of global weak solutions under some appropriate conditions. Moreover, we derive the finite time blow up results of weak solutions, and give the lower and upper bounds for blow-up time by the combination of the concavity method, perturbation energy method and differential–integral inequality technique.     

Well-posedness of the free boundary problem for incompressible elastodynamics

The free boundary problem for the three dimensional incompressible elastodynamics system is studied under the Rayleigh–Taylor sign condition. Both the columns of the elastic stress $\mathbf{F}{\mathbf{F}}^{?}?\mathrm{I}$ and the transpose of the deformation gradient ${\mathbf{F}}^{?}?\mathrm{I}$ are tangential to the boundary which moves with the velocity, and the pressure vanishes outside the flow domain. The linearized equation takes the form of wave equation in terms of the flow map in the Lagrangian coordinate, and the local-in-time existence of a unique smooth solution is proved using a geometric argument in the spirit of [19].     

Representation of asymptotic values for nonexpansive stochastic control systems

In ergodic stochastic problems the limit of the value function $V_{\lambda }$ of the associated discounted cost functional with infinite time horizon is studied, when the discounted factor $\lambda$ tends to zero. These problems have been well studied in the literature and the used assumptions guarantee that the value function $\lambda V_{\lambda }$ converges uniformly to a constant as $\lambda \to 0$. The objective of this work consists in studying these problems under the assumption, namely, the nonexpansivity assumption, under which the limit function is not necessarily constant. Our discussion goes beyond the case of the stochastic control problem with infinite time horizon and discusses also $V_{\lambda }$ given by a Hamilton–Jacobi–Bellman equation of second order which is not necessarily associated with a stochastic control problem. On the other hand, the stochastic control case generalizes considerably earlier works by considering cost functionals defined through a backward stochastic differential equation with infinite time horizon and we give an explicit representation formula for the limit of $\lambda V_{\lambda }$, as $\lambda \to 0$.     

Frequency decay for Navier–Stokes stationary solutions

We consider stationary Navier–Stokes equations in ${\mathbb{R}}^3$ with a regular external force and we prove the exponential frequency decay of the solutions. Moreover, if the external force is small enough, we give a pointwise exponential frequency decay for such solutions. If a damping term is added to the equation, a pointwise decay is obtained without the smallness condition over the force.     

Local wellposedness of nonlinear Maxwell equations with perfectly conducting boundary conditions

In this article we develop the local wellposedness theory for quasilinear Maxwell equations in $H^m$ for all $m\ge 3$ on domains with perfectly conducting boundary conditions. The macroscopic Maxwell equations with instantaneous material laws for the polarization and the magnetization lead to a quasilinear first order hyperbolic system whose wellposedness in $H^3$ is not covered by the available results in this case. We prove the existence and uniqueness of local solutions in $H^m$ with $m\ge 3$ of the corresponding initial boundary value problem if the material laws and the data are accordingly regular and compatible. We further characterize finite time blowup in terms of the Lipschitz norm and we show that the solutions depend continuously on their data. Finally, we establish the finite propagation speed of the solutions.     

Non-existence of extremals for the Adimurthi–Druet inequality

The Adimurthi–Druet [1] inequality is an improvement of the standard Moser–Trudinger inequality by adding a $L^2$-type perturbation, quantified by $\alpha \in [0,{\lambda }_1)$, where ${\lambda }_1$ is the first Dirichlet eigenvalue of Δ on a smooth bounded domain. It is known [3], [10], [14], [19] that this inequality admits extremal functions, when the perturbation parameter α is small. By contrast, we prove here that the Adimurthi–Druet inequality does not admit any extremal, when the perturbation parameter α approaches ${\lambda }_1$. Our result is based on sharp expansions of the Dirichlet energy for blowing sequences of solutions of the corresponding Euler–Lagrange equation, which take into account the fact that the problem becomes singular as $\alpha \to {\lambda }_1$.     

Separable discrete functions: Recognition and sufficient conditions

A discrete function of $n$ variables is a mapping $g:X_1\times \dots \times X_n\to A$, where $X_1,\dots ,X_n$, and $A$ are arbitrary finite sets. Function $g$ is called separable if there exist $n$ functions $g_i:X_i\to A$ for $i=1,\dots ,n$, such that for every input $x_1,\dots ,x_n$ the function $g(x_1,\dots ,x_n)$ takes one of the values $g_1\left(x_1\right),\dots ,g_n\left(x_n\right)$. Given a discrete function $g$, it is an interesting problem to ask whether $g$ is separable or not. Although this seems to be a very basic problem concerning discrete functions, the complexity of recognition of separable discrete functions of $n$ variables is known only for $n=2$. In this paper we will show that a slightly more general recognition problem, when $g$ is not fully but only partially defined, is NP-complete for $n\ge 3$. We will then use this result to show that the recognition of fully defined separable discrete functions is NP-complete for $n\ge 4$.The general recognition problem contains the above mentioned special case for $n=2$. This case is well-studied in the context of game theory, where (separable) discrete functions of $n$ variables are referred to as (assignable) $n$-person game forms. There is a known sufficient condition for assignability (separability) of two-person game forms (discrete functions of two variables) called (weak) total tightness of a game form. This property can be tested in polynomial time, and can be easily generalized both to higher dimension and to partially defined functions. We will prove in this paper that weak total tightness implies separability for (partially defined) discrete functions of $n$ variables for any $n$, thus generalizing the above result known for $n=2$. Our proof is constructive. Using a graph-based discrete algorithm we show how for a given weakly totally tight (partially defined) discrete function $g$ of $n$ variables one can construct separating functions $g_1,\dots ,g_n$ in polynomial time with respect to the size of the input function.     

Stability of the viscoelastic Rayleigh–Taylor problem with internal surface tension

We investigate the stability of the Rayleigh–Taylor (RT) problem for stratified viscoelastic fluids with internal surface tension. More precisely, under the stability condition $\mathrm{Dis}(\vartheta ,\kappa )<1$, we prove the existence of unique strong solution with exponential decay in time for the (stratified) viscoelastic RT (VRT) problem with proper initial data in Lagrangian coordinates. This shows that a sufficiently large elasticity coefficient or a sufficiently large surface tension coefficient has a stabilizing effect so that it can inhibit the development of (stratified) RT instability.     

Characterization of f-extremal disks

We show uniqueness for overdetermined elliptic problems defined on topological disks Ω with $C^2$ boundary, i.e., positive solutions u to $\mathrm{\Delta }u+f(u)=0$ in $\mathrm{\Omega }?(M^2,g)$ so that $u=0$ and $\frac{?u}{?\overrightarrow{\eta }}=cte$ along ?Ω, $\overrightarrow{\eta }$ the unit outward normal along ?Ω under the assumption of the existence of a candidate family. To do so, we adapt the Gálvez–Mira generalized Hopf-type Theorem [19] to the realm of overdetermined elliptic problem.When $(M^2,g)$ is the standard sphere ${\mathbb{S}}^2$ and f is a $C^1$ function so that $f(x)>0$ and $f(x)\ge x{f}^{\prime }(x)$ for any $x\in {\mathbb{R}}_{+}^{?}$, we construct such candidate family considering rotationally symmetric solutions. This proves the Berestycki–Caffarelli–Nirenberg conjecture in ${\mathbb{S}}^2$ for this choice of f. More precisely, this shows that if u is a positive solution to $\mathrm{\Delta }u+f(u)=0$ on a topological disk $\mathrm{\Omega }?{\mathbb{S}}^2$ with $C^2$ boundary so that $u=0$ and $\frac{?u}{?\overrightarrow{\eta }}=cte$ along ?Ω, then Ω must be a geodesic disk and u is rotationally symmetric. In particular, this gives a positive answer to the Schiffer conjecture D (cf. [33], [35]) for the first Dirichlet eigenvalue and classifies simply-connected harmonic domains (cf. [28], also called Serrin Problem) in ${\mathbb{S}}^2$.     

The Cauchy problem for a generalized Camassa–Holm equation

In this paper, we are concerned with the Cauchy problem of the generalized Camassa–Holm equation. Using a Galerkin-type approximation scheme, it is shown that this equation is well-posed in Sobolev spaces $H^s$, $s>3/2$ for both the periodic and the nonperiodic case in the sense of Hadamard. That is, the data-to-solution map is continuous. Furthermore, it is proved that this dependence is sharp by showing that the solution map is not uniformly continuous. The nonuniform dependence is proved using the method of approximate solutions and well-posedness estimates. Moreover, it is shown that the solution map for the generalized Camassa–Holm equation is Hölder continuous in $H^r$-topology. Finally, with analytic initial data, we show that its solutions are analytic in both variables, globally in space and locally in time.