The Neumann problem in the half-spaceLe problème de Neumannn dans le demi-espace

We study here the nonhomogeneous Neumann problem in the half-space $\text{R}{}^{\mathrm{N}}{}_{\mathrm{+}}$ with N?2. We give in L^p theory, with 1<p<∞, a basic existence and regularity results in weighted Sobolev spaces. To cite this article: C. Amrouche, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 151–156.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

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.     

Méthode des sur et sous solutions pour la résolution d'un problème de type Neuman faisant intervenir le p-LaplacienSuper- and sub-solutions method for the existence of a solution to a Neuman problem involving the p-Laplacian

Let $\text{Ω}$ be a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$ ($\text{N∈}\text{N}{}^1$) and p be a real in ]1;N[. We present here a method for proving the existence of a solution to a Neuman problem involving the p-Laplacian. This one enables us to build a solution from a super- and a sub-solution to the problem. To cite this article: M. Motron, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 341–344.     

A regularity result for singular nonlinear elliptic systems in inverse-power weighted Sobolev spaces

The compactness method to weighted spaces is extended to prove the following theorem:Let H_2,s¹(B₁) be the weighted Sobolev space on the unit ball in Rⁿ with norm

$\text{6ν6}{}^1{}_{\mathrm{2,s}}\text{=}\text{∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|ν|}{}^2\text{dx + ∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|Dν|}{}^2\text{dx.}$

Let n ? 2 ? s < n. Let u? [H_2,s¹(B₁) ∩ L^∞(B₁)]^N be a solution of the nonlinear elliptic system

$\text{∫}{}_{\mathrm{B1}}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{i,j=1}\text{n}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{(x,u) D}{}^{\mathrm{i}}\text{u}{}_{\mathrm{h}}\text{D}{}^{\mathrm{j\psi }}{}_{\mathrm{K}}\text{dx=0}$

, $\text{∨}\text{ψ}\text{?}\text{¦C}{}_0{}^1\text{(B}{}_1\text{)¦}{}^{\mathrm{N}}\text{,}\text{where}\text{¦A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}\text{¦ ? L, A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}$ are uniformly continuous functions of their arguments and satisfy:

$\text{|η|}{}^2\text{=}\text{∑}\text{i=1}\text{n}\text{,}\text{∑}\text{j=1}\text{N}\text{|η}{}^{\mathrm{i}}{}_{\mathrm{j}}\text{|}{}^2\text{?}\text{∑}\text{i,j=1}\text{n}\text{,}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{h}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{k}}\text{,}\text{?η?R}{}^{\mathrm{Nn}}$

. Then there exists an R₁, 0 < R₁ < 1, and an α, 0 < α < 1, along with a set $\text{Ω ? B}{}_1$ such that (1) $\text{H}{}_{\mathrm{n\; ?\; 2}}\text{(Ω) = 0}$, (2) Ω does not contain the origin; Ω does not contain B_R1, (3) $\text{B}{}_1\text{? Ω}$ is open, (4) u is $\text{Lip}{}_{\mathrm{\alpha }}\text{(B}{}_1\text{? Ω)}$; u is Lip_αB_R1.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Approximation numbers of Sobolev imbeddings over unbounded domains

Let Ω ? $\text{R}$^N be an open set with $\text{dist}\text{(x, ?Ω) = O(¦ x ¦}{}^{\mathrm{?l}}\text{)}\text{for}\text{x ? Ω}$ and some l > 0 satisfying an additional regularity condition. We give asymptotic estimates for the approximation numbers α_n of Sobolev imbeddings

over these quasibounded domains Ω. Here

denotes the Sobolev space obtained by completing $\text{C}{}_0{}^{\mathrm{staggered\infty }}\text{(Ω)}$ under the usual Sobolev norm. We prove $\text{α}{}_{\mathrm{n}}\text{(I}{}_{\mathrm{p,q}}{}^{\mathrm{m}}\text{)}\text{\$}\text{?}\text{n}{}^{\mathrm{?\gamma }}$, where

. There are quasibounded domains of this type where γ is the exact order of decay, in the case p ? q under the additional assumption that either 1 ? p ? q ? 2 or 2 ? p ? q ? ∞. This generalizes the known results for bounded domains which correspond to l = ∞. Similar results are indicated for the Kolmogorov and Gelfand numbers of I_p,q^m. As an application we give the rate of growth of the eigenvalues of certain elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded domain of the above type.     

La valeur optimale des programmes entiersThe optimal value of integer programs

We present a formula for the optimal value f_c(y) of the integer program $\text{max}\text{{c′x∣x∈}\text{Ω}\text{(y)∩}\text{N}{}^{\mathrm{n}}\text{}}$ where $\text{Ω}\text{(y)}$ is the convex polyhedron $\text{{x∈}\text{R}{}^{\mathrm{n}}\text{∣Ax=y,}\text{x?0}}$. It is a consequence of Brion and Vergne's formula which evaluates the sum . As in linear programming, f_c(y) can be obtained by inspection of the reduced-costs at the vertices of the polyhedron. We also provide an explicit result that relates f_c(ty) and the optimal value of the associated continous linear program, for large values of $\text{t∈}\text{N}$. To cite this article: J.B. Lasserre, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 863–866.     

Sharp Sobolev type inequalities for higher fractional derivativesInégalités optimales de type Sobolev pour les dérivées fractionelles d'ordre supérieur

On $\text{R}{}^{\mathrm{n}}$, n?1 and n≠2, we prove the existence of a sharp constant for Sobolev inequalities with higher fractional derivatives. Let s be a positive real number. For n>2s and $\text{q=}\text{2n}\text{n?2s}$ any function $\text{f∈}\text{H}{}^{\mathrm{s}}\text{(}\text{R}{}^{\mathrm{n}}\text{)}$ satisfies

$\text{6f6}{}^2{}_{\mathrm{q}}\text{?S}{}_{\mathrm{n,s}}\text{(?Δ)}{}^{\mathrm{s/2}}\text{f}{}^2{}_2\text{,}$

where the operator (?Δ)^s in Fourier spaces is defined by $\text{(?Δ)}{}^{\mathrm{s}}\text{f}\text{(k):=(2π|k|)}{}^{\mathrm{2s}}\text{f}\text{(k)}$. To cite this article: A. Cotsiolis, N.C. Tavoularis, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 801–804.     

Doubly nonlinear parabolic equations with singular lower order term

In this paper we are concerned with positive solutions of the doubly nonlinear parabolic equation u_t=div(u^m−1|∇u|^p−2∇u)+Vu^m+p−2 in a cylinder $\text{Ω×(0,T)}$, with initial condition u(·,0)=u₀(·)⩾0 and vanishing on the parabolic boundary $\text{∂Ω×(0,T)}$. Here $\text{Ω⊂}\text{R}{}^{\mathrm{N}}$ (resp. $\text{H}{}^{\mathrm{n}}$) is a bounded domain with smooth boundary, $\text{V∈L}{}_{\mathrm{<mtext>loc</mtext>}}{}^1\text{(Ω)}$, $\text{m∈}\text{R}$, 1<p<N and m+p−2>0. The critical exponents $\text{q}{}^1$ are found and the nonexistence results are proved for $\text{q}{}^1\text{⩽m+p<3}$.     

Non existence de solutions globales de certaines équations d'ondes non linéairesNonexistence of global solutions to some nonlinear wave equations

We study the semilinear wave equation u_tt?Δu=p^?k|u|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$, where p is a conformal factor approaching 0 at infinity. We prove that the solutions blow-up in finite time for small powers m, while having an arbitrarily long life-span for large m. Furthermore, we study the finite time blow-up of solutions for the class of quasilinear wave equations u_tt?Δu=p^?k|Lu|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$. To cite this article: M. Aassila, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 961–966.     

Compact Sobolev imbeddings on finite measure spaces

We provide conditions on a finite measure μ on $\text{R}$ⁿ which insure that the imbeddings W^{k, p}($\text{R}$ⁿdμ)?L^p($\text{R}$ⁿdμ) are compact, where 1 ? p < ∞ and k is a positive integer. The conditions involve uniform decay of the measure μ for large ¦x¦ and are satisfied, for example, by $\text{dμ = e}{}^{\mathrm{?¦x¦\alpha }}\text{dx,}\text{where}\text{α > 1}$.     

A characterization of first order nonlinear partial differential operators on Sobolev spaces

Nonlinear partial differential operators $\text{G: W}{}^{\mathrm{1,p}}\text{(Ω) → L}{}^{\mathrm{q}}\text{(Ω) (1 ? p, q ∞)}$ having the form G(u) = g(u, D₁u,…, D_Nu), with g?C(R × R_N), are here shown to be precisely those operators which are local, (locally) uniformly continuous on, $\text{W}{}^{\mathrm{1,\infty }}\text{(Ω)}$, and (roughly speaking) translation invariant. It is also shown that all such partial differential operators are necessarily bounded and continuous with respect to the norm topologies of $\text{W}{}^{\mathrm{1,p}}\text{(Ω)}\text{and}\text{L}{}^{\mathrm{q}}\text{(Ω)}$.     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Approximation pour la distance de WassersteinApproximation for the Wasserstein distance

Let $\text{C}$ be a set of probability-measures and P a probability on $\text{R}{}^{\mathrm{d}}$. Under some conditions, we show that we have a solution to the approximation problem of P by $\text{C}\text{.}$ There exists a probability $\text{Q}{}_0\text{∈}\text{C}$, such that $\text{l(P,Q}{}_0\text{)?l(P,Q),}\text{?Q∈}\text{C}$ where l is the square of the Wasserstein distance. To cite this article: N. Belili, H. Heinich, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 537–540.     

On a Liouville-type comparison principle for solutions of quasilinear elliptic inequalities

We characterize in terms of monotonicity basic properties of quasilinear elliptic partial differential operators which make it possible to obtain a Liouville-type comparison principle for entire solutions of quasilinear elliptic partial differential inequalities of the form A(u)+|u|^q?1u?A(v)+|v|^q?1v, which belong only locally to the corresponding Sobolev spaces on $\text{R}{}^{\mathrm{n}}\text{,}\text{n?2}$. We establish that such properties are inherent for a wide class of quasilinear elliptic partial differential operators. Typical examples of such operators are the p-Laplacian and its well-known modifications for 1<p?2. To cite this article: V.V. Kurta, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Second-order optimality of randomized estimation and test procedures

Let P_{(Θ, τ)} 6 $\text{A}$, θ ∈ Θ ? $\text{R}$, τ ∈ T ? $\text{R}$^p denote a family of probability measures, where τ denotes the vector of nuisance parameters. Starting from randomized asymptotic maximum likelihood (as. m. l.) estimators for (θ, τ) we construct randomized estimators which are asymptotically median unbiased up to $\text{o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$ resp. test procedures which are as. similar of level $\text{α + o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$ (for testing θ = θ₀, τ ∈ T against one sided alternatives). The estimation procedures are second-order efficient in the class of estimators which are median unbiased up to $\text{o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$ and the test procedures are second-order efficient in the class of tests which are as. of level $\text{α + o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$. These results hold without any continuity condition on the family of probability measures.     

The virial theorem in relativistic quantum mechanics

For a class of potentials including the Coulomb potential q = μr^?1 with ¦ μ ¦ < 1 (1) (i.e., atomic numbers Z ? 137), the virial theorem $\text{(u, α ·}\text{p}\text{u) = (u, r(}\text{?q}\text{?r}\text{)u)}$ is shown to hold, u being an eigenfunction of the operator

$\text{Hu = TU : = (α ·}\text{p}\text{+ β + q)u}$

,

$\text{D(H) = {u ¦ u ∈ [H}{}_{\mathrm{loc}}{}^1\text{(}\text{R}\text{+}{}^3\text{)]}{}^4\text{, r}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{u, TU ∈ [L}{}^2\text{(R)}{}^3\text{]}{}^4\text{}}$

($\text{R}$₊³ := $\text{R}$?{0}). The result implies in particular that H with (1) does not have any eigenvalues embedded in the continuum. The proof uses a scale transformation.     

Frontière de Martin des marches aléatoires sur certains hypergroupes d-dimensionnelsMartin boundary of random walks on certain d-dimensional hypergroups

We give an integral representation formula for harmonic functions of Markov chains on $\text{N}{}^{\mathrm{d}}$ and $\text{R}{}_{\mathrm{+}}{}^{\mathrm{d}}$ which transition probability is invariant by translations of a hypergroup, product of polynomial hypergroups for $\text{N}{}^{\mathrm{d}}$ and product of Sturm–Liouville hypergroups for $\text{R}{}_{\mathrm{+}}{}^{\mathrm{d}}$. To cite this article: L. Godefroy, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 1029–1034.     

Random Euclidean embeddings in spaces of bounded volume ratio

Let $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$ be the space $\text{R}{}^{\mathrm{N}}$ equipped with a norm 6·6 whose unit ball has a bounded volume ratio with respect to the Euclidean unit ball. Let Γ be any random N×n matrix with N>n, whose entries are independent random variables satisfying some moment assumptions. We show that with high probability Γ is a good isomorphism from the n-dimensional Euclidean space $\text{(}\text{R}{}^{\mathrm{n}}\text{,|·|)}$ onto its image in $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$: there exist α,β>0 such that for all $\text{x∈}\text{R}{}^{\mathrm{n}}$, $\text{α}\text{N}\text{|x|?6Γx6?β}\text{N}\text{|x|}$. This solves a conjecture of Schechtman on random embeddings of ?₂ⁿ into ?₁^N. To cite this article: A. Litvak et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).