The Tjon-Wu equation in Banach space settings

The authors investigate the Tjon-Wu (TW) equation: (TW)

$\text{?u}\text{?t}\text{(t, x) + u(t, x) = ∫}{}_{\mathrm{x}}{}^{\mathrm{\infty }}\text{dy}\text{y}\text{∫}{}_0{}^{\mathrm{y}}\text{u(t, y ? z) u(t, z)dz, u(0, x) = u}{}_0\text{(x)}$

, which has been obtained from a classical Boltzmann equation by applying the Abel transform. (TW) is considered as an ordinary differential equation first in the space L²={u:[0,∞)→R|∫_x^∞|u(x)|²e^xdx < + ∞}The authors establish existence and uniqueness of solutions in disks of codimension 2 around 0 and around e^?x. Asymptotic stability of these latter functions is also established. The basic tool is an unusual eigenvalue property of the nonlinear right-hand side of (TW) which leads to a reformulation of (TW) as a differential equation in l². Similar results are established in L¹ working with (TW) directly.     

Numerical solution of a nonlinear integro-differential equation

Galerkin's method with appropriate discretization in time is considered for approximating the solution of the nonlinear integro-differential equation $\text{u}{}_{\mathrm{t}}\text{(x, t) = ∝}{}_0{}^{\mathrm{t}}\text{a(t ? τ)}\text{?}\text{?x}\text{σ(u}{}_{\mathrm{x}}\text{(x, τ)) dτ + f(x, t)}$, 0 < x < 1, 0 < t < T.An error estimate in a suitable norm will be derived for the difference u ? u^h between the exact solution u and the approximant u^h. It turns out that the rate of convergence of u^h to u as h → 0 is optimal. This result was confirmed by the numerical experiments.     

Asymptotic behavior for an almost periodic,strongly dissipative wave equation

This paper deals with asymptotic behavior for (weak) solutions of the equation $\text{u}{}_{\mathrm{tt}}\text{? Δu + β(u}{}_{\mathrm{t}}\text{) ? ?(t, x)}$, on $\text{R}$⁺ × Ω; u(t, x) = 0, on $\text{R}$⁺ × ?Ω. If $\text{?∈L∞(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and β is coercive, we prove that the solutions are bounded in the energy space, under weaker assumptions than those used by G. Prouse in a previous work. If in addition $\text{?}{}_{\mathrm{t}}\text{∈S}{}^2\text{(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and ? is srongly almost-periodic, we prove for strongly monotone β that all solutions are asymptotically almost-periodic in the energy space. The assumptions made on β are much less restrictive than those made by G. Prouse: mainly, we allow β to be multivalued, and in the one-dimensional case β need not be defined everywhere.     

Some asymptotic boundary behavior of solutions of non-linear parabolic initial-boundary value problems

For parabolic initial boundary value problems various results such as $\text{lim}{}_{\mathrm{t\; \downarrow \; 0}}\text{{}\text{(}\text{?u}\text{t6x}\text{)(0, t)}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?x}\text{)(0, t)}}\text{= 1}$, where u satisfies $\text{?u}\text{?t}\text{= a(u)(}\text{?}{}^2\text{u}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u(x, 0) = 0, u(0, t) = |}{}_1\text{(t), 0 < t ? T, u(1, t) = |}{}_2\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{satisfies}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?t}\text{) = α(}\text{?}{}^2\text{u}{}_{\mathrm{\alpha }}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(x, 0) = 0, u}{}_{\mathrm{\alpha }}\text{(0, t) = |}{}_1\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(1, t) = |}{}_2\text{(t), 0 < t ? T,}\text{and}\text{α = a(0)}$, are demonstrated via the maximum principle and potential theoretic estimates.     

Series inversion of some convolution transforms

We study degeneration for ? → + 0 of the two-point boundary value problems

$\text{τ?}{}^{\mathrm{\pm }}\text{u := ?((au′)′ + bu′ + cu) ± xu′ ? κu = h, u(±1) = A ± B}$

, and convergence of the operators T_?⁺ and T_?^? on $\text{L}$²(?1, 1) connected with them, T_?^±u := τ_?^±u for all

$\text{u?D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{, D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ u″ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}, T}{}_0{}^{\mathrm{+}}\text{u: = xu′}$

for all

$\text{u?D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{), D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ xu′ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}}$

. Here ? is a small positive parameter, λ a complex “spectral” parameter; a, b and c are real $\text{b}$^∞-functions, a(x) ? γ > 0 for all x? [?1, 1] and h is a sufficiently smooth complex function. We prove that the limits of the eigenvalues of T_?⁺ and of T_?^? are the negative and nonpositive integers respectively by comparison of the general case to the special case in which a  1 and b  c  0 and in which we can compute the limits exactly. We show that (T_?⁺ ? λ)^?1 converges for ? → +0 strongly to (T₀⁺ ? λ)^?1 if $\text{R e λ > ?}\text{1}\text{2}$. In an analogous way, we define the operator T_?⁺, n (n ? $\text{N}$ in the Sobolev space H₀^?n(? 1, 1) as a restriction of τ_?⁺ and prove strong convergence of (T⁺_?,n ? λ)^?1 for ? → +0 in this space of distributions if $\text{R e λ > ?n ?}\text{1}\text{2}$. With aid of the maximum principle we infer from this that, if h?$\text{C}$¹, the solution of τ_?⁺u ? λu = h, u(±1) = A ± B converges for ? → +0 uniformly on [?1, ? ?] ∪ [?, 1] to the solution of xu′ ? λu = h, u(±1) = A ± B for each p > 0 and for each λ ? $\text{C}$ if ? ?$\text{N}$.Finally we prove by duality that the solution of τ_?^?u ? λu = h converges to a definite solution of the reduced equation uniformly on each compact subset of (?1, 0) ∪ (0, 1) if h is sufficiently smooth and if 1 ? ?$\text{N}$.     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

The Cauchy problem for a linear parabolic partial differential equation

Numerical approximation of the solution of the Cauchy problem for the linear parabolic partial differential equation is considered. The problem: (p(x)u_x)_x ? q(x)u = p(x)u_t, 0 < x < 1,0 < t? T; $\text{u(0, t) = ?}{}_1\text{(t), 0 < t ? T}$; $\text{u(1,t) = ?}{}_2\text{(t), 0 < t ? T}$; p(0) u_x(0, t) = g(t), 0 < t₀ ? t ? T, is ill-posed in the sense of Hadamard. Complex variable and Dirichlet series techniques are used to establish Hölder continuous dependence of the solution upon the data under the additional assumption of a known uniform bound for ¦ u(x, t)¦ when 0 ? x ? 1 and 0 ? t ? T. Numerical results are obtained for the problem where the data ?₁, ?₂ and g are known only approximately.     

Asymptotic properties of general symmetric hyperbolic systems

Results on partition of energy and on energy decay are derived for solutions of the Cauchy problem $\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0, u(0, x) = ?(x)}$. Here the A_j's are constant, k × k Hermitian matrices, x = (x₁,…, x_n), t represents time, and u = u(t, x) is a k-vector. It is shown that the energy of Mu approaches a limit $\text{E}{}_{\mathrm{M}}\text{(?)}\text{as}\text{¦ t ¦ → ∞}$, where M is an arbitrary matrix; that there exists a sufficiently large subspace of data ?, which is invariant under the solution group U₀(t) and such that $\text{U}{}_0\text{(t)? = 0}\text{for}\text{¦ x ¦ ? a ¦ t ¦ ? R, a}\text{and}\text{R}$ depending on ? and that the local energy of nonstatic solutions decays as $\text{¦ t ¦ → ∞}$. More refined results on energy decay are also given and the existence of wave operators is established, considering a perturbed equation $\text{E(x)}\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0,}\text{where}\text{¦ E(x) ? I ¦ = O(¦ x ¦}{}^{\mathrm{?1\; ?\; ?}}\text{)}$ at infinity.     

Asymptotic stability of some quasilinear parabolic equations in divergence form. L∞ results

In this paper we study the behavior of solutions of some quasilinear parabolic equations of the form

$\text{(}\text{?u}\text{?t}\text{) ?}\text{∑}\text{i=1}\text{n}\text{(}\text{d}\text{dx}{}_{\mathrm{i}}\text{) a}{}_{\mathrm{i}}\text{(x, t, u, u}{}_{\mathrm{x}}\text{) + a(x, t, u, u}{}_{\mathrm{x}}\text{)u + f(x, t) = O,}$

as t → ∞. In particular, the solutions of these equations will decay to zero as t → ∞ in the L^∞ norm.     

Uniqueness of solutions of nonlinear Dirichlet problems

In this paper, we consider the uniqueness of radial solutions of the nonlinear Dirichlet problem $\text{Δu + ?(u) = 0}\text{in}\text{Ω}\text{with}\text{u = 0}\text{on}\text{?Ω,}\text{where}\text{Δ = ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{?x}{}_{\mathrm{i}}{}^2\text{,?}$ satisfies some appropriate conditions and Ω is a bounded smooth domain in $\text{R}$ⁿ which possesses radial symmetry. Our uniqueness results apply to, for instance, $\text{?(u) = u}{}^{\mathrm{p}}\text{, p > 1}$, or more generally λu + ∑_{i = 1}^ka_iu^pi, λ ? 0, a_i > 0 and p_i > 1 with appropriate upper bounds, and Ω a ball or an annulus.     

Diffusion with interactions between two types of particles and Pressureless gas equations

We construct two d-dimensional independent diffusions $\text{X}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{=a+∫}{}_0{}^{\mathrm{t}}\text{u(X}{}_{\mathrm{s}}{}^{\mathrm{a}}\text{,s)}\text{d}\text{s+νB}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{,}\text{X}{}_{\mathrm{t}}{}^{\mathrm{b}}\text{=b+∫}{}_0{}^{\mathrm{t}}\text{u(X}{}_{\mathrm{s}}{}^{\mathrm{b}}\text{,s)}\text{d}\text{s+νB}{}_{\mathrm{t}}{}^{\mathrm{b}}$, with the same viscosity ν≠0 and the same drift u(x,t)=(pρ_t^a(x)v₁+(1?p)ρ_t^b(x)v₂)/(pρ_t^a(x)+(1?p)ρ_t^b(x)), where ρ_t^a,ρ_t^b are respectively the density of X_t^a and X_t^b. Here $\text{a,b,v}{}_1\text{,v}{}_2\text{∈}\text{R}{}^{\mathrm{d}}$ and p∈(0,1) are given. We show that $\text{(ρ}{}_{\mathrm{t}}\text{(x)=pρ}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{(x)+(1?p)ρ}{}_{\mathrm{t}}{}^{\mathrm{b}}\text{(x),u(x,t):}\text{t?0,}\text{x∈}\text{R}{}^{\mathrm{d}}\text{)}$ is the unique weak solution of the following pressureless gas system

such that $\text{ρ}{}_{\mathrm{t}}\text{(x)}\text{d}\text{x→pδ}{}_{\mathrm{a}}\text{+(1?p)δ}{}_{\mathrm{b}}\text{,}\text{u(x,t)ρ}{}_{\mathrm{t}}\text{(x)}\text{d}\text{x→pv}{}_1\text{δ}{}_{\mathrm{a}}\text{+(1?p)v}{}_2\text{δ}{}_{\mathrm{b}}$ as t→0+. To cite this article: A. Dermoune, S. Filali, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Series expansions of means

A mean M(u, v) is defined to be a homogeneous symmetric function of two positive real variables satisfying min(u, v) ? M(u, v) ? max(u, v) for all u and v. Setting M(u, v) = uM(1, vu^?1) = uM(1, 1 ? t), 0 ? t < 1, we determine power series expansions in t of various generalized means, including $\text{μ}{}_{\mathrm{p}}\text{(1, 1 ? t) = [}\text{1}\text{2}\text{+}\text{(1 ? t)}{}^{\mathrm{p}}\text{2}\text{]}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{, m}{}_{\mathrm{p}}\text{(u, v) = [}\text{(v}{}^{\mathrm{p\; +\; 1}}\text{? u}{}^{\mathrm{p\; +\; 1}}\text{)}\text{(v ? u)(p + 1)}\text{]}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}$ (Stolarsky's mean), $\text{M}{}_{\mathrm{p}}\text{(u, v) =}\text{(u}{}^{\mathrm{p}}\text{+ v}{}^{\mathrm{p}}\text{)}\text{(u}{}^{\mathrm{p?\; 1}}\text{+ v}{}^{\mathrm{p\; ?\; 1}}\text{)}$ (Lehmer's mean), $\text{E(r, s; u, v) = [}\text{r(u}{}^{\mathrm{s}}\text{? v}{}^{\mathrm{s}}\text{)}\text{s(u}{}^{\mathrm{r}}\text{? v}{}^{\mathrm{r}}\text{)}\text{]}{}^{\mathrm{<mtext>1</mtext><mtext>(s\; ?\; r)</mtext>}}$ (Leach and Sholander's mean), and $\text{G(r, s; u, v) = [}\text{(u}{}^{\mathrm{s}}\text{+ v}{}^{\mathrm{s}}\text{)}\text{(u}{}^{\mathrm{r}}\text{+ v}{}^{\mathrm{r}}\text{)}\text{]}{}^{\mathrm{<mtext>1</mtext><mtext>(s\; ?\; r)</mtext>}}$ (Gini's mean). The explicit power series coefficients and recurrence relations for these coefficients are found. Finally, applications are shown by proving a theorem that generalizes one due to Lehmer.     

On asymptotic solutions of the renewal equation

Consider the renewal equation in the form (¹) $\text{u(t) = g(t) + ∝}{}_{\mathrm{o}}{}^{\mathrm{t}}\text{u(t ? τ) ?(τ) dτ}$, where $\text{?(t)}$ is a probability density on [0, ∞) and lim_{t → ∞}g(t) = g₀. Asymptotic solutions of (¹) are given in the case when f(t) has no expectation, i.e., $\text{∝}{}_0{}^{\mathrm{\infty }}\text{t?(t)dt = ∞}$. These results complement the classical theorem of Feller under the assumption that f(t) possesses finite expectation.     

Lp estimates for the wave equation

Let u(x, t) be the solution of u_tt ? Δ_xu = 0 with initial conditions $\text{u(x, 0) = g(x)}\text{and}\text{u}{}_{\mathrm{t}}\text{(x, 0) = ?;(x)}$. Consider the linear operator $\text{T: ?; → u(x, t)}$. (Here g = 0.) We prove for t fixed the following result. Theorem 1: T is bounded in L^p if and only if . Theorem 2: If the coefficients are variables in C and constant outside of some compact set we get: (a) If n = 2k the result holds for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ < (n ? 1)}{}^{\mathrm{?1}}$. (b) If n = 2k ? 1, the result is valid for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ ? (n ? 1)}$. This result are sharp in the sense that for p such that $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ > (n ? 1)}{}^{\mathrm{?1}}$ we prove the existence of $\text{?; ? L}{}^{\mathrm{P}}$ in such a way that $\text{T?; ? L}{}^{\mathrm{P}}$. Several applications are given, one of them is to the study of the Klein-Gordon equation, the other to the completion of the study of the family of multipliers $\text{m(ξ) = ψ(ξ) e}{}^{\mathrm{i¦\xi ¦}}\text{¦ ξ ¦}{}^{\mathrm{?b}}$ and finally we get that the convolution against the kernel $\text{K(x) = ?(x)(1 ? ¦ x ¦)}{}^{\mathrm{?1}}$ is bounded in H¹.     

Spherically symmetric solutions of a reaction-diffusion equation

Two theorems are proved for the spherically symmetric solutions of the “bistable” reaction-diffusion equation $\text{u}{}_{\mathrm{t}}\text{= Δ}{}_{\mathrm{x}}\text{u + ?(u)}$, where ? is cubic-like and x ∈ Rⁿ. The first theorem says that, for a suitable class of initial data, there are only two types of asymptotic behavior, u(x, t) tends to an equilibrium solution as t → + ∞ or u(x, t) → 1 uniformly on compact sets. The second theorem says that in the latter case, if the solution is followed out along any ray, it approaches, in shape, the one-dimensional travelling wave.     

Periodic solutions of a quasilinear parabolic differential equation

This paper treats the quasilinear, parabolic boundary value problem $\text{u}{}_{\mathrm{xx}}\text{? u}{}_{\mathrm{t}}\text{= ??(x, t, u)}$u(0, t) = ?₁(t); u(l, t) = ?₂(t) on an infinite strip $\text{{(x, t) ¦ 0 < x < l, ?∞ < t < ∞}}$ with the functions $\text{?(x, t, u), ?}{}_1\text{(t), ?}{}_2\text{(t)}$ being periodic in t. The major theorem of the paper gives sufficient conditions on $\text{?(x, t, u)}$ for this problem to have a periodic solution u(x, t) which may be constructed by successive approximations with an integral operator. Some corollaries to this theorem offer more explicit conditions on $\text{?(x, t, u)}$ and indicate a method for determining the initial estimate at which the iteration may begin.     

Abstract Cauchy problems that involve a product of two Euler-Poisson-Darboux operators

Let X be a Banach space, let B be the generator of a continuous group in X, and let A = B². Assume that D(A^r) is dense in X for r an arbitrarily large positive integer and that a and b are non-negative reals. Solution representations are developed for the abstract differential equation

$\text{(D}{}^2{}_{\mathrm{t}}\text{+}\text{b}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) · (D}{}^2{}_{\mathrm{t}}\text{+}\text{a}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) u(t) = 0, t > 0}$

corresponding to initial conditions of the form: (i) u(0+) = φ, u^(j)(0+) = 0, j = 1, 2, 3 and (ii) u²(0+) = φ, u^j(0+) = 0, j = 0, 1, 3 (with φ∈D(A^r)) for all choices of a and b.     

Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

Uniform estimates for solutions of nonlinear Klein-Gordon equations

Uniform estimates in $\text{H}{}_0{}^1\text{(Ω)}$ of global solutions to nonlinear Klein-Gordon equations of the form $\text{u}{}_{\mathrm{tt}}\text{? Δu + mu = g(u)}\text{in}\text{Ω, u = 0}\text{in}\text{?Ω}$, where Ω is an open subset of $\text{R}$^N, m > 0, and g satisfies some growth conditions are established.