A Frequency Function and Singular Set Bounds for Branched Minimal Immersions

We establish a frequency function monotonicity formula for two‐valued C^1,α solutions to the minimal surface system on n‐dimensional domains. We also establish the sharp regularity result that such solutions are of class C^{1, 1/2}, and that their branch sets, if nonempty, have Hausdorff dimension equal to n‐2.© 2016 Wiley Periodicals, Inc.     

Boundary Layers in Periodic Homogenization of Neumann Problems

This paper is concerned with a family of second‐order elliptic systems in divergence form with rapidly oscillating periodic coefficients. We initiate the study of homogenization and boundary layers for Neumann problems with first‐order oscillating boundary data. We identify the homogenized system and establish the sharp rate of convergence in L² in dimension three or higher. Regularity estimates are also obtained for the homogenized boundary data in both Dirichlet and Neumann problems. The results are used to establish a higher‐order convergence rate for Neumann problems with nonoscillating data. © 2018 Wiley Periodicals, Inc.     

The interior of charged black holes and the problem of uniqueness in general relativity

We consider a spherically symmetric, double characteristic initial value problem for the (real) Einstein‐Maxwell‐scalar field equations. On the initial outgoing characteristic, the data is assumed to satisfy the Price law decay widely believed to hold on an event horizon arising from the collapse of an asymptotically flat Cauchy surface. We establish that the heuristic mass inflation scenario put forth by Israel and Poisson is mathematically correct in the context of this initial value problem. In particular, the maximal future development has a future boundary over which the space‐time is extendible as a C⁰ metric but along which the Hawking mass blows up identically; thus, the space‐time is inextendible as a C¹ metric. In view of recent results of the author in collaboration with I. Rodnianski, which rigorously establish the validity of Price's law as an upper bound for the decay of scalar field hair, the C⁰ extendibility result applies to the collapse of complete, asymptotically flat, spacelike initial data where the scalar field is compactly supported. This shows that under Christodoulou's C⁰ formulation, the strong cosmic censorship conjecture is false for this system. © 2005 Wiley Periodicals, Inc.     

Anomalous scaling for three‐dimensional Cahn‐Hilliard fronts

We prove the stability of the one‐dimensional kink solution of the Cahn‐Hilliard equation under d‐dimensional perturbations for d ≥ 3. We also establish a novel scaling behavior of the large‐time asymptotics of the solution. The leading asymptotics of the solution is characterized by a length scale proportional to t^1/3 instead of the usual t^1/2 scaling typical to parabolic problems. © 2004 Wiley Periodicals, Inc.     

Identifying initial condition of the Rayleigh‐Stokes problem with random noise

We investigate a backward problem for the Rayleigh‐Stokes problem, which aims to determine the initial status of some physical field such as temperature for slow diffusion from its present measurement data. This problem is well‐known to be ill‐posed because of the rapid decay of the forward process. We construct a regularized solution using the filter regularization method in the Gaussian random noise. Under some a priori assumptions on the exact solution, we establish the expectation between the exact solution and the regularized solution in the L² and H^m norms.     

Vanishing viscosity limit of the Navier‐Stokes equations to the euler equations for compressible fluid flow

We establish the vanishing viscosity limit of the Navier‐Stokes equations to the isentropic Euler equations for one‐dimensional compressible fluid flow. For the Navier‐Stokes equations, there exist no natural invariant regions for the equations with the real physical viscosity term so that the uniform sup‐norm of solutions with respect to the physical viscosity coefficient may not be directly controllable. Furthermore, convex entropy‐entropy flux pairs may not produce signed entropy dissipation measures. To overcome these difficulties, we first develop uniform energy‐type estimates with respect to the viscosity coefficient for solutions of the Navier‐Stokes equations and establish the existence of measure‐valued solutions of the isentropic Euler equations generated by the Navier‐Stokes equations. Based on the uniform energy‐type estimates and the features of the isentropic Euler equations, we establish that the entropy dissipation measures of the solutions of the Navier‐Stokes equations for weak entropy‐entropy flux pairs, generated by compactly supported C² test functions, are confined in a compact set in H^?1, which leads to the existence of measure‐valued solutions that are confined by the Tartar‐Murat commutator relation. A careful characterization of the unbounded support of the measure‐valued solution confined by the commutator relation yields the reduction of the measurevalued solution to a Dirac mass, which leads to the convergence of solutions of the Navier‐Stokes equations to a finite‐energy entropy solution of the isentropic Euler equations with finite‐energy initial data, relative to the different end‐states at infinity. © 2010 Wiley Periodicals, Inc.     

Discontinuous Galerkin finite element methods for variational inequalities of first and second kinds

We develop the error analysis for the h‐version of the discontinuous Galerkin finite element discretization for variational inequalities of first and second kinds. We establish an a priori error estimate for the method which is of optimal order in a mesh dependant as well as L²‐norm.© 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2007     

A posteriori error estimates for finite element approximations to the wave equation with discontinuous coefficients

We derive residual‐based a posteriori error estimates of finite element method for linear wave equation with discontinuous coefficients in a two‐dimensional convex polygonal domain. A posteriori error estimates for both the space‐discrete case and for implicit fully discrete scheme are discussed in L^∞(L²) norm. The main ingredients used in deriving a posteriori estimates are new Clément type interpolation estimates in conjunction with appropriate adaption of the elliptic reconstruction technique of continuous and discrete solutions. We use only an energy argument to establish a posteriori error estimates with optimal order convergence in the L^∞(L²) norm.     

Semi‐strong and strong solutions for variable density asymmetric fluids in unbounded domains

We establish the existence of local in time semi‐strong solutions and global in time strong solutions for the system of equations describing flows of viscous and incompressible asymmetric fluids with variable density in general three‐dimensional domains with boundary uniformly of class C³. Under suitable assumptions, uniqueness of local semi‐strong solutions is also proved. Copyright © 2016 John Wiley & Sons, Ltd.     

Sharp regularity results on second derivatives of solutions to the Monge‐Ampère equation with VMO type data

We establish interior estimates for L^p‐norms, Orlicz norms, and mean oscillation of second derivatives of solutions to the Monge‐Ampère equation det D²u = f(x) with zero boundary value, where f(x) is strictly positive, bounded, and satisfies a VMO‐type condition. These estimates develop the regularity theory of the Monge‐Ampère equation in VMO‐type spaces. Our Orlicz estimates also sharpen Caffarelli's celebrated W^{2, p}‐estimates. © 2008 Wiley Periodicals, Inc.     

Spaces of Bessel‐potential type and embeddings: the super‐limiting case

We consider Bessel‐potential spaces modelled upon Lorentz‐Karamata spaces and establish embedding theorems in the super‐limiting case. In addition, we refine a result due to Triebel, in the context of Bessel‐potential spaces, itself an improvement of the Brézis‐Wainger result (super‐limiting case) about the “almost Lipschitz continuity” of elements of H^1+n/p_p (?ⁿ). These results improve and extend results due to Edmunds, Gurka and Opic in the context of logarithmic Bessel potential spaces. We also give examples of embeddings of Besselpotential type spaces which are not of logarithmic type. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An inverse contact problem in the theory of elasticity

In this paper, we discuss an inverse problem in elasticity for determining a contact domain and stress on this domain. We show that this problem is an ill‐posed problem, and we establish the uniqueness and L²‐conditional stability estimation for the stress. Copyright © 1999 John Wiley & Sons, Ltd.     

Asymptotic behaviour of time‐dependent Ginzburg–Landau equations of superconductivity

In this paper, we establish the global fast dynamics for the time‐dependent Ginzburg–Landau equations of superconductivity. We show the squeezing property and the existence of finite‐dimensional exponential attractors for the system. In addition we prove the existence of the global attractor in L² × L² for the Ginzburg–Landau equations in two spatial dimensions. Copyright © 1999 John Wiley & Sons, Ltd.     

Gamma‐convergence of gradient flows with applications to Ginzburg‐Landau

We present a method to prove convergence of gradient flows of families of energies that Γ‐converge to a limiting energy. It provides lower‐bound criteria to obtain the convergence that correspond to a sort of C¹‐order Γ‐convergence of functionals. We then apply this method to establish the limiting dynamical law of a finite number of vortices for the heat flow of the Ginzburg‐Landau energy in dimension 2, retrieving in a different way the existing results for the case without magnetic field and obtaining new results for the case with magnetic field. © 2004 Wiley Periodicals, Inc.     

A Petrov–Galerkin spectral method for fourth‐order problems

In this paper, we consider the Petrov–Galerkin spectral method for fourth‐order elliptic problems on rectangular domains subject to non‐homogeneous Dirichlet boundary conditions. We derive some sharp results on the orthogonal approximations in one and two dimensions, which play important roles in numerical solutions of higher‐order problems. By applying these results to a fourth‐order problem, we establish the H²‐error and L²‐error bounds of the Petrov–Galerkin spectral method. Numerical experiments are provided to illustrate the high accuracy of the proposed method and coincide well with the theoretical analysis. Copyright © 2013 John Wiley & Sons, Ltd.     

SO(∀∃*) Sentences and Their Asymptotic Probabilities

We prove a 0‐1 law for the fragment of second order logic SO(∀∃*) over parametric classes of finite structures which allow only one unary atomic type. This completes the investigation of 0‐1 laws for fragments of second order logic defined in terms of first order quantifier prefixes over, e.g., simple graphs and tournaments. We also prove a low oscillation law, and establish the 0‐1 law for Σ¹₄(∀∃*) without any restriction on the number of unary types.     

A C0 interior penalty discontinuous Galerkin Method for fourth‐order total variation flow. II: Existence and uniqueness

We prove the existence and uniqueness of a solution of a C⁰ Interior Penalty Discontinuous Galerkin (C⁰ IPDG) method for the numerical solution of a fourth‐order total variation flow problem that has been developed in part I of the paper. The proof relies on a nonlinear version of the Lax‐Milgram Lemma. It requires to establish that the nonlinear operator associated with the C⁰ IPDG approximation is Lipschitz continuous and strongly monotone on bounded sets of the underlying finite element space.     

Local existence and uniqueness of the mild solution to the 1D Vlasov–Poisson system with an initial condition of bounded variation

We propose a result of local existence and uniqueness of a mild solution to the one‐dimensional Vlasov–Poisson system. We establish the result for an initial condition lying in the space W^1,1(?²), then we extend it to initial conditions lying in the space BV(?²), without any assumption of continuity, boundedness or compact support. Copyright © 2010 John Wiley & Sons, Ltd.     

Lipschitz Estimates in Almost‐Periodic Homogenization

We establish uniform Lipschitz estimates for second‐order elliptic systems in divergence form with rapidly oscillating, almost‐periodic coefficients. We give interior estimates as well as estimates up to the boundary in bounded C^1,α domains with either Dirichlet or Neumann data. The main results extend those in the periodic setting due to Avellaneda and Lin for interior and Dirichlet boundary estimates and later Kenig, Lin, and Shen for the Neumann boundary conditions. In contrast to these papers, our arguments are constructive (and thus the constants are in principle computable) and the results for the Neumann conditions are new even in the periodic setting, since we can treat nonsymmetric coefficients. We also obtain uniform W^1,p estimates.© 2016 Wiley Periodicals, Inc.     

Stepanov‐like doubly weighted pseudo almost automorphic processes and its application to Sobolev‐type stochastic differential equations driven by G‐Brownian motion

This paper investigates the properties of the p‐mean Stepanov‐like doubly weighted pseudo almost automorphic (S^pDWPAA) processes and its application to Sobolev‐type stochastic differential equations driven by G‐Brownian motion. We firstly prove the equivalent relation between the S^pDWPAA and Stepanov‐like asymptotically almost automorphic stochastic processes based on ergodic zero set. We further establish the completeness of the space and the composition theorem for S^pDWPAA processes. These results obtained improve and extend previous related conclusions. As an application, we show the existence and uniqueness of the S^p DWPAA solution for a class of nonlinear Sobolev‐type stochastic differential equations driven by G‐Brownian motion and present a decomposition of this unique solution. Moreover, an example is given to illustrate the effectiveness of our results.