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}$.     

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.     

General logarithmic Sobolev inequalities and Orlicz imbeddings

We obtain, for a large class of measures μ, general inequalities of the form $\text{∫R}{}^{\mathrm{n}}\text{|u|}{}^{\mathrm{p}}\text{A(}\text{log}{}^1\text{|u|) dμ ? K(6u : W}{}^{\mathrm{m,p}}\text{(R}{}^{\mathrm{n}}\text{,dμ)6}{}^{\mathrm{p}}\text{+ 6 u 6}{}^{\mathrm{p}}\text{A(}\text{log}{}^1\text{6 u 6))}$, where $\text{6u6 = 6 u: L}{}^{\mathrm{p}}\text{(R}{}^{\mathrm{n}}\text{,dμ)6}{}^{\mathrm{p}}\text{,}\text{log}{}^1\text{t =}\text{max}\text{{1,}\text{log}\text{t}}$, and the function A depends in an appropriate way on μ. Our results extend similar results obtained by Rosen for the case p = 2, A(t) = t^s. We also investigate some implications of these inequalities for the imbedding of Sobolev spaces into Orlicz spaces.     

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¹.     

On the probability that k positive integers are relatively prime II

Given a set S of positive integers let $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t)}$ denote the number of k-tuples 〈m₁, …, m_k〉 for which $\text{m}{}_{\mathrm{i}}\text{∈ S ? [1, t]}$ and (m₁, …, m_k) = 1. Also let $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n)}$ denote the probability that k integers, chosen at random from $\text{S ? [1, n]}$, are relatively prime. It is shown that if P = {p₁, …, p_r} is a finite set of primes and S = {m : (m, p₁ … p_r) = 1}, then $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t) = (td(S))}{}^{\mathrm{k}}\text{Π}{}_{\mathrm{\nu ?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) + O(t}{}^{\mathrm{k?1}}\text{)}$ if k ≥ 3 and $\text{Z}{}_2{}^{\mathrm{S}}\text{(t) = (td(S))}{}^2\text{Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^2\text{) + O(t}\text{log}\text{t)}$ where d(S) denotes the natural density of S. From this result it follows immediately that $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) = (ζ(k))}{}^{\mathrm{?1}}\text{Π}{}_{\mathrm{p\in P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{)}{}^{\mathrm{?1}}$ as n → ∞. This result generalizes an earlier result of the author's where $\text{P = ?}$ and S is then the whole set of positive integers. It is also shown that if S = {p₁^x₁ … p_r^x_r : x_i = 0, 1, 2,…}, then $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → 0}$ as n → ∞.     

Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.     

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.     

Maximum zero strings of Bell numbers modulo primes

For any prime p, the sequence of Bell exponential numbers B_n is shown to have p ? 1 consecutive values congruent to zero (mod p), beginning with B_m, where $\text{m ≡ 1 ?}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}{}^2$ ($\text{mod}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}$). This is an improvement over previous results on the maximal strings of zero residues of the Bell numbers. Similar results are obtained for the sequence of generalized Bell numbers A_n generated by .     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

Critical exponents for the Pucci's extremal operatorsLes exposants critiques pour l'opérateur extrémal de Pucci

In this Note we present some results on the existence of radially symmetric solutions for the nonlinear elliptic equation

(1)$\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}\text{(D}{}^2\text{u)+u}{}^{\mathrm{p}}\text{=0,u?0}\text{in}\text{R}{}^{\mathrm{N}}\text{.}$

Here N?3, p>1 and $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}$ denotes the Pucci's extremal operators with parameters 0<λ?Λ. The goal is to describe the solution set as function of the parameter p. We find critical exponents $\text{1<p}{}^{\mathrm{s}}{}_{\mathrm{+}}\text{<p}{}^1{}_{\mathrm{+}}\text{<p}{}^{\mathrm{p}}{}_{\mathrm{+}}$, that satisfy: (i) If $\text{1<p<p}{}^1{}_{\mathrm{+}}$ then there is no nontrivial solution of ($\text{1}$). (ii) If $\text{p=p}{}^1{}_{\mathrm{+}}$ then there is a unique fast decaying solution of ($\text{1}$). (iii) If $\text{p}{}^1\text{<p?p}{}^{\mathrm{p}}{}_{\mathrm{+}}$ then there is a unique pseudo-slow decaying solution to ($\text{1}$). (iv) If p^p₊<p then there is a unique slow decaying solution to ($\text{1}$). Similar results are obtained for the operator $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{?}}$. To cite this article: P.L. Felmer, A. Quaas, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 909–914.     

On the number of zeros of diagonal cubic forms

Let M_s, be the number of solutions of the equation

$\text{X}{}_1{}^3\text{+ X}{}_2{}^3\text{+ … + X}{}_{\mathrm{s}}{}^3\text{=0}$

in the finite field GF(p). For a prime p ≡ 1(mod 3),

$\text{∑}\text{s=1}\text{∞}\text{M}{}_{\mathrm{s}}\text{X}{}^{\mathrm{s}}\text{=}\text{x}\text{1 ? px}\text{+}\text{x}{}^2\text{(p ? 1)(2 + dx)}\text{1 ? 3px}{}^2\text{? pdx}{}^3$

,

$\text{M}{}_3\text{= p}{}^2\text{+ d(p ? 1)}$

, and

$\text{M}{}_4\text{= p}{}^2\text{+ 6(p}{}^2\text{? p)}$

. Here d is uniquely determined by

$\text{4}{}_{\mathrm{p}}\text{= d}{}^2\text{+ 27b}{}^2\text{and}\text{d ≡ 1(}\text{mod}\text{3)}$

.     

A continuation method for solving separable nonlinear least squares problems

Given the data (x_i, y_i), i=1, 2, …, n, the problem is to find the values of the linear and nonlinear parameters â and b? which minimize the nonlinear functional |F(b)a?y|₂² over $\text{a ?}\text{R}{}^{\mathrm{p}}\text{, b ?}\text{R}{}^{\mathrm{q}}\text{,}\text{where}\text{F ?}\text{R}{}^{\mathrm{n\times p}}$ is a variable matrix and assumed to be of full rank, and $\text{y ?}\text{R}{}^{\mathrm{n}}$ is a constant vector.In this paper, we present a method for solving this problem by imbedding it into a one-parameter family of problems and by following its solution path using a predictor-corrector algorithm. In the course of iterations, the original problem containing p+q+1 variables is transformed into a problem with q+1 nonlinear variables by taking the separable structure of the problem into account. By doing so, the method reduces to solving a series of equations of smaller size and a considerable saving in the storage is obtained.Results of numerical experiments are reported to demonstrate the effectiveness of the proposed method.     

On an estimate for Bloch and Doob norm and covering problem in Doob's class

For any fixed 0 < π ? 2π, let D(π) be the family of all holomorphic functions in the unit disk Δ which satisfy (i)f(0) = 0 and (ii) $\text{lim inf}{}_{\mathrm{z\; \to \; \pi ¦f(z)¦\; ?\; 1}}$, for all π lying on some arc A_f ? ?Δ with arclength $\text{¦A}{}_{\mathrm{f}}\text{¦ ? π}$. We show that for each 0 < ε < 1, there is a π₀ > 0 such that for any f?D(π) with π < π₀, the Bloch and Doob norm respectively satisfy

$\text{6f6}{}_{\mathrm{B}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|}{}^2\text{) > 2(1 ? ε)}\text{log}\text{1+}\text{cos}\text{(}\text{p}\text{2}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

$\text{6f6}{}_{\mathrm{D}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|) > (1 ? ε)}\text{log}\text{1}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

These two estimates do not hold with ε = 0.     

Wr,p(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension $\text{F}{}_1$ of a function $\text{?:E → R}$ (i.e., the H^r,p-spline with knots in E) and studies the cone $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ of all such splines. We study the problem of determining when $\text{F}{}_1$ is in W^r,p ≡ H^r,p ∩ L^p. If $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$, then $\text{F}{}_1$ is called a W^r,p-spline, and we denote by $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ the cone of all such splines. If E is quasiuniform, then $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$ if and only if . The cone $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ with E quasiuniform is shown to be homeomorphic to l^p. Similarly, $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size $\text{¦ E ¦}$ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of $\text{¦ E ¦}$ are derived.     

Concavity of certain maps on positive definite matrices and applications to Hadamard products

If f is a positive function on (0, ∞) which is monotone of order n for every n in the sense of Löwner and if Φ₁ and Φ₂ are concave maps among positive definite matrices, then the following map involving tensor products:

$\text{(A,B)?f[Φ}{}_1\text{(A)}{}^{\mathrm{?1}}\text{?Φ}{}_2\text{(B)]·(Φ}{}_1\text{(A)?I)}$

is proved to be concave. If Φ₁ is affine, it is proved without use of positivity that the map

$\text{(A,B)?f[Φ}{}_1\text{(A)?Φ}{}_2\text{(B)}{}^{\mathrm{?1}}\text{]·(Φ}{}_1\text{(A)?I)}$

is convex. These yield the concavity of the map

$\text{(A,B)?A}{}^{\mathrm{1?p}}\text{?B}{}^{\mathrm{p}}$

(0<p?1) (Lieb's theorem) and the convexity of the map

$\text{(A,B)?A}{}^{\mathrm{1+p}}\text{?B}{}^{\mathrm{?p}}$

(0<p?1), as well as the convexity of the map

$\text{(A,B)?(A·log[A])?I?A?log[B]}$

.These concavity and convexity theorems are then applied to obtain unusual estimates, from above and below, for Hadamard products of positive definite matrices.     

On a semilinear wave equation: The Cauchy problem and the asymptotic behavior of solutions

The semilinear wave equation

$\text{□u + m}{}^2\text{u + ¦u¦}{}^{\mathrm{p\; ?\; 2}}\text{u(V1 ¦u¦}{}^{\mathrm{p}}\text{) = 0}$

in $\text{Ω= R}{}^3\text{, ?∞ < t < ∞}$, is studied where □ denotes the d'Alembertian operator and 1 means spatial convolution. Under mild assumptions on the real-valued function V and 2 ? p ? 3 the well-posedness of the Cauchy problem is proved. Furthermore, some properties of the solutions of the equation are analyzed such as the asymptotic behavior of local energy as $\text{¦t¦ → + ∞}$ in the case of zero mass. Our results extend that of Perla Menzala and Strauss, where case p = 2 was studied.     

An application of rosenthal's moment inequality to the strong law of large numbers

We apply a moment inequality of H.P. Rosenthal to get various generalizations of a theorem of Brunk-Chung-Prohoroff. In particular, we show that the strong law hols provided $\text{∑}\text{n=1}\text{∞}\text{n}{}^{\mathrm{?2p}}\text{E(X}{}_{\mathrm{n}}\text{}{}^{\mathrm{2p}}\text{) < ∞}$ and $\text{∑}\text{n=1}\text{∞}\text{n}{}^{\mathrm{?2?p}}\text{(E(}\text{X}\text{n}\text{2}\text{))}{}^{\mathrm{p}}\text{< ∞}$ for one p ? 1.     

A sharp inequality for Sobolev functionsUne inégalité dans un espace de Sobolev

Let N?5, a>0, $\text{Ω}$ be a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$, $\text{2}{}^1\text{=}\text{2N}\text{N?2}$, $\text{2}{}^{\mathrm{\#}}\text{=}\text{2(N?1)}\text{N?2}$ and 6u6²=|?u|₂²+a|u|₂². We prove there exists an α₀>0 such that, for all $\text{u∈}\text{H}{}^1\text{(Ω)?{0}}$,

This inequality implies Cherrier's inequality. To cite this article: P.M. Girão, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 105–108