Globalwell-posedness and I method for the fifth order Korteweg-de Vries equation

The Kawahara equation has fewer symmetries than the KdV equation; in particular, it has no invariant scaling transform and is not completely integrable. Thus its analysis requires different methods. We prove that the Kawahara equation is locally well posed in H ^−7/4, using the ideas of an [`(F)] ^s{\overline F ^s}-type space [8]. Then we show that the equation is globally well posed in H ^s for s ≥ −7/4, using the ideas of the “I-method” [7].     

Low regularity solutions of two fifth-order KDV type equations

The Kawahara and modified Kawahara equations are fifth-order KdV type equations that have been derived to model many physical phenomena such as gravity-capillary waves and magneto-sound propagation in plasmas. This paper establishes the local well-posedness of the initial-value problem for the Kawahara equation in H ^s (R) with s ≥ − 7/4 and the local well-posedness for the modified Kawahara equation in H ^s (R) with s ≥ − 1/4. To prove these results, we derive a fundamental estimate on dyadic blocks for the Kawahara equation through the [k; Z]_multiplier norm method of Tao [14] and use this to obtain new bilinear and trilinear estimates in suitable Bourgain spaces.     

Time regularity of the solutions to second order hyperbolic equations

We consider the Cauchy problem for a second order weakly hyperbolic equation, with coefficients depending only on the time variable. We prove that if the coefficients of the equation belong to the Gevrey class g^s₀\gamma^{s_{0}} and the Cauchy data belong to g^s₁\gamma^{s_{1}}, then the Cauchy problem has a solution in  g^s₀([0,T^*];g^s₁(\mathbbR))\gamma^{s_{0}}([0,T^{*}];\gamma^{s_{1}}(\mathbb{R})) for some T ^*>0, provided 1≤s ₁≤2−1/s ₀. If the equation is strictly hyperbolic, we may replace the previous condition by 1≤s ₁≤s ₀.     

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

Fundamental solution of the cauchy problem corresponding to the one-speed linear Boltzman equation for anisotropic media

We consider the fundamental solution E (t,x,s;s ₀) of the Cauchy problem for the one-speed linear Boltzman equation (∂/∂t+c(s,grad _x)+γ)E(t,x,s;s ₀)=γν∫ f((s, s′))E(t,x,s′; s₀)ds′+Ωδ(t)δ(x)δ (s−s ₀) that is assumed to be valid for any (t,x)∈Rⁿ⁺¹; morevoer, for t<0 the condition E(t,x,s; s₀)=0 holds. By using the Fourier-laplace transform in space-time arguments, the problem reduces to the study of an integral equation in the variables. For 0<ν≤1, the uniqueness and existence of the solution of the original problem are proved for any fixeds in the space of tempered distributions with supports in the front space-time cone. If the scattering media are of isotropic type (f(.)=1), the solution of the integral equation is given in explicit form. In the approximation of “small mean-free paths,” various weak limits of the solution are obtained with the help of a Tauberian-type theorem, for distributions. Bibliography: 4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 250, 1998, pp. 319–332. Translated by Yu. B. Yanushanets.     

Almost automorphic solutions to integral equations on the line

Given a∈L ¹(ℝ) and A the generator of an L ¹-integrable family of bounded and linear operators defined on a Banach space X, we prove the existence of almost automorphic solution to the semilinear integral equation u(t)=∫ _−∞ ^t a(t−s)[Au(s)+f(s,u(s))]ds for each f:ℝ×X→X almost automorphic in t, uniformly in x∈X, and satisfying diverse Lipschitz type conditions. In the scalar case, we prove that a∈L ¹(ℝ) positive, nonincreasing and log-convex is already sufficient.     

Approximation of potential integral by radial bases for solutions of Helmholtz equation

For a Helmholtz equation Δu(x) + κ ² u(x) = f(x) in a region of R ^s , s ≥ 2, where Δ is the Laplace operator and κ = a + ib is a complex number with b ≥ 0, a particular solution is given by a potential integral. In this paper the potential integral is approximated by using radial bases with the order of approximation derived.      

The geometry of whips

In this article, we study geometric aspects of the space of arcs parameterized by unit speed in the L ² metric. Physically, this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation η _tt = ∂ _s (σ η _s ), with \lvert h_s\rvert o 1{\lvert \eta_{s}\rvert\equiv 1} and σ given by s_ss- \lvert h_ss\rvert² s = -\lvert h_st\rvert²{\sigma_{ss}- \lvert \eta_{ss}\rvert^2 \sigma = -\lvert \eta_{st}\rvert^2}, with boundary conditions σ(t, 1) = σ(t, −1) = 0 and η(t, 0) = 0. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that is continuous and even differentiable but not C ¹. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.     

Multivariate refinement equation with nonnegative masks

This paper is concerned with multivariate refinement equations of the type where (?) is the unknown function defined on the s-dimensional Euclidean space Rs, a is a finitely supported nonnegative sequence on Zs, and M is an s×s dilation matrix with m := |detM|. We characterize the existence of L2-solution of refinement equation in terms of spectral radius of a certain finite matrix or transition operator associated with refinement mask a and dilation matrix M. For s = 1 and M = 2, the sufficient and necessary conditions are obtained to characterize the existence of continuous solution of this refinement equation.     

Random data Cauchy theory for supercritical wave equations I: local theory

We study the local existence of strong solutions for the cubic nonlinear wave equation with data in H ^s (M), s<1/2, where M is a three dimensional compact Riemannian manifold. This problem is supercritical and can be shown to be strongly ill-posed (in the Hadamard sense). However, after a suitable randomization, we are able to construct local strong solution for a large set of initial data in H ^s (M), where s≥1/4 in the case of a boundary less manifold and s≥8/21 in the case of a manifold with boundary. Mathematics Subject Classification (2000)  35Q55, 35BXX, 37K05, 37L50, 81Q20     

Solvability of elliptic functional-differential equations with compressions of the arguments in weighted spaces

In the paper, the equation

Sum of sequence spaces and matrix transformations mapping in s α 0 ((Δ ? λ I ) h ) + s β ( c ) ((Δ ? μ I ) l )

We deal with the sum of sequence spaces. Then we apply these results to characterize matrix transformations mapping between s ^h,l (λ, μ) = s _α ⁰((Δ − λI) ^h ) + s _β ^(c)((Δ − μI) ^l ) and s _γ . Among other things the aim of this paper is to reduce the set (s ^h,l (λ, μ), s _γ to a set of the form S _τ,γ .      

The evolution of the Dirac field in curved space-times

Analogously to the recently published treatise on the massless spin-s wave fields fors=1/2 ands=1, cf. [32], the covariant Dirac equation in certain coordinate charts is rewritten as an evolution equation. As a result it is proved that the Diract operatorD in the whole outer space of a Kerr-Newman black hole is symmetric. This is different from the behavior of the Maxwell operator which admits superradiance in case of a rotating black hole, cf. [32]. An interpretation of this symmetry may be that there is no particle creation by black holes, cf. [24, 16, 10, 15]. Moreover, the operatorA=−ih ⁻¹ D in expanding Robertson-Walker universes is shown to be dissipative, whereas in the contracting case −A is dissipative. This article was processed by the author using the LaT_EX style filecljour1 from Springer-Verlag     

Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

On γ-semi-open sets

Summary We introduce the concepts of γ-semi-open set, γ_s-set, γ^s-set, generalized γ_s-set, generalized γ^s-set, semi-T₁^γspace and semi-R₀^γspace by using γ-open-sets.     

Viscosity splitting method for three dimensional Navier-Stokes equations

Three dimensional initial boundary value problem of the Navier-Stokes equation is considered. The equation is split in an Euler equation and a non-stationary Stokes equation within each time step. Unlike the conventional approach, we apply a non-homogeneous Stokes equation instead of homogeneous one. Under the hypothesis that the original problem possesses a smooth solution, the estimate of theH ^s+1 norm, 0≦s<3/2, of the approximate solutions and the order of theL ² norm of the errors is obtained. This work was supported by the Science Foundation of Academia Sinica under grant (84)-103.     

Local and Global Existence of Solutions to Initial Value Problems of Modified Nonlinear Kawahara Equations

This paper is devoted to studying the initial value problem of the modified nonlinear Kawahara equation the first partial dervative of u to t ,the second the third ＋α the second partial dervative of u to x ,the second the third ＋β the third partial dervative of u to x ,the second the thire ＋γ the fifth partial dervative of u to x = 0,（x,t）∈R^2.We first establish several Strichartz type estimates for the fundamental solution of the corresponding linear problem. Then we apply such estimates to prove local and global existence of solutions for the initial value problem of the modified nonlinear Karahara equation. The results show that a local solution exists if the initial function uo（x） ∈ H^s（R） with s ≥ 1/4, and a global solution exists if s ≥ 2.     

On some medial semigroups with an associate subgroup

Let S be a semigroup and s,t∈S. We say that t is an associate of s if s=sts. If S has a maximal subgroup G such that every element s of S has a unique associate in G, say s ^∗, we say that G is an associate subgroup of S and consider the mapping s→s ^∗ as a unary operation on S. In this way, semigroups with an associate subgroup may be identified with unary semigroups satisfying three simple axioms. Among them, only those satisfying the identity (st)^∗=t ^∗ s ^∗, called medial, have a structure theorem, due to Blyth and Martins.     

Global attractor for the weakly damped forced KdV equation in Sobolev spaces of low regularity

We consider the global attractor for the weakly damped forced KdV equation in Sobolev spaces [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}for s < 0. Under the assumption that the external forcing term belongs to [(L)\dot]²(T),{\dot{L}^2({\mathbf T}),} we prove the existence of the global attractor in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})} for −1/2 ≤ s < 0, which is identical to the one in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and thus is compact in H ³(T). The argument is a combination of the I-method and decomposing the solution into two parts, one of which is uniformly bounded in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and the other decays exponentially in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}.     

The asymptotic formula in Waring’s problem for one square and seventeen fifth powers

Let R _k,s (n) denote the number of solutions of the equation n = x² + y₁^k + y₂^k + ?+ y_s^k{n= x^2 + y_1^k + y_2^k + \cdots + y_s^k} in natural numbers x, y ₁, . . . , y _s . By a straightforward application of the circle method, an asymptotic formula for R _k,s (n) is obtained when k ≥ 3 and s ≥ 2 ^k–1 + 2. When k ≥ 6, work of Heath-Brown and Boklan is applied to establish the asymptotic formula under the milder constraint s ≥ 7 · 2 ^k–4 + 3. Although the principal conclusions provided by Heath-Brown and Boklan are not available for smaller values of k, some of the underlying ideas are still applicable for k = 5, and the main objective of this article is to establish an asymptotic formula for R _5,17(n) by this strategy.