No Arabic abstract
We investigate a PDE-constrained optimization problem, with an intuitive interpretation in terms of the design of robust membranes made out of an arbitrary number of different materials. We prove existence and uniqueness of solutions for general smooth bounded domains, and derive a symmetry result for radial ones. We strengthen our analysis by proving that, for this particular problem, there are no non-global local optima. When the membrane is made out of two materials, the problem reduces to a shape optimization problem. We lay the preliminary foundation for computable analysis of this type of problem by proving stability of solutions with respect to some of the parameters involved.
Let a 1-d system of hyperbolic conservation laws, with two unknowns, be endowed with a convex entropy. We consider the family of small $BV$ functions which are global solutions of this equation. For any small $BV$ initial data, such global solutions are known to exist. Moreover, they are known to be unique among $BV$ solutions verifying either the so-called Tame Oscillation Condition, or the Bounded Variation Condition on space-like curves. In this paper, we show that these solutions are stable in a larger class of weak (and possibly not even $BV$) solutions of the system. This result extends the classical weak-strong uniqueness results which allow comparison to a smooth solution. Indeed our result extends these results to a weak-$BV$ uniqueness result, where only one of the solutions is supposed to be small $BV$, and the other solution can come from a large class. As a consequence of our result, the Tame Oscillation Condition, and the Bounded Variation Condition on space-like curves are not necessary for the uniqueness of solutions in the $BV$ theory, in the case of systems with 2 unknowns. The method is $L^2$ based. It builds up from the theory of a-contraction with shifts, where suitable weight functions $a$ are generated via the front tracking method.
We prove that standing-waves solutions to the non-linear Schrodinger equation in dimension one whose profiles can be obtained as minima of the energy over the mass, are orbitally stable and non-degenerate, provided the non-linear term $ G $ satisfies a Euler differential inequality. When the non-linear term $ G $ is a combined pure power-type, then there is only one positive, symmetric minimum of prescribed mass.
The paper is concerned with the time-periodic (T-periodic) problem of the fractal Burgers equation with a T-periodic force on the real line. Based on the Galerkin approximates and Fourier series (transform) methods, we first prove the existence of T-periodic solution to a linearized version. Then, the existence and uniqueness of T-periodic solution to the nonlinear equation are established by the contraction mapping argument. Furthermore, we show that the unique T-periodic solution is asymptotically stable. This analysis, which is carried out in energy space $ H^{1}(0,T;H^{frac{alpha}{2}}(R))cap L^{2}(0,T;dot{H}^{alpha})$ with $1<alpha<frac{3}{2}$, extends the T-periodic viscid Burgers equation in cite{5} to the T-periodic fractional case.
In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with arbitrarily large flux for the Navier-Stokes system in a two dimensional periodic strip when the period is not large. The key point is to establish the a priori estimate for the associated linearized problem via the careful analysis for the associated boundary layers. Furthermore, the well-posedness theory for the Navier-Stokes system is also proved even when the external force is large in $L^2$. Finally, if the vertical velocity is suitably small where the smallness is independent of the flux, then Poiseuille flow is the unique solution of the steady Navier-Stokes system in the periodic strip.
A uniqueness result for the recovery of the electric and magnetic coefficients in the time-harmonic Maxwell equations from local boundary measurements is proven. No special geometrical condition is imposed on the inaccessible part of the boundary of the domain, apart from imposing that the boundary of the domain is $C^{1,1}$. The coefficients are assumed to coincide on a neighbourhood of the boundary, a natural property in applications.