Perron's method for second order hyperbolic PDE. Part II

We continue part I of this paper. Here in part II, comparison principles are proved for non-smooth sub and super solutions (with non-smooth Cauchy data) of semilinear hyperbolic PDE in compact regular domains of R⁺×R⁺ when n?3.     

On the correctness of the Cauchy problem for a linear differential system on an infinite interval

The conditions ensuring the correctness of the Cauchy problem $$\frac{{dx}}{{dt}} = P(t)x + q(t),x(t_0 ) = c_0$$ on the nonnegative half-axisR ₊ are found, whereP:R ₊→R ^n×n andq:R ₊→R ⁿ are locally summable matrix and vector functions, respectively,t ₀∈R ₊ andc ₀∈R ⁿ .     

The asymptotic behavior of globally smooth solutions of the multidimensional isentropic hydrodynamic model for semiconductors

In this paper we study the asymptotic behavior of globally smooth solutions of the Cauchy problem for the multidimensional isentropic hydrodynamic model for semiconductors in R^d. We prove that smooth solutions (close to equilibrium) of the problem converge to a stationary solution exponentially fast as t→+∞.     

The Cauchy problem for one class of parabolic pseudodifferential systems with nonsmooth symbols

In the class of finite-order distributions we establish the well-posedness of the Cauchy problem for parabolic pseudodifferential systems whose symbols are nonsmooth functions at a fixed point h ∈ ?ⁿ generated by homogeneous functions of order γ > 0 depending on time.     

Global existence for 2D nonlinear Schrödinger equations via high-low frequency decomposition method

We study global existence of solutions for the Cauchy problem of the nonlinear Schrödinger equation iut+Δu=|u|^2mu in the 2 dimension case, where m is a positive integer, m?2. Using the high-low frequency decomposition method, we prove that if then for any initial value φ∈Hs(R²), the Cauchy problem has a global solution in C(R,Hs(R²)), and it can be split into u(t)=eitΔφ+y(t), with y∈C(R,H¹(R²)) satisfying , where ? is an arbitrary sufficiently small positive number.     

Radical Rings with Soluble Adjoint Groups

An associative ring R, not necessarily with an identity, is called radical if it coincides with its Jacobson radical, which means that the set of all elements of R forms a group denoted by R^∘ under the circle operation r ∘ s = r + s + rs on R. It is proved that every radical ring R whose adjoint group R^∘ is soluble must be Lie-soluble. Moreover, if the commutator factor group of R^∘ has finite torsion-free rank, then R is locally nilpotent.     

Small solutions to nonlinear Schrödinger equations in the Sobolev spaces

The local and global well-posedness for the Cauchy problem for a class of nonlinear Schrödinger equations is studied. The global well-posedness of the problem is proved in the Sobolev spaceH ^s=H^s(R ⁿ) of fractional orders>n/2 under the following assumptions. (1) Concerning the Cauchy data ?∈H ^s: ‖?;L ²‖ is relatively small with respect to ‖?;H ^σ‖ for any fixed σ withn/2<σ≤s. (2) Concerning the nonlinearityf: f(u) behaves as a conformal poweru ¹⁺⁴/n near zero and has an arbitrary growth rate at infinity.     

On the low regularity of the modified Korteweg-de Vries equation with a dissipative term

We consider a dissipative version of the modified Korteweg-de Vries equation ut+uxxx−uxx+x(u³)=0. We prove global well-posedness results on the associated Cauchy problem in the Sobolev spaces Hs(R) for s>−1/4 while for s<−1/2 we prove some ill-posedness issues.     

On the stochastic Benjamin-Ono equation

We discuss the Cauchy problem for the stochastic Benjamin-Ono equation in the function class Hs(R), s>3/2. When there is a zero-order dissipation, we also establish the existence of an invariant measure with support in H²(R). Many authors have discussed the Cauchy problem for the deterministic Benjamin-Ono equation. But our results are new for the stochastic Benjamin-Ono equation. Our goal is to extend known results for the deterministic equation to the stochastic equation.     

Tiling R 5 by Crosses

An n-dimensional cross comprises 2n+1 unit cubes: the center cube and reflections in all its faces. It is well known that there is a tiling of R ⁿ by crosses for all n. AlBdaiwi and the first author proved that if 2n+1 is not a prime then there are $2^{\aleph_{0}}$ non-congruent regular (= face-to-face) tilings of R ⁿ by crosses, while there is a unique tiling of R ⁿ by crosses for n=2,3. They conjectured that this is always the case if 2n+1 is a prime. To support the conjecture we prove in this paper that also for R ⁵ there is a unique regular, and no non-regular, tiling by crosses. So there is a unique tiling of R ³ by crosses, there are $2^{\aleph_{0}}$ tilings of R ⁴, but for R ⁵ there is again only one tiling by crosses. We guess that this result goes against our intuition that suggests ‘the higher the dimension of the space, the more freedom we get’.     

Sharp existence results for self-similar solutions of semilinear wave equations

The existence of self-similar and asymptotically self-similar solutions of the nonlinear wave equation with or in R ³×R ⁺ for small Cauchy data is proven if . A counterexample is given which shows that the lower bound on α is sharp. Received April 1999 – Accepted September 1999     

The Inner Cauchy Horizon of Axisymmetric and Stationary Black Holes with Surrounding Matter in Einstein–Maxwell Theory: Study in Terms of Soliton Methods

We use soliton methods in order to investigate the interior electrovacuum region of axisymmetric and stationary, electrically charged black holes with arbitrary surrounding matter in Einstein–Maxwell theory. These methods can be applied since the Einstein–Maxwell vacuum equations permit the formulation in terms of the integrability condition of an associated linear matrix problem. We find that there always exists a regular inner Cauchy horizon inside the black hole, provided the angular momentum J and charge Q of the black hole do not vanish simultaneously. Moreover, the soliton methods provide us with an explicit relation for the metric on the inner Cauchy horizon in terms of that on the event horizon. In addition, our analysis reveals the remarkable universal relation (8πJ)² + (4πQ ²)² = A ⁺ A ^?, where A ⁺ and A ^? denote the areas of event and inner Cauchy horizon, respectively.     

Cauchy problem for the multi-dimensional Boussinesq type equation

The paper studies the existence and non-existence of global weak solutions to the Cauchy problem for the multi-dimensional Boussinesq type equation utt−Δu+Δ²u=Δσ(u). It proves that the Cauchy problem admits a global weak solution under the assumptions that σ∈C(R), σ(s) is of polynomial growth order, say p (>1), either , s∈R, where β>0 is a constant, or the initial data belong to a potential well. And the weak solution is regularized and the strong solution is unique when the space dimension N=1. In contrast, any weak solution of the Cauchy problem blows up in finite time under certain conditions. And two examples are shown.     

Embedding Tn-like continua in Euclidean space

Many authors have been concerned with embedding ∏-like continua in Rⁿ where ∏ is some collection of polyhedra or manifolds. A similar concern has been embedding ∏-like continua in Rⁿ up to shape. In this paper we prove two main theorems. Theorem: If n ? 2 and X is Tⁿ-like, then X embeds in R²ⁿ. This result was conjectured by McCord for the case H¹(X) finitely generated and proved by McCord for the case that H¹(X) = 0 using a theorem of Isbell. The second theorem is a shape embedding theorem. Theorem: If X is Tⁿ-like, then X embeds in Rⁿ⁺² up to shape. This theorem is proved by showing that an n-dimensional compact connected abelian topological group embeds in Rⁿ⁺². Any Tⁿ-like continuum is shape equivalent to a k-dimensional compact connected abelian topological group for some 0 ? k ? n.     

Legendrian Links, Causality, and the Low Conjecture

Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of ${\mathbb{R}^{m}}Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of \mathbbR^m{\mathbb{R}^{m}} . The Legendrian Low conjecture formulated by Natário and Tod says that two events x, y ? X{x, y \in X} are causally related if and only if the Legendrian link of spheres \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} whose points are light geodesics passing through x and y is non-trivial in the contact manifold of all light geodesics in X. The Low conjecture says that for m = 2 the events x, y are causally related if and only if \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic (X ^m+1, g) such that a cover of its Cauchy surface is diffeomorphic to an open domain in \mathbbR^m{\mathbb{R}^{m}} .     

Factorial representations of path groups

The reduction of the energy representation of the group of mappings from I = [0, 1], S¹1, $\text{R}$₊ or $\text{R}$ into a compact semisimple Lie group G is given. For G = SU(2), the factoriality of the representation, which is of type III in the case I=$\text{R}$, is proved.     

Multiplicity result for some nonlocal anisotropic equation via nonsmooth critical point theory approach

In this paper we study quasilinear problems involving variable exponent growth conditions and nonlocal terms on the whole space R^N. A multiplicity result is established. All the coefficients involved in the terms of the equation depend both on the variable x and the unknown function u. Our main argument is nonsmooth critical point theory.     

Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

Some algorithms for the dynamic reconstruction of inputs

For the weight \(v_k \left( x \right) = \prod _{\alpha \in \mathbb{R}_ + } \left| {\left( {\alpha ,x} \right)} \right|^{2k\left( \alpha \right)}\) defined by a positive subsystem R ₊ of a finite root system R ? ? ^d and by a function k(α): R → ?₊ invariant under the reflection group generated by R, a sharp Jackson inequality in L ₂(? ^d ) is proved.     

Global well-posedness for the KP-II equation on the background of a non-localized solution

Motivated by transverse stability issues, we address the time evolution under the KP-II flow of perturbations of a solution which does not decay in all directions, for instance the KdV-line soliton. We study two different types of perturbations: perturbations that are square integrable in R×T and perturbations that are square integrable in R². In both cases we prove the global well-posedness of the Cauchy problem associated with such initial data.