A global genericity theorem for bifurcations in variational problems

Let C be a Banach space, H a Hilbert space, and let F(C,H) be the space of C^∞ functions f: C × H → R having Fredholm second derivative with respect to x at each (c, x) ?C × H for which $\text{D?}{}_{\mathrm{c}}\text{(x) = 0}$; here we write $\text{?}{}_{\mathrm{c}}\text{(x)}$ for $\text{?(c, x)}$. Say ? is of standard type if at all critical points of ?_c it is locally equivalent (as an unfolding) to a quadratic form Q plus an elementary catastrophe on the kernel of Q. It is proved that if f?F (A × B, H) satisfies a certain ‘general position’ condition, and dim B ? 5, then for most a?A the function f_o?F(B,H) is of standard type. Using this it is shown that those f?F(B,H) of standard type form an open dense set in F(B,H) with the Whitney topology. Thus both results are Hilbert-space versions of Thom's theorem for catastrophes in $\text{R}$ⁿ.     

On linear integral operators with nonnegative kernels

Let K be an eventually compact linear integral operator on $\text{L}{}^{\mathrm{p}}\text{(Ω, μ), 1 ? p < ∞}$, with nonnegative kernel k(x, y), where the underlying measure μ is totally σ-finite on the domain set Ω when p = 1. In considering the equation λf = Kf + g for given nonnegative $\text{g ? L}{}^{\mathrm{p}}\text{(Ω, μ), λ > 0}$, P. Nelson, Jr. provided necessary and sufficient conditions, in terms of the support of g, such that a nonnegative solution $\text{f ? L}{}^{\mathrm{p}}\text{(Ω, μ)}$ was attained. Such conditions led to generalizing some of the graph-theoretic ideas associated with the normal form of a nonnegative reducible matrix. The purpose of this paper is to show that the analysis by Nelson can be enlarged to provide a more complete generalization of the normal form of a nonnegative matrix which can be used to characterize the distinguished eigenvalues of K and K¹, and to describe sets of support for the eigenfunctions and generalized eigenfunctions of both K and K¹ belonging to the spectral radius of K.     

On the square root of a positive B(X,X1)-valued function

Let (Ω, $\text{B}$, μ) be a measure space, $\text{X}$ a separable Banach space, and $\text{X}$¹ the space of all bounded conjugate linear functionals on $\text{X}$. Let f be a weak¹ summable positive B($\text{X, X}$¹)-valued function defined on Ω. The existence of a separable Hilbert space $\text{K}$, a weakly measurable B($\text{X, K}$)-valued function Q satisfying the relation $\text{Q}{}^1\text{(ω)Q(ω) = f(ω)}$ is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺($\text{X, X}$¹)-valued measures, the concepts of weak¹, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

Periodic-type functionals and their extensions

Let Ω denote a simply connected domain in the complex plane and let $\text{K[Ω]}$ be the collection of all entire functions of exponential type whose Laplace transforms are analytic on Ω′, the complement of Ω with respect to the sphere. Define a sequence of functionals $\text{{L}{}_{\mathrm{n}}\text{}}\text{on}\text{K[Ω]}$ by $\text{L}{}_{\mathrm{n}}\text{(f) =}\text{1}\text{2πi}\text{∝}{}_{\mathrm{\Gamma }}\text{g}{}_{\mathrm{n}}\text{(ζ) F(ζ) dζ}$, where F denotes the Laplace transform of f, Γ ? Ω is a simple closed contour chosen so that F is analytic outside and on Ω, and g_n is analytic on Ω. The specific functionals considered by this paper are patterned after the Lidstone functions, L_2n(f) = f⁽²ⁿ⁾(0) and L_{2n + 1}(f) = f⁽²ⁿ⁾(1), in that their sequence of generating functions {g_n} are “periodic.” Set g_{pn + k}(ζ) = h_k(ζ) ζ^pn, where p is a positive integer and each h_k (k = 0, 1,…, p ? 1) is analytic on Ω. We find necessary and sufficient conditions for $\text{f ∈ k[Ω]}\text{with}\text{L}{}_{\mathrm{n}}\text{(f) = 0 (n = 0, 1,…)}$. DeMar previously was able to find necessary conditions [7]. Next, we generalize {L_n} in several ways and find corresponding necessary and sufficient conditions.     

Sur l'équation divu=fOn the equation divu=f

The main result is the following. Let $\text{Ω}$ be a bounded Lipschitz domain in $\text{R}{}^{\mathrm{d}}$, d?2. Then for every $\text{f∈}\text{L}{}^{\mathrm{d}}\text{(Ω)}$ with ∫f=0, there exists a solution $\text{u∈}\text{C}{}^0\text{(}\text{Ω}\text{)∩}\text{W}{}^{\mathrm{1,d}}\text{(Ω)}$ of the equation divu=f in $\text{Ω}$, satisfying in addition u=0 on $\text{?Ω}$ and the estimate

where C depends only on $\text{Ω}$. However one cannot choose u depending linearly on f. To cite this article: J. Bourgain, H. Brezis, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 973–976.     

Calculation of the Shannon information

Let ($\text{Ω, β, μ}{}_{\mathrm{X}}$) and $\text{(?, F, μ}{}_{\mathrm{N}}\text{)}$ be probability spaces, with $\text{f: Ω × ? ? ?}\text{a}\text{β × F|F}$ measurable map. Define μ_XY on β × $\text{F}$ by μ_XY(A) = μ_X ? μ_N{(x, y): (x, f(x, y)) ?A}, and let μ_Y = (μ_X ? μ_N)^of^?1. An expression is determined for computing the Shannon information in the measure μ_XY. This expression is used to compute the information for the non-linear additive Gaussian channel, and can be used to solve the channel capacity problem.     

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.     

An abstract averaging theorem

For each t ? 0, let A(t) generate a contraction semigroup on a Banach space L. Suppose the solution of u_t = ?A(t)u is given by an evolution operator V_?(t, s). Conditions are given under which $\text{V}{}_{\mathrm{?}}\text{(}\text{(t+s)}\text{?}\text{,}\text{s}\text{?}\text{)}$ converges strongly as ? → 0 to a semigroup T(t) generated by the closure of $\text{A}\text{?}\text{f ≡}\text{lim}{}_{\mathrm{T\to \infty }}\text{(}\text{1}\text{T}\text{) ∝}{}_0{}^{\mathrm{T}}\text{A(t)f dt}$.This result is applied to the following situation: Let B generate a contraction group S(t) and the closure of ?A + B generate a contraction semigroup S_?(t). Conditions are given under which $\text{S(?}\text{t}\text{?}\text{) S}{}_{\mathrm{?}}\text{(}\text{t}\text{?}\text{)}$ converges strongly to a semigroup generated by the closure of $\text{A}\text{?}\text{f ≡}\text{lim}{}_{\mathrm{T\to \infty }}\text{(}\text{1}\text{T}\text{) ∝ S(?t) AS(t)f dt}$. This work was motivated by and generalizes a result of Pinsky and Ellis for the linearized Boltzmann Equation.     

The resolvent of a singularly perturbed elliptic operator

Let A and B be uniformly elliptic operators of orders 2m and 2n, respectively, m > n. We consider the Dirichlet problems for the equations (?^{2(m ? n)}A + B + λ²ⁿI)u_? = f and (B + λ²ⁿI)u = f in a bounded domain Ω in R^k with a smooth boundary ?Ω. The estimate is derived. This result extends the results of [7, 9, 10, 12, 14, 15, 18]by giving estimates up to the boundary, improving the rate of convergence in ?, using lower norms, and considering operators of higher order with variable coefficients. An application to a parabolic boundary value problem is given.     

Duality in hypercomplex function theory

Let $\text{A}$ be the Clifford algebra constructed over a quadratic n-dimensional real vector space with orthogonal basis {e₁,…, e_n}, and e₀ be the identity of $\text{A}$. Furthermore, let M_k(Ω;$\text{A}$) be the set of $\text{A}$-valued functions defined in an open subset Ω of R^m+1 (1 ? m ? n) which satisfy D^kf = 0 in Ω, where D is the generalized Cauchy-Riemann operator $\text{D = ∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{m}}\text{e}{}_{\mathrm{i}}\text{(}\text{?}\text{?x}{}_{\mathrm{i}}\text{)}$ and k? N. The aim of this paper is to characterize the dual and bidual of M_k(Ω;$\text{A}$). It is proved that, if M_k(Ω;$\text{A}$) is provided with the topology of uniform compact convergence, then its strong dual is topologically isomorphic to an inductive limit space of Fréchet modules, which in its turn admits M_k(Ω;$\text{A}$) as its dual. In this way, classical results about the spaces of holomorphic functions and analytic functionals are generalized.     

Analyticity and flows in von Neumann algebras

Let $\text{B}$ be a von Neumann algebra, let {α_t}_tεR be an ultraweakly continuous one-parameter group of ¹-automorphisms of $\text{B}$, and let $\text{U}$ be the set of all A such that for each ? in $\text{B}$₁, the function t → ?(α_t(A)) lies in H^∞($\text{R}$. Then $\text{U}$ is an ultraweakly closed subalgebra of $\text{B}$ containing the identity which is proper and non-self-adjoint if {α_t}_tεR is not trivial. In this paper, a systematic investigation into the structure theory of $\text{U}$ is begun. Two of the more note-worthy developments are these. First of all, conditions under which $\text{U}$ is a subdiagonal algebra in $\text{B}$, in the sense of Arveson, are determined. The analysis provides a common perspective from which to view a large number of hitherto unrelated algebras. Second, the invariant subspace structure of $\text{U}$ is determined and conditions under which $\text{U}$ is a reductive subalgebra of $\text{B}$ are found. These results are then used to produce examples where $\text{U}$ is a proper, non-self-adjoint, reductive subalgebra of $\text{B}$. The examples do not answer the reductive algebra question, however, because although ultraweakly closed, the subalgebras are weakly dense in $\text{B}$.     

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.     

A characterization of certain weak1-closed subalgebras of L∞

Let $\text{R}$ denote the real line and L^∞(R), the class of all Borel measurable L^∞-functions of $\text{R}$. Let S ≠ {0} or φ, be a linear subspace of L^∞(R) which is (i) translation invariant, (ii) weak¹-closed, (iii) self-adjoint, i.e., f?S implies f?S, and (iv) an algebra. Then either (a) S = all constant functions in L^∞; or (b) S = L^∞; or (c) there is a unique c > 0 such that S consists of all L^∞-functions which are periodic of period c.Extension of the above characterization of periodic subalgebras of L^∞ to LCA groups are presented. Also it is shown that the above characterization is in various ways best possible.     

On density of interpolation points,a Kadec-type theorem,and Saff's principle of contamination inL p-approximation

Letf ∈L _p (I) and denote byB _n,p (f) the polynomial of bestL _p-approximation tof of degreen (1<p<∞,I=[?1,1], the norm is weightedL _p-norm with an arbitrary positive weight). Extending a result proved by Saff and Shekhtman forp=2 we show that for every 1<p<∞ andf ∈L _p (I) (not a polynomial) points of sign change of the error functionf-B _n,p (f) are dense inI asn→∞.     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

NP-completeness for minimizing maximum edge length in grid embeddings

Given an embedding f: G →$\text{Z}$² of a graph G in the two-dimensional lattice, let |f| be the maximum L₁ distance between points f(x) and f(y) where xy is an edge of G. Let B₂(G) be the minimum |f| over all embeddings f. It is shown that the determination of B₂(G) for arbitrary G is NP-complete. Essentially the same proof can be used in showing the NP-completeness of minimizing |f| over all embeddings f: G → $\text{Z}$ⁿ of G into the n-dimensional integer lattice for any fixed n ≥ 2.     

Positive solutions of nonlinear elliptic boundary value problems

This paper considers the problem of finding positive vector-valued solutions U of the nonlinear elliptic boundary value problem L(U) + f(x, U) = 0 on a bounded region Ω, $\text{U +}\text{?U}\text{?v}\text{= 0}$ on ?Ω. The operator L is uniformly elliptic and in divergence form, and f is, roughly speaking, superlinear; by the positivity of U is meant the positivity of each component of U on Ω. Under certain growth conditions on f and some further technical assumptions, the existence of a positive solution is proved, an a priori bound on all positive solutions is obtained, and a certain fixed point index is proved equal to ? 1. As an example, information about fixed point indices is used to allow perturbations of the form ?h(x, U, DU). In the final section, an essentially best possible theorem is given for Ω a ball and for radially symmetric solutions of the Laplacian with Dirichlet boundary conditions.     

Asymptotics for the blow-up boundary solution of the logistic equation with absorption

Let $\text{Ω}$ be a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$. Assume that f?0 is a C¹-function on [0,∞) such that f(u)/u is increasing on (0,+∞). Let a be a real number and let b?0, b?0 be a continuous function such that b≡0 on $\text{?Ω}$. The purpose of this Note is to establish the asymptotic behaviour of the unique positive solution of the logistic problem Δu+au=b(x)f(u) in $\text{Ω}$, subject to the singular boundary condition u(x)→+∞ as $\text{dist}\text{(x,?Ω)→0}$. Our analysis is based on the Karamata regular variation theory. To cite this article: F.-C. Cîrstea, V. R?dulescu, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Existence and uniqueness results for nonlinear elliptic problems with a lower order term and measure datumExistence et unicité de solutions renormalisées d'équations elliptiques non linéaires avec des termes d'ordre inférieur et données mesures

In this Note we consider a class of noncoercive nonlinear problems whose prototype is

$\text{?△}{}_{\mathrm{p}}\text{u+b(x)|?u|}{}^{\mathrm{\lambda }}\text{=μ}\text{in}\text{Ω,}\text{u=0}\text{on}\text{?Ω,}$

where $\text{Ω}$ is a bounded open subset of $\text{R}{}^{\mathrm{N}}$ (N?2), △_p is the so called p-Laplace operator (1<p<N) or a variant of it, μ is a Radon measure with bounded variation on $\text{Ω}$ or a function in $\text{L}{}^1\text{(Ω)}$, λ?0 and b belongs to the Lorentz space $\text{L}{}^{\mathrm{N,1}}\text{(Ω)}$ or to the Lebesgue space $\text{L}{}^{\mathrm{\infty }}\text{(Ω)}$. We prove existence and uniqueness of renormalized solutions. To cite this article: M.F. Betta et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 757–762.