Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

Square roots of elliptic operators

Consider an elliptic sesquilinear form defined on $\text{V}$ × $\text{V}$ by $\text{J[u, v] = ∫}{}_{\mathrm{\Omega }}\text{a}{}_{\mathrm{jk}}\text{?u}\text{?x}{}_{\mathrm{k}}\text{}\text{?}\text{t6v}\text{?x}{}_{\mathrm{j}}\text{+ a}{}_{\mathrm{k}}\text{?u}\text{?x}{}_{\mathrm{k}}\text{v}\text{?}\text{+ α}{}_{\mathrm{j}}\text{u}\text{}\text{?}\text{t6v}\text{?x}{}_{\mathrm{j}}\text{+ au}\text{v}\text{?}\text{dx}$, where $\text{V}$ is a closed subspace of $\text{H}{}^1\text{(Ω)}$ which contains $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$, Ω is a bounded Lipschitz domain in $\text{R}$ⁿ, $\text{a}{}_{\mathrm{jk}}\text{, a}{}_{\mathrm{k}}\text{, α}{}_{\mathrm{j}}\text{, a ? L}{}_{\mathrm{\infty }}\text{(Ω),}\text{and Re}\text{a}{}_{\mathrm{jk}}\text{ζ}{}_{\mathrm{k}}\text{ζ}{}_{\mathrm{j}}\text{? κ > 0}$ for all ζ?$\text{C}$ⁿ with ¦ζ¦ = 1. Let L be the operator with largest domain satisfying J[u, v] = (Lu, v) for all υ∈$\text{V}$. Then L + λI is a maximal accretive operator in $\text{L}{}_2\text{(Ω)}$ for λ a sufficiently large real number. It is proved that $\text{(L + λI)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is a bounded operator from $\text{V}$ to $\text{L}{}_2\text{(Ω)}$ provided mild regularity of the coefficients is assumed. In addition it is shown that if the coefficients depend differentiably on a parameter t in an appropriate sense, then the corresponding square root operators also depend differentiably on t. The latter result is new even when the forms J are hermitian.     

Limit laws for record values

{X_n,n?1} are i.i.d. random variables with continuous d.f. F(x). X_j is a record value of this sequence if X_j>max{X₁,…,X_j?1}. Consider the sequence of such record values {X_Ln,n?1}. Set R(x)=-log(1?F(x)). There exist B_n > 0 such that . in probability (i.p.) iff i.p. iff $\text{{R(kx)?R(x)}}\text{R}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(kx)}$ → ∞ as x→∞ for all k>1. Similar criteria hold for the existence of constants A_n such that X_Ln?A_n → 0 i.p. Limiting record value distributions are of the form N(-log(-logG(x))) where G(·) is an extreme value distribution and N(·) is the standard normal distribution. Domain of attraction criteria for each of the three types of limit laws can be derived by appealing to a duality theorem relating the limiting record value distributions to the extreme value distributions. Repeated use is made of the following lemma: If $\text{P}\text{{X}{}_{\mathrm{n}}\text{?x}=1?e}{}^{\mathrm{-x}}\text{,x?0}$, then X_Ln=Y₀+…+Y_n where the Y_j's are i.i.d. and $\text{P}\text{{Y}{}_{\mathrm{j}}\text{?x}=1?e}{}^{\mathrm{-x}}$.     

Spectral representation for Schrödinger operators with long-range potentials

A spectral representation for the self-adjoint Schrödinger operator H = ?Δ + V(x), x? R³, is obtained, where V(x) is a long-range potential: $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(1</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, grad $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(3</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, $\text{ΛV(x) = O(¦ x}\text{s}\text{?}{}^{\mathrm{?\delta }}\text{) (δ > 0), Λ}$ being the Laplace-Beltrami operator on the unit sphere Ω. Namely, we shall construct a unitary operator $\text{F}$ from PL₂(R³) onto $\text{L}{}_2\text{((0, ∞); L}{}_2\text{(Ω)), P}$ being the orthogonal projection onto the absolutely continuous subspace for H, such that for any Borel function α(λ),

$\text{(α(H)(Pf,g)=}\text{∫}\text{0}\text{∞}\text{(α(λ)(Ff)(λ),(Fg)(λ))L}{}_2\text{(ω) dλ}$

.     

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

For (x,y,t)∈$\text{R}$ⁿ × $\text{R}$ⁿ × $\text{R}$, denote $\text{X}{}_{\mathrm{j}}\text{=}\text{?}\text{?x}{}_{\mathrm{j}}\text{+ 2y}{}_{\mathrm{j}}\text{?}\text{?t}\text{, y}{}_{\mathrm{j}}\text{=}\text{?}\text{?y}{}_{\mathrm{j}}\text{? 2x}{}_{\mathrm{j}}\text{?}\text{?t}$ and $\text{L}{}_{\mathrm{\alpha }}\text{=?}\text{1}\text{4}\text{∑}\text{j=1}\text{n}\text{X}{}_{\mathrm{j}}{}^2\text{+ Y}{}_{\mathrm{j}}{}^2\text{+}\text{?}\text{?t}$. When α = n ? 2q, $\text{L}$_a represents the action of the Kohn Laplacian □_b on q-forms on the Heisenberg group. For ?n < α < n, we construct a parametrix for the Dirichlet problem in smooth domains D near non-characteristic points of ?D. A point w of ?D is non-characteristic if one of X₁,…, X_n, Y₁,…, Y_n is transverse to ?D at w. This yields sharp local estimates in the Dirichlet problem in the appropriate non-isotropic Lipschitz classes. The main new tool is a “convolution calculus” of pseudo-differential operators that can be applied to the relevant layer potentials, for which the usual asymptotic composition formula is false. Characteristic points are treated in Part II.     

On projections and limit mappings of inverse systems of compact spaces

A compactificaton αX of a completely regular space X is “determined” by a subset F of C¹(X) if αX is the smallest compactificaton of X to which each element of F extends, and is “generated” by F if the evaluation map $\text{e}{}_{\mathrm{F}}\text{:X →}\text{R}{}^{\mathrm{n}}\text{,n = |F|}$, is an embedding and $\text{αX =}\text{e}{}_{\mathrm{F}}\text{(X)}$. Evidently, if F either determines or generates αX, then every elements of F has an extension to αX; whenever F satisfies this latter condition, the set of all such extensions is denoted F^α.A major results of our previous paper is that F determines αX if and only if F^α separates points of αX ? X. A major result of the present paper is that F generates αX if and only if F^α separates points of αX.     

C0-semigroups on a locally convex space

A necessary and sufficient condition that a densely defined linear operator A in a sequentially complete locally convex space X be the infinitesimal generator of a quasi-equicontinuous C₀-semigroup on X is that there exist a real number β ? 0 such that, for each λ > β, the resolvent (λI ? A)^?1 exists and the family {(λ ? β)^k(λI ? A)^?k; λ > β, k = 0, 1, 2,…} is equicontinuous. In this case all resolvents (λI ? A)^?1, λ > β, of the given operator A and all exponentials exp(tA), t ? 0, of the operator A belong to a Banach algebra $\text{B}{}_{\mathrm{г}}\text{(X)}$ which is a subspace of the space L(X) of all continuous linear operators on X, and, for each t ? 0 and for each x?X, one has lim_{k → z} (I ? k^?1tA)^?kx = exp(tA) x. A perturbation theorem for the infinitesimal generator of a quasi-equicontinuous C₀-semigroup by an operator which is an element of $\text{B}{}_{\mathrm{г}}\text{(X)}$ is obtained.     

On the absolute continuity of Schrödinger operators with spherically symmetric,long-range potentials,II

Let H = ?Δ + V, where the potential V is spherically symmetric and can be decomposed as a sum of a short-range and a long-range term, V(r) = V_S(r) + V_L. Let λ = lim sup_r→∞V_L(r) < ∞ (we allow λ = ? ∞) and set λ⁺ = max(λ, 0). Assume that for some r₀, V_L(r) ?C^2k(r₀, ∞) and that there exists δ > 0 such that $\text{(}\text{d}\text{dr}\text{)}{}^{\mathrm{j}}\text{V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) · (λ}{}^{\mathrm{+}}\text{? V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) + 1)}{}^{\mathrm{?1}}\text{= O(r}{}^{\mathrm{?j\delta }}\text{), j = 1,…, 2k,}\text{as}\text{r → ∞}$. Assume further that $\text{∝}{}_1{}^{\mathrm{\infty }}\text{(}\text{dr}\text{¦ V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r)¦}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{) = ∞}$ and that 2kδ > 1. It is shown that: (a) The restriction of H to C^∞(Rⁿ) is essentially self-adjoint, (b) The essential spectrum of H contains the closure of (λ, ∞). (c) The part of H over (λ, ∞) is absolutely continuous.     

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.     

Isomorphisms between Lp-function spaces when p < 1

We prove a number of results concerning isomorphisms between spaces of the type L_p(X), where X is a separable p-Banach space and 0 < p < 1. Our results imply that the quotient of L_p([0, 1] × [0, 1]) by the subspace of functions depending only on the first variable is not isomorphic to L_p, answering a question of N. T. Peck. More generally if $\text{B}$₀ is a sub-σ-algebra of the Borel sets of [0, 1], then $\text{L}{}_{\mathrm{p}}\text{([0, 1])}\text{L}{}_{\mathrm{p}}\text{([0, 1]}$, $\text{B}$₀) is isomorphic to L_p if and only if L_p([0, 1], B₀) is complemented. We also show that L_p has, up to isomorphism, at most one complemented subspace non-isomorphic to L_p and classify completely those spaces X for which $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$. In particular if $\text{L(L}{}_{\mathrm{p}}\text{, X) = {0}}\text{and}\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$ then $\text{X ? l}{}_{\mathrm{p}}$ or is finite-dimensional. If X has trivial dual and $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}\text{then}\text{X ? L}{}_{\mathrm{p}}$.     

Zeta matrices of elliptic curves

Let $\text{O =}\text{lim}{}_{\mathrm{n}}\text{Z/p}{}^{\mathrm{n}}\text{Z}$, let $\text{A}\text{= O[g}{}_2\text{, g}{}_3\text{]}{}_{\mathrm{\Delta }}$, where g₂ and g₃ are coefficients of the elliptic curve: Y² = 4X³ ? g₂X ? g₃ over a finite field and Δ = g₂³ ? 27g₃² and let $\text{B}\text{=}\text{A}\text{[X, Y]}\text{(Y}{}^2\text{? 4X}{}^3\text{+ g}{}_2\text{X + g}{}_3\text{)}$. Then the p-adic cohomology theory will be applied to compute explicitly the zeta matrices of the elliptic curves, induced by the pth power map on the free $\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q}$-module $\text{H}{}^1\text{(X,}\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$. Main results are; Theorem 1.1: X²dY and YdX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{, Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$; Theorem 1.2: YdX, X²dY, Y^?1dX, Y^?2dX and XY^?2dX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{? (Y = 0), Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$, where $\text{X}$ is a lifting of X, and all the necessary recursive formulas for this explicit computation are given.     

On the rate for uniform strong consistency of empirical distributions of independent nonidentically distributed multivariate random variables

Let X_j = (X_1j ,…, X_pj), j = 1,…, n be n independent random vectors. For x = (x₁ ,…, x_p) in R^p and for α in [0, 1], let F_j${}^1$(x) = αI(X_1j < x₁ ,…, X_pj < x_p) + (1 ? α) I(X_1j ≤ x₁ ,…, X_pj ≤ x_p), where I(A) is the indicator random variable of the event A. Let F_j(x) = E(F_j${}^1$(x)) and D_n = sup_{x, α} max_{1 ≤ N ≤ n} |Σ₀ⁿ(F_j${}^1$(x) ? F_j(x))|. It is shown that P[D_n ≥ L] < 4pL exp{?2(L²n^?1 ? 1)} for each positive integer n and for all L² ≥ n; and, as n → ∞, $\text{D}{}_{\mathrm{n}}\text{= 0((n}\text{log}\text{n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ with probability one.     

Commuting self-adjoint partial differential operators and a group theoretic problem

In Rⁿ let Ω denote a Nikodym region (= a connected open set on which every distribution of finite Dirichlet integral is itself in $\text{L}{}^2\text{(Ω))}$. The existence of n commuting self-adjoint operators $\text{H}{}_1\text{,…, H}{}_{\mathrm{n}}\text{in}\text{L}{}^2\text{(Ω)}$ such that each H_j is a restriction of $\text{?i β}\text{βx}{}_{\mathrm{j}}$ (acting in the distribution sense) is shown to be equivalent to the existence of a set Λ ?Rⁿ such that the restrictions to Ω of the functions exp i ∑ λ_jx_j form a total orthogonal family in $\text{L}{}^2\text{(Ω)}$. If it is required, in addition, that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$, then this is shown to correspond to the requirement that Λ can be chosen as a subgroup of the additive group Rⁿ. The measurable sets Ω ?Rⁿ (of finite Lebesgue measure) for which there exists a subgroup Λ ?Rⁿ as stated are precisely those measurable sets which (after a correction by a null set) form a system of representatives for the quotient of Rⁿ by some subgroup Γ (essentially the dual of Λ).     

Étude d'une équation de Monge-Ampère sur les variétés kählériennes compactes

On a compact Kähler manifold of complex dimension m ? 2, let us consider the change of Kähler metric $\text{g′}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{= g}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{+ ?}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{φ}$. Let F?C^∞(V × R) be a function everywhere > 0 and v a real number ≠ 0. When $\text{0 < C}{}^{\mathrm{?1}}\text{? F(x, t) ? C(¦t¦}{}^{\mathrm{a}}\text{+ 1)}$ for all (x, t) ?V × ] ?∞, t₀], where C and t₀ are constants and $\text{1 ? a <}\text{m}\text{(m ? 1)}$, one exhibits a function φ?C^∞ (V) such that $\text{¦g′∥g¦}{}^{\mathrm{?1}}\text{= e}{}^{\mathrm{<mtext>\nu </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gf</mtext>}}\text{F(x, φ ?}\text{}\text{?}\text{gf) (¦g¦}\text{and}\text{¦g′¦}$ the determinants of the metrics g and $\text{g′,}\text{}\text{?}\text{gf = (}\text{mes}\text{V)}{}^{\mathrm{?1}}\text{∝ φ dV)}$.     

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.     

Semiclassical analysis of low lying eigenvalues. IV. The flea on the elephant

The two lowest eigenvalues E₀(λ), E₁(λ) of a symmetric double well tunnelling problem ?Δ + λ²V as λ → ∞ are considered and they are compared to the two lowest eigenvalues $\text{E}\text{?}{}_0\text{(λ),}\text{E}\text{?}{}_1\text{(λ)}\text{of}\text{?Δ + λ}{}^2\text{(V + W),}\text{where}\text{W}$ is supported away from the well-bottoms of V. We determine the leading exponential splitting of various differences of the four numbers $\text{E}{}_0\text{, E}{}_1\text{,}\text{E}\text{?}{}_0\text{,}\text{E}\text{?}{}_1$. Related problems are discussed.     

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.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.