Showing papers in "arXiv: Analysis of PDEs in 2000"

Invariant measures for Burgers equation with stochastic forcing

Abstract: In this paper we study the following Burgers equation du/dt + d/dx (u^2/2) = epsilon d^2u/dx^2 + f(x,t) where f(x,t)=dF/dx(x,t) is a random forcing function, which is periodic in x and white noise in t. We prove the existence and uniqueness of an invariant measure by establishing a ``one force, one solution'' principle, namely that for almost every realization of the force, there is a unique distinguished solution that exists for the time interval (-infty, +infty) and this solution attracts all other solutions with the same forcing. This is done by studying the so-called one-sided minimizers. We also give a detailed description of the structure and regularity properties for the stationary solutions. In particular, we prove, under some non-degeneracy conditions on the forcing, that almost surely there is a unique main shock and a unique global minimizer for the stationary solutions. Furthermore the global minimizer is a hyperbolic trajectory of the underlying system of characteristics.

Global regularity of wave maps II. Small energy in two dimensions

Abstract: We show that wave maps from Minkowski space $\R^{1+n}$ to a sphere $S^{m-1}$ are globally smooth if the initial data is smooth and has small norm in the critical Sobolev space $\dot H^{n/2}$, in all dimensions $n \geq 2$. This generalizes the results in the prequel [math.AP/0010068] of this paper, which addressed the high-dimensional case $n \geq 5$. In particular, in two dimensions we have global regularity whenever the energy is small, and global regularity for large data is thus reduced to demonstrating non-concentration of energy.

Multiplicity results for some nonlinear Schroedinger equations with potentials

Abstract: We prove some multiplicity results for a nonlinear equation of Schroedinger type with potential functions

Nonresonance and global existence of prestressed nonlinear elastic waves

Abstract: The nonlinear hyperbolic system of pde's governing the evolution of the deformation of isotropic hyperelastic materials is considered. In the absence of boundaries and with an additional nonresonance or null condition, the system has global smooth solutions starting close to a one-parameter family of homogeneous dilations. The proof combines energy estimates with new decay estimates for the linear problem.

Global Existence for Systems of Nonlinear Wave Equations in 3D with Multiple Speeds

Abstract: Global smooth solutions to the initial value problem for systems of nonlinear wave equations with multiple propagation speeds will be constructed in the case of small initial data and nonlinearities satisfying the null condition.

On the Global Regularity of Wave Maps in the Critical Sobolev Norm

Abstract: We extend the recent result of T.Tao to wave maps defined from the Minkowski space of dimension >4 to a target Riemannian manifold which possesses a ``bounded parallelizable'' structure. This is the case of Lie groups, homogeneous spaces as well as the hyperbolic spaces. General compact Riemannian manifolds can be imbedded as totally geodesic submanifolds in bounded parallelizable manifolds, and therefore are also covered, in principle, by our result. Compactness of the target manifold, which seemed to play an important role in Tao's result, turns out however to play no role in our discussion. Our proof follows closely that of Tao's recent paper and is based, in particular, on its remarkable microlocal gauge renormalization idea.

Dissipation in Turbulent Solutions of 2-D Euler

Abstract: We establish local balance equations for smooth functions of the vorticity in the DiPerna-Majda weak solutions of 2D incompressible Euler, analogous to the balance proved by Duchon and Robert for kinetic energy in 3D. The anomalous term or defect distribution therein corresponds to the ``enstrophy cascade'' of 2D turbulence. It is used to define a rather natural notion of ``dissipative Euler solution'' in 2D. However, we show that the DiPerna-Majda solutions with vorticity in $L^p$ for $p>2$ are conservative and have zero defect. Instead, we must seek an alternative approach to dissipative solutions in 2D. If we assume an upper bound on the energy spectrum of 2D incompressible Navier-Stokes solutions by the Kraichnan-Batchelor $k^{-3}$ spectrum, uniformly for high Reynolds number, then we show that the zero viscosity limits of the Navier-Stokes solutions exist, with vorticities in the zero-index Besov space $B^{0,\infty}_2$, and that these give a weak solution of the 2D incompressible Euler equations. We conjecture that for this class of weak solutions enstrophy dissipation may indeed occur, in a sense which is made precise.

The 3D Quasigeostrophic Fluid Dynamics under Random Forcing on Boundary

Abstract: The three-dimensional baroclinic quasigeostrophic flow model has been widely used to study basic mechanisms in oceanic flows and climate dynamics. In this paper, we consider this flow model under random wind forcing and time-periodic fluctuations on fluid boundary (the interface between the oceans and the atmosphere). The time-periodic fluctuations are due to periodic rotation of the earth and thus periodic exposure of the earth to the solar radiation. After establishing the well-posedness of the baroclinic quasigeostrophic flow model in the state space, we demonstrate the existence of the random attractors, again in the state space. We also discuss the relevance of our result to climate modeling.

Singular bohr-sommerfeld rules for 2d integrable systems

Abstract: In this paper, we describe Bohr-Sommerfeld rules for semi-classical completely integrable systems with 2 degrees of freedom with non degenerate singularities (Morse-Bott singularities) under the assumption that the energy level of the first Hamiltonian is non singular. The more singular case of {\it focus-focus} singularities is studied in [Vu Ngoc San, CPAM 2000] and [Vu Ngoc San, PhD 1998] The case of 1 degree of freedom has been studied in [Colin de Verdiere-Parisse, CMP 1999] Our theory is applied to some famous examples: the geodesics of the ellipsoid, the $1:2$-resonance, and Schroedinger operators on the sphere $S^2$. A numerical test shows that the semiclassical Bohr-Sommerfeld rules match very accurately the ``purely quantum'' computations.

Full asymptotic expansion of the heat trace for non-self-adjoint elliptic cone operators

Abstract: The operator $e^{-tA}$ and its trace are investigated in the case when $A$ is a non-self-adjoint elliptic differential operator on a manifold with conical singularities. Under a certain spectral condition (parameter-ellipticity) we obtain a full asymptotic expansion in $t$ of the heat trace as $t\to 0^+$. As in the smooth compact case, the problem is reduced to the investigation of the resolvent $(A-\lambda)^{-1}$. The main step will consist in approximating this operator family by a parametrix to $A-\lambda$ using a suitable parameter-dependent calculus.

Local uniqueness for the Dirichlet-to-Neumann map via the two-plane transform

Abstract: We consider the Dirichlet-to-Neumann map associated to the Schr\"odinger equation with a potential in a bounded Lipschitz domain in three or more dimensions. We show that the integral of the potential over a two-plane is determined by the Cauchy data of certain exponentially growing solutions on any neighborhood of the intersection of the two-plane with the boundary.

Integral representations and Liouville theorems for solutions of periodic elliptic equations

Abstract: The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation. When one restricts the class of solutions further, requiring their growth to be polynomial, one arrives to Liouville type theorems, which describe the structure and dimension of the spaces of such solutions. The Liouville type theorems previously proved by M. Avellaneda and F.-H. Lin, and J. Moser and M. Struwe for periodic second order elliptic equations in divergence form are significantly extended. Relations of these theorems with the analytic structure of the Fermi and Bloch surfaces are explained.

The resolvent for Laplace-type operators on asymptotically conic spaces

Abstract: Let X be a compact manifold with boundary, and g a scattering metric on X, which may be either of short range or `gravitational' long range type. Thus, g gives X the geometric structure of a complete manifold with an asymptotically conic end. Let H be an operator of the form $H = \Delta + P$, where $\Delta$ is the Laplacian with respect to g and P is a self-adjoint first order scattering differential operator with coefficients vanishing at the boundary of X and satisfying a `gravitational' condition. We define a symbol calculus for Legendre distributions on manifolds with codimension two corners and use it to give a direct construction of the resolvent kernel of H, $R(\sigma + i0)$, for $\sigma$ on the positive real axis. In this approach, we do not use the limiting absorption principle at any stage; instead we construct a parametrix which solves the resolvent equation up to a compact error term and then use Fredholm theory to remove the error term.

On the Cauchy- and periodic boundary value problem for a certain class of derivative nonlinear Schroedinger equations

Abstract: The Cauchy- and periodic boundary value problem for the nonlinear Schroedinger equations in $n$ space dimensions [u_t - i\Delta u = ( abla \bar{u})^{\beta}, |\beta|=m \ge 2, u(0)=u_0 \in H^{s+1}_x] is shown to be locally well posed for $s > s_c := \frac{n}{2} - \frac{1}{m-1}$, $s \ge 0$. In the special case of space dimension $n=1$ a global $L^2$-result is obtained for NLS with the nonlinearity $N(u)= \partial_x (\bar{u} ^2)$. The proof uses the Fourier restriction norm method.

Heteroclinic orbits, mobility parameters and stability for thin film type equations

Abstract: We study numerically the phase space of the evolution equation h_t = -(h^n h_{xxx})_x - B (h^m h_x)_x . Here h(x,t) is nonnegative, n>0 and m is real, and the Bond number B is positive. We pursue three goals: to investigate the nonlinear stability of the positive periodic and constant steady states; to locate heteroclinic connecting orbits between these steady states and the compactly supported 'droplet' steady states; and to determine how these orbits change when the 'mobility' exponents n and m are changed. For example, we change the mobility coefficients in such a way that the steady states are unchanged and find evidence that heteroclinic orbits between steady states are perturbed but not broken. We also find that when there appear to be touch-down singularities, the exponent n affects whether they occur in finite or infinite time. It also can affect whether there is one touch-down or two touch-downs per period.

Value Functions for Bolza Problems with Discontinuous Lagrangians and Hamilton-Jacobi Inequalities

Abstract: We investigate the value function of the Bolza problem of the Calculus of Variations $$ V (t,x)=\inf \{\int_{0}^{t} L (y(s),y'(s))ds + \phi(y(t)) : y \in W^{1,1} (0,t; R^n) ; y(0)=x \}, $$ with a lower semicontinuous Lagrangian $L$ and a final cost $\phi$, and show that it is locally Lipschitz for $t>0$ whenever $L$ is locally bounded. It also satisfies Hamilton-Jacobi inequalities in a generalized sense. When the Lagrangian is continuous, then the value function is the unique lower semicontinuous solution to the corresponding Hamilton-Jacobi equation, while for discontinuous Lagrangian we characterize the value function by using the so called contingent inequalities.

On self-similar singular solutions of the complex Ginzburg-Landau equation

Abstract: We address the open problem of existence of singularities for the complex Ginzburg-Landau equation. Using a combination of rigourous results and numerical computations, we describe a countable family of self-similar singularities. Our analysis includes the super-critical non-linear Schroedinger equation as a special case, and most of the described singularities are new even in that situation. We also consider the problem of stability of these singularities.

Optimal Acoustic Measurements

Abstract: We consider the problem of obtaining information about an inaccessible half-space from acoustic measurements made in the accessible half-space. If the measurements are of limited precision, some scatterers will be undetectable because their scattered fields are below the precision of the measuring instrument. How can we make measurements that are optimal for detecting the presence of an object? In other words, what incident fields should we apply that will result in the biggest measurements? There are many ways to formulate this question, depending on the measuring instruments. In this paper we consider a formulation involving wave-splitting in the accessible half-space: what downgoing wave will result in an upgoing wave of greatest energy? A closely related question arises in the case when we have a guess about the configuration of the inaccessible half-space. What measurements should we make to determine whether our guess is accurate? In this case we compare the scattered field to the field computed from the guessed configuration. Again we look for the incident field that results in the greatest energy difference. We show that the optimal incident field can be found by an iterative process involving time reversal ``mirrors''. For band-limited incident fields and compactly supported scatterers, in the generic case this iterative process converges to a single time-harmonic field. In particular, the process automatically "tunes" to the best frequency. This analysis provides a theoretical foundation for the frequency-shifting and pulse-broadening observed in certain computations and time-reversal experiments.

The anisotropic averaged Euler equations

Abstract: The purpose of this paper is to derive the anisotropic averaged Euler equations and to study their geometric and analytic properties. These new equations involve the evolution of a mean velocity field and an advected symmetric tensor that captures the fluctuation effects. Besides the derivation of these equations, the new results in the paper are smoothness properties of the equations in material representation, which gives well-posedness of the equations, and the derivation of a corrector to the macroscopic velocity field. The numerical implementation and physical implications of this set of equations will be explored in other publications.

Existence of minimal H-bubbles

Abstract: We prove existence of S^2-type parametric surfaces in R^3 having prescribed noncostant mean curvature.

On 2D Euler Equations: Part II. Lax Pairs and Homoclinic Structures

Abstract: In Part I of our study on 2D Euler equation, we established the spectral theorem for a linearized 2D Euler equation. We also computed the point spectrum through continued fractions, and identified the eigenvalues with nonzero real parts. In this Part II of our study, first we discuss the Lax pairs for both 2D and 3D Euler equations. The existence of Lax pairs suggests that the hyperbolic foliations of 2D and 3D Euler equations may be degenerate, i.e., there exist homoclinic structures. Then we investigate the question on the degeneracy v.s. nondegeneracy of the hyperbolic foliations for Galerkin truncations of 2D Euler equation. In particular, for a Galerkin truncation, we have computed the explicit representation of the hyperbolic foliation which is of the degenerate case, i.e., figure-eight case. We also study the robustness of this degeneracy for a so-called dashed-line model through higher order Melnikov functions. The first order and second order Melnikov functions are all identically zero, which indicates that the degeneracy is relatively robust. The study in this paper serves a clue in searching for homoclinic structures for 2D Euler equation. The recent breakthrough result of mine on the existence of a Lax pair for 2D Euler equation, strongly supports the possible existence of homoclinic structures for 2D Euler equation.

Counting dimensions of L-harmonic functions

Abstract: In this article, we will consider second order uniformly elliptic operators of divergence form defined on R^n with measurable coefficients. Mainly, we will give estimates on the dimension of space of solutions that grow at most polynomially of degree d. More precisely, in terms of a rectangular coordinate system {x_1,...,x_n}, a second order uniformly elliptic operator of divergence form, L, acting on a function f in H^1_loc(R^n) is given by Lf = sum_{ij} d/dx_i (a^{ij}(x) df/dx_j) where (a^{ij}(x)) is an n x n symmetric matrix satisfying the ellipticity bounds \lambda I <= (a^{ij}) <= Lambda I for some constants 0 < lambda <= Lambda < \infty. Other than the ellipticity bounds, we only assume that the coefficients (a_{ij}) are merely measurable functions.

A Lax Pair for 2D Euler Equation

Abstract: A Lax pair for the 2D Euler equation is found.

On 2D Euler Equations: Part I. On the Energy-Casimir Stabilities and The Spectra for Linearized 2D Euler Equations

Abstract: In this paper, we study a linearized two-dimensional Euler equation. This equation decouples into infinitely many invariant subsystems. Each invariant subsystem is shown to be a linear Hamiltonian system of infinite dimensions. Another important invariant besides the Hamiltonian for each invariant subsystem is found, and is utilized to prove an ``unstable disk theorem'' through a simple Energy-Casimir argument. The eigenvalues of the linear Hamiltonian system are of four types: real pairs ($c,-c$), purely imaginary pairs ($id,-id$), quadruples ($\pm c\pm id$), and zero eigenvalues. The eigenvalues are computed through continued fractions. The spectral equation for each invariant subsystem is a Poincar\'{e}-type difference equation, i.e. it can be represented as the spectral equation of an infinite matrix operator, and the infinite matrix operator is a sum of a constant-coefficient infinite matrix operator and a compact infinite matrix operator. We have obtained a complete spectral theory.

On the support of solutions to the g-KdV equation

Abstract: We discuss the question whether solutions of the initial value problem for the generalized KdV equation can have compact support at two different times.

Some local wellposedness results for nonlinear Schroedinger equations below L^2

Abstract: We prove some local (in time) wellposedness results for nonlinear Schroedinger equations with rough data, that is, the initial value belongs to some Sobolev space of negative index. The proof uses the Fourier restriction norm method.

Lax pairs, Painlev\'e properties and exact solutions of the alogero Korteweg-de Vries equation and a new (2+1)-dimensional equation

Abstract: We prove the existence of a Lax pair for the Calogero Korteweg-de Vries (CKdV) equation. Moreover, we modify the T operator in the the Lax pair of the CKdV equation, in the search of a (2+1)-dimensional case and thereby propose a new equation in (2+1) dimensions. We named this the (2+1)-dimensional CKdV equation. We show that the CKdV equation as well as the (2+1)-dimensional CKdV equation are integrable in the sense that they possess the Painlev\'e property. Some exact solutions are also constructed.

Periodic vortex lattices for the Lawrence-Doniach model of layered superconductors in a parallel field

Abstract: We consider the Lawrence-Doniach model for layered superconductors, in which stacks of parallel superconducting planes are coupled via the Josephson effect. We assume that the superconductor is placed in an external magnetic field oriented parallel to the superconducting planes and study periodic lattice configurations in the limit as the Josephson coupling parameter r tends to zero. This limit leads to the "transparent state" discussed in the physics literature, which is observed in very anisotropic high-temperature superconductors at sufficiently high applied fields and below a critical temperature. We use a Lyapunov-Schmidt reduction to prove that energy minimization uniquely determines the geometry of the optimal vortex lattice: a period-2 (in the layers) array proposed by Bulaevskii & Clem. Finally, we discuss the apparent conflict with previous results for finite-width samples, in which the minimizer in the small coupling regime takes the form of "vortex planes" (introduced by Theodorakis and Kuplevakhsky.)

Regularity of a free boundary with application to the Pompeiu problem

Abstract: In the unit ball B(0,1), let $u$ and $\Omega$ (a domain in $\R$) solve the following overdetermined problem: $$\Delta u =\chi_\Omega\quad \hbox{in} B(0,1), \qquad 0 \in \partial \Omega, \qquad u=| abla u |=0 \quad \hbox{in} B(0,1)\setminus \Omega,$$ where $\chi_\Omega$ denotes the characteristic function, and the equation is satisfied in the sense of distributions. If the complement of $\Omega$ does not develop cusp singularities at the origin then we prove $\partial \Omega$ is analytic in some small neighborhood of the origin. The result can be modified to yield for more general divergence form operators. As an application of this, then, we obtain the regularity of the boundary of a domain without the Pompeiu property, provided its complement has no cusp singularities.

Local well-posedness of the Yang-Mills equation in the Temporal Gauge below the energy norm

Abstract: We show that the Yang-Mills equation in three dimensions is locally well-posed in the Temporal gauge for initial data in H^s x H^{s-1} for s > 3/4, if the norm of the initial data is sufficiently small. The main new ingredients are a splitting of the connection into curl-free and div-free components, and some product estimates which interact solutions of wave equations Box u = F with solutions of time integration equations partial_t u = F.