Uniqueness results for nonlocal Hamilton-Jacobi equations

We are interested in nonlocal eikonal equations describing the evolution of interfaces moving with a nonlocal, non-monotone velocity. For these equations, only the existence of global-in-time weak solutions is available in some particular cases. In this paper, we propose a new approach for proving uniqueness of the solution when the front is expanding. This approach simplifies and extends existing results for dislocation dynamics. It also provides the first uniqueness result for a Fitzhugh-Nagumo system. The key ingredients are some new perimeter estimates for the evolving fronts as well as some uniform interior cone property for these fronts.     

Holomorphic Sobolev spaces, Hermite and special Hermite semigroups and a Paley-Wiener theorem for the windowed Fourier transform

The images of Hermite and Laguerre-Sobolev spaces under the Hermite and special Hermite semigroups (respectively) are characterized. These are used to characterize the image of Schwartz class of rapidly decreasing functions f on Rn and Cn under these semigroups. The image of the space of tempered distributions is also considered and a Paley-Wiener theorem for the windowed (short-time) Fourier transform is proved.     

-extension of Lie triple systems

In this paper, we introduce the notion of T^*-extension of a Lie triple system. Then we show that T^*-extension is compatible with nilpotency, solvability, and it preserves in certain sense the decomposition properties. In addition, we investigate the equivalence of T^*-extensions using cohomology. Finally, we show that every finite-dimensional nilpotent metrised Lie triple system over an algebraically closed field is the T^*-extension of an appropriate quotient system.     

Saturated packings and reduced coverings obtained by perturbing tilings

Let a normed space X possess a tiling T consisting of unit balls. We show that any packing P of X obtained by a small perturbation of T is completely translatively saturated; that is, one cannot replace finitely many elements of P by a larger number of unit balls such that the resulting arrangement is still a packing.In contrast with that, given a tiling T of Rⁿ with images of a convex body C under Euclidean isometries, there may exist packings P consisting of isometric images of C obtained from T by arbitrarily small perturbations which are no longer completely saturated. This means that there exists some positive integer k such that one can replace k−1 members of P by k isometric copies of C without violating the packing property. However, we quantify a tradeoff between the size of the perturbation and the minimal k such that the above phenomenon occurs.Analogous results are obtained for coverings.     

Localization for the evolution p-Laplacian equation with strongly nonlinear source term

In this paper we study the strict localization for the p-Laplacian equation with strongly nonlinear source term. Let u:=u(x,t) be a solution of the Cauchy problem

     

On a deterministic linear partial differential system

We develop an Lp theory for the Cauchy problem of linear partial differential systems of the form

     

Multiplicity of characteristics with Lagrangian boundary values on symmetric star-shaped hypersurfaces

In this paper, the multiplicity of Lagrangian orbits on C² smooth compact symmetric star-shaped hypersurfaces with respect to the origin in R2n is studied. These Lagrangian orbits begin from one Lagrangian subspace and end on another. An infinitely many existence result is proved via Z₂-index theory. This is a multiplicity result about the Arnold Chord Conjecture in some sense, and is a generalization of the problem about the multiplicity of Lagrangian orbits beginning from and ending on the same Lagrangian subspace which was considered in the authors' previous paper [F. Guo, C. Liu, Multiplicity of Lagrangian orbits on symmetric star-shaped hypersurfaces, Nonlinear Anal. 69 (4) (2008) 1425-1436].     

The generalized relaxed proximal point algorithm involving -maximal-relaxed accretive mappings with applications to Banach spaces

A general design for the relaxed proximal point algorithm using the notion of A-maximal-relaxed accretiveness is developed, and then the convergence analysis for this algorithm in the context of solving a general class of nonlinear inclusion problems is examined along with some other results of interest involving A-maximal-relaxed accretive mappings in a real Banach space setting.     

Two-stage complex Rosenbrock schemes for stiff systems

New two-stage Rosenbrock schemes with complex coefficients are proposed for stiff systems of differential equations. The schemes are fourth-order accurate and satisfy enhanced stability requirements. A one-parameter family of L1-stable schemes with coefficients explicitly calculated by formulas involving only fractions and radicals is constructed. A single L2-stable scheme is found in this family. The coefficients of the fourth-order accurate L4-stable scheme previously obtained by P.D Shirkov are refined. Several fourth-order schemes are constructed that are high-order accurate for linear problems and possess the limiting order of L-decay. The schemes proposed are proved to converge. A symbolic computation algorithm is developed that constructs order conditions for multistage Rosenbrock schemes with complex coefficients. This algorithm is used to design the schemes proposed and to obtain fifth-order accurate conditions.