An Lp bound for the Riesz and Bessel potentials of orthonormal functions

Let ψ₁, …,ψ_N be orthonormal functions in $\text{R}$^d and let $\text{u}{}_{\mathrm{i}}\text{= (?Δ)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, or $\text{u}{}_{\mathrm{i}}\text{= (?Δ + 1)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, and let $\text{p(x) = ∑¦u}{}_{\mathrm{i}}\text{(x)¦}{}^2$. L^p bounds are proved for p, an example being $\text{∥p∥}{}_{\mathrm{p}}\text{? A}{}_{\mathrm{d}}\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{for}\text{d ? 3}$, with p = d(d ? 2)^?1. The unusual feature of these bounds is that the orthogonality of the ψ_i, yields a factor $\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}$ instead of N, as would be the case without orthogonality. These bounds prove some conjectures of Battle and Federbush (a Phase Cell Cluster Expansion for Euclidean Field Theories, I, 1982, preprint) and of Conlon (Comm. Math. Phys., in press).     

On the continuity of the map ϑ → ¦ϑ¦ from the predual of a W1-algebra

Let ?, ψ be elements in the predual of a W¹-algebra. For their absolute value parts ¦?¦, ¦ψ¦, the estimate $\text{∥¦?¦ ? ¦ψ¦∥ ? (2 ∥? + ψ∥ ∥? ? ψ∥)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is obtained.     

An inequality involving permanents of certain direct products

Let A denote a decomposable symmetric complex valued n-linear function on C^m. We prove

$\text{6A·A6}{}^2\text{?2}{}^{\mathrm{n}}\text{2n}\text{n}{}^{\mathrm{?1}}\text{6A?A6}{}^2$

, where · denotes the symmetric product and ? the tensor product. As a consequence we have per

$\text{M}\text{M}\text{M}\text{M}\text{?2}{}^{\mathrm{n}}\text{[per(M)]}{}^2$

, where M is a positive semidefinite Hermitian matrix and per denotes the permanent function. A sufficient condition for equality in the matrix inequality is that M is a nonnegative diagonal matrix.     

Subproper splitting for rectangular matrices

In this paper iterative schemes for approximating a solution to a rectangular but consistent linear system Ax = b are studied. Let A?C^{m × n}_r. The splitting A = M ? N is called subproper if R(A) ? R(M) and $\text{R(A}{}^1\text{) ?R(M}{}^1\text{)}$. Consider the iteration $\text{x}{}_{\mathrm{i}}\text{= M}{}^2\text{Nx}{}_{\mathrm{i}}{}_{\mathrm{?1}}\text{+ M}{}^2\text{b}$. We characterize the convergence of this scheme to a solution of the linear system. When A?R^m×ⁿ_r, monotonicity and the concept of subproper regular splitting are used to determine a necessary and a sufficient condition for the scheme to converge to a solution.     

Temporal exponential decay for the Stark effect in atoms

Let $\text{H}{}_1\text{= ?∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{(Δ}{}_{\mathrm{i}}\text{+ V(}\text{x}{}_{\mathrm{i}}\text{)) + ∑}{}_{\mathrm{1\; ?\; i\; <j\; ?\; N}}\text{¦}\text{x}{}_{\mathrm{i}}\text{?}\text{x}{}_{\mathrm{j}}\text{¦}{}^{\mathrm{?1}}\text{, V(}\text{x}{}_{\mathrm{i}}\text{) = N ∝ ¦}\text{x}\text{?}\text{y}\text{¦}{}^{\mathrm{?1}}\text{?(}\text{y}\text{)d}\text{y}$, with ? a normalized Gaussian. Suppose $\text{E}$ ≠ 0 and that $\text{H = H}{}_1\text{+}\text{E}\text{· (∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{x}{}_{\mathrm{i}}\text{)}$ has no eigenfunctions in L²($\text{R}$^3N. If H₁ψ = μψ with μ < infσ_ess(H₁), then (ψ, e^?itHψ) decays exponentially at a rate governed by the positions of the resonances of H.     

Canonical forms for linear systems

This paper considers canonical forms for the similarity action of Gl(n) on $\text{∑}{}_{\mathrm{n,m}}\text{={(A,B)∈}\text{C}{}^{\mathrm{n}}\text{·}{}^{\mathrm{n}}\text{×}\text{C}{}^{\mathrm{n}}\text{·}{}^{\mathrm{m}}\text{}}$:

$\text{Gl(n×∑}{}_{\mathrm{n,m}}\text{→∑}{}_{\mathrm{n,m}}$

,

$\text{(H,(A,B))?(HAH}{}^{-1}\text{,HB)}$

Those canonical forms are obtained as an application of a more general method to select canonical elements M_c in the orbits $\text{O}{}_{\mathrm{M}}$ of a matrix group G acting on a set of matrices $\text{M}\text{?}\text{C}{}^{\mathrm{l}}\text{·}{}^{\mathrm{p}}$. We define a total order (?) on $\text{C}{}^{\mathrm{l}}\text{·}{}^{\mathrm{p}}$, different from the lexicographic order ^l? [0^l?x ? x <0, but $\text{0?x≠0 for x∈}\text{R}\text{]}$ and consider normalized $\text{O}{}_{\mathrm{M}}$-elements with a minimal number of parameters:

$\text{min{}\text{M}\text{?}\text{∈}\text{O}{}_{\mathrm{M}}\text{:}\text{M}\text{?}\text{normalized}}$

It is shown that the row and column echelon forms, the Jordan canonical form, and “nice” control canonical forms for reachable (A,B)-pairs have a homogeneous interpretation as such (?)-minimal orbit elements. Moreover new canonical forms for the general action (?) are determined via this method.     

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

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

An algorithm for the electromagnetic scattering due to an axially symmetric body with an impedance boundary condition

Let B be a body in R³ and let S denote the boundary of B. The surface S is described by $\text{S = {(x, y, z): (x}{}^2\text{+ y}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{= f(z), ?1 ? z ? 1}}$, where f is an analytic function that is real and positive on (?1, 1) and f(±1) = 0. An algorithm is described for computing the scattered field due to a plane wave incident field, under Leontovich boundary conditions. The Galerkin method of solution used here leads to a block diagonal matrix involving 2M + 1 blocks, each block being of order 2(2N + 1). If, e.g., N = O(M²), the computed scattered field is accurate to within an error bounded by $\text{Ce}{}^{\mathrm{<mtext>?cN</mtext><mtext>1</mtext><mtext>2</mtext>}}$, where C and c are positive constants depending only on f.     

A note on a problem of Erdös and Hajnal

In [5], Erdös and Hajnal formulate the following proposition, which we shall refer to as Φ: If ? is an order-type such that $\text{|?| = ω}{}_2\text{but}\text{ω}{}_2\text{, ω}{}_2{}^1\text{? ?}$, there is ψ ? ?, |ψ| = ω₁, such that $\text{ω}{}_1\text{, ω}{}_1{}^1\text{? ψ}$. In [2], we showed that if V = L, then ?Φ. We do not know if the assumption V = L can be weakened to CH, or if, in fact, Φ is consistent with CH. However, in this note we show that, relative to a certain large cardinal assumption, Φ is consistent with 2^ω = ω₂, so that ?Φ is not provable in ZFC alone. Our proof has an interesting model-theoretic consequence, which we mention at the end.     

Compositions of singular integral operators

The composition of two Calderón-Zygmund singular integral operators is given explicitly in terms of the kernels of the operators. For φ?L¹(Rⁿ) and ε = 0 or 1 and ∝ φ = 0 if ε = 0, let Ker(φ) be the unique function on R^{n + 1} homogeneous of degree ?n ? 1 of parity ε that equals φ on the hypersurface x₀ = 1. Let Sing(φ, ε) denote the singular integral operator , which exists under suitable growth conditions on ? and φ. Then Sing(φ, ε₁) Sing(ψ, ε₂)f = ?2π²(∝ φ)(∝ ψ)f + Sing(A, ε₁, + ε₂)f, where

(with notation $\text{¦t¦}{}_0{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{and}\text{¦t¦}{}_1{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{sgn}\text{t}$). This result is used to show that the mapping ψ → A is a classical pseudo-differential operator of order zero if φ is smooth, with top-order symbol

$\text{ω}{}_0\text{(x,?)=?πiθ(?)∫θ(x?y)}\text{sgn}\text{y·?dy}\text{if}\text{?}{}_1\text{=1}$

,

$\text{=?2θ(?)∫θ(x?y)}\text{log}\text{|y·?|dy}\text{if}\text{?}{}_1\text{=0}$

where θ(ξ) is a cut-off function. These results are generalized to singular integrals with mixed homogeneity.     

Measure algebras associated with a second order differential operator

Let $\text{L =}\text{d}{}^2\text{dx}{}^2\text{? q(x)}$ be a Sturm-Liouville operator acting on functions defined on R. The authors have recently shown how to construct commutative associative algebras of distributions of compact support for which L is a centralizer (in the sense that $\text{L(f 1 g) = (Lf) 1 g}$ for distributions f, g of compact support) when q is locally bounded. Here, it is assumed either that q is bounded and $\text{x → (1 + ¦ x ¦) q(x)}$ is integrable, or that q is of bounded variation. A function ψ is then found such that $\text{M}$ψ={μ : μ is a measure on R and | μ |(ψ) < & infin;} becomes a Banach algebra containing the algebra of measures of compact support. The representation theory of $\text{M}$_ψ is discussed and conditions for its semisimplicity are obtained.     

Loeb-measurable solutions to 1finite games

Let ¹M be a denumerately comprehensive enlargement of a set-theoretic structure sufficient to model R. If F is an internal ¹finite subset of ¹N such that $\text{F = {1,…,γ}, γ?}{}^1\text{N?N}$, we define a class of ¹finite cooperative games having the form $\text{Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν) = 〈F,A(F),}{}^1\text{ν〉}$, where A(F) is the internal algebra of the internal subsets of F, and ${}^1\text{ν}$ is a set-function with $\text{Dom}{}^1\text{ν=A(F)}$, $\text{Rng}{}^1\text{ν =}{}^1\text{R}{}_{\mathrm{+}}$, and ${}^1\text{ν(Ø) = 0}$. If $\text{SI(}{}^1\text{ν)}$ is the space of S-imputations of a game Γ_F(¹ν) such that ${}^1\text{ν(F)<η}$, for some $\text{η?}{}^1\text{N}$, then we prove that $\text{SI(}{}^1\text{ν)}$ contains two nonempty subsets: $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$, termed the quasi-kernel and S-bargaining set, respectively. Both $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ are external solution concepts for games of the form Γ_F (¹ν) and are defined in terms of predicates that are approximate in infinitesimal terms. Furthermore, if L(Θ) is the Loeb space generated by the ¹finitely additive measure space 〈F, A(F), U_F〉, and if a game Γ_F(¹ν) has a nonatomic representation $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ on L(Θ) with respect to S-bounded transformations, then the standard part of any element in $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ is Loeb-measurable and belongs to the quasi-kernel of $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ defined in standard terms.     

The Dirichlet problem for the Kohn Laplacian on the Heisenberg group,II

Let L = ∑_{j = 1}^mX_j² be sum of squares of vector fields in $\text{R}$ⁿ satisfying a Hörmander condition of order 2: span{X_j, [X_i, X_j]} is the full tangent space at each point. A point x??D of a smooth domain D is characteristic if X₁,…, X_m are all tangent to ?D at x. We prove sharp estimates in non-isotropic Lipschitz classes for the Dirichlet problem near (generic) isolated characteristic points in two special cases: (a) The Grushin operator $\text{?}{}^2\text{?x}{}^2\text{+ x}{}^2\text{?}{}^2\text{?t}{}^2$ in $\text{R}$². (b) The real part of the Kohn Laplacian on the Heisenberg group $\text{∑}{}_{\mathrm{j\; ?\; 1}}{}^{\mathrm{n}}\text{(}\text{?}\text{?x}{}_{\mathrm{j}}\text{+ 2y}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2\text{+ (}\text{?}\text{?y}{}_{\mathrm{j}}\text{? 2x}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2$ in $\text{R}$^{2n + 1}. In contrast to non-characteristic points, C^∞ regularity may fail at a characteristic point. The precise order of regularity depends on the shape of ?D at x.     

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.     

Minimax estimators for a multinormal precision matrix

Let S_p×p ～ Wishart (Σ, k), Σ unknown, k > p + 1. Minimax estimators of Σ^?1 are given for L₁, an Empirical Bayes loss function; and L₂, a standard loss function (R_i ≡ E(L_i ∣ Σ), i = 1, 2). The estimators are $\text{Σ}\text{?}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+}\text{br}\text{(S)I}{}_{\mathrm{p\times p}}$, a, b ≥ 0, r(·) a functional on $\text{R}{}^{\mathrm{<mtext>p(p+2)</mtext><mtext>2</mtext>}}$. Stein, Efron, and Morris studied the special cases $\text{Σ}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{(E}\text{Σ}\text{?}{}_{\mathrm{<mtext>k?p?1</mtext>}}{}^{\mathrm{?1}}\text{= Σ}{}^{\mathrm{?1}}\text{)}$ and $\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+ (b/tr S)I}$, for certain, a, b. From their work $\text{R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤ R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, a = k ? p ? 1, b = p² + p ? 2; whereas, we prove $\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) (?Σ)}$. The reversal is surprising because $\text{L}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) →}\text{L}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S)}$ a.e. (for a particular L₂). Assume $\text{R}$ (compact) ? $\text{S}$, $\text{S}$ the set of p × p p.s.d. matrices. A “divergence theorem” on functions F_p×p : $\text{R}$ → $\text{S}$ implies identities for R_i, i = 1, 2. Then, conditions are given for $\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, i = 1, 2. Most of our results concern estimators with r(S) = t(U)/tr(S), U = p ∣S∣^1/p/tr(S).     

Equations du type de Monge-Ampère sur les variétés Riemanniennes compactes,III

Let (V_n, g) be a C^∞ compact Riemannian manifold without boundary. Given the following changes of metric: $\text{g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{= g +}\text{Hess}\text{? ±}\text{l}\text{α}{}^2\text{(▽ ? ? ▽?),}\text{g}\text{?}{}^{\mathrm{\pm }}\text{= ±?g + α}{}^2\text{Hess}\text{?}$, where a is a fixed constant, we study the corresponding Monge-Ampère equations (1)^±$\text{Log}\text{(¦g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P,▽?;?)}$, (2)^±$\text{Log}\text{(¦}\text{g}\text{?}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P, ▽?; ?)}$. We first solve Eq. (2)^?, under some simple assumptions on F?C^∞. Then, using an appropriate change of functions that enables us to take advantage of the estimates just carried out for Eq. (2)^?, we extend to Eq.(1)^? all the results proved in our previous articles [5, 6] for the usual Monge-Ampère equation. Although equation (2)⁺ is not locally invertible, and does not even admit a solution for all $\text{F = λ? + ?, λ > 0, f ? C}{}^{\mathrm{\infty }}\text{(V}{}_{\mathrm{n}}\text{)}$, a similar change of functions leads to partial results about Eq. (1)⁺, via C² and C³ estimates for Eq. (2)⁺. Eventually we give some comments and errata of our previous article (P. Delanoë, J. Funct. Anal.41 (1981), 341–353).     

Weak convergence of compound stochastic process,I

Compound stochastic processes are constructed by taking the superpositive of independent copies of secondary processes, each of which is initiated at an epoch of a renewal process called the primary process. Suppose there are M possible k-dimensional secondary processes {ξ^v(t):t?0}, v=1,2,…,M. At each epoch of the renewal process {A(t):t?0} we initiate a random number of each of the M types. Let m_l:l?1} be a sequence of M-dimensional random vectors whose components specify the number of secondary processes of each type initiated at the various epochs. The compound process we study is

, where the ξ^v_lj() are independent copies of ξ^v,m_lv is the vth component of m and {τ_l:l?1} are the epochs of the renewal process. Our interest in this paper is to obtain functional central limit theorems for {Y(t):t?0} after appropriately scaling the time parameter and state space. A variety of applications are discussed.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

On a class of stopping times for M-estimators

For a given score function ψ = ψ(x, θ), let θ_n be Huber's M-estimator for an unknown population parameter θ. Under some mild smoothness assumptions it is known that $\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(θ}{}_{\mathrm{n}}\text{? θ)}$ is asymptotically normal. In this paper the stopping times $\text{τ}{}_{\mathrm{c}}\text{(m) =}\text{inf}\text{{n ≥ m: n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{|θ}{}_{\mathrm{n}}\text{? θ | > c }}$ associated with the sequence of confidence intervals for θ are investigated. A useful representation of M-estimators is derived, which is also appropriate for proving laws of the iterated logarithm and Donskertype invariance principles for (π_n)_n.