Phase reconstruction from magnitude of band-limited multidimensional signals

In this paper, the problem of phase reconstruction from magnitude of multidimensional band-limited functions is considered. It is shown that any irreducible band-limited function f(z₁…,z_n), z_i ? $\text{C}$, i=1, …, n, is uniquely determined from the magnitude of f(x₁…,x_n): | f(x₁…,x_n)|, x_i ? $\text{R}$, i=1,…, n, except for (1) linear shifts: ^{i(α1z1+…+α_n2n+β}), β, α_i?$\text{R}$, i=1,…, n; and (2) conjugation: $\text{f}{}^1\text{(z}{}_1{}^1\text{,…,z}{}_{\mathrm{n}}{}^1\text{)}$.     

Nonhomogeneous dirichlet problem for elliptic operators with axially discontinuous coefficients

Si studia, in un cilindro, il problema di Dirichlet per l'equazione ellittica del II ordine: $\text{L}{}_{\mathrm{\alpha }}\text{u = ?}$, dove $\text{L}{}_{\mathrm{\alpha }}\text{=}\text{αΔ + (1 ? 3α)∑}{}_{\mathrm{ij\; =\; 1}}{}^2\text{x}{}_{\mathrm{i}}\text{x}{}_{\mathrm{j}}\text{(x}{}_1{}^2\text{+ x}{}_2{}^2\text{)}{}^{\mathrm{?1}}\text{?}{}^2\text{?x}{}_{\mathrm{i}}\text{?x}{}_{\mathrm{j}}\text{, α ? (0,}\text{1}\text{3}\text{]}$è l'operatore a coefficienti discontinui sull'asse x₃ già introdotto da N. Ural'tseva per mostrare che l'equazione considerata può non avere soluzione nello spazio di Sobolev W^2,p(p > 2) per qualche f?L^p. In questo lavoro si danno limitazioni a priori e teoremi di esistenza e unicità in W^2,p quando p varia in un intervallo (p₁(α), p₂(α)), dipendente dalla costante di ellitticità α. Se p = p₂(α) le limitazioni a priori cadono: l'esempio è quello di Ural'tseva.     

Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

Proof of a conjecture of S. Chowla

Let θ(k, p) be the least s such that the congruence $\text{x}{}_1{}^{\mathrm{k}}\text{+ … + x}{}_{\mathrm{s}}{}^{\mathrm{k}}\text{≡ 0(}\text{mod}\text{p)}$ has a nontrivial solution. Let θ(k) = {max θ(k, p)| p > 1 + 2k}. The purpose of this note is to prove the following conjecture of S. Chowla: $\text{θ(k) = O(k}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext><mtext>+?</mtext>}}\text{)}$.     

The existence,uniqueness, and instability of spherically symmetric solutions of a system of reaction—Diffusion equations

The system $\text{?x}\text{?t}\text{= Δx + F(x,y),}\text{?y}\text{?t}\text{= G(x,y)}$ is investigated, where x and y are scalar functions of time (t ? 0), and n space variables $\text{(ξ}{}_1\text{,…, ξ}{}_{\mathrm{n}}\text{), Δx ≡ ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{x}\text{?ξ}{}_{\mathrm{i}}{}^2$, and F and G are nonlinear functions. Under certain hypotheses on F and G it is proved that there exists a unique spherically symmetric solution $\text{(x(r),y(r)),}\text{where}\text{r = (ξ}{}_1{}^2\text{+ … + ξ}{}_{\mathrm{n}}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which is bounded for r ? 0 and satisfies x(0) >x₀, y(0) > y₀, x′(0) = 0, y′(0) = 0, and x′ < 0, y′ > 0, ?r > 0. Thus, (x(r), y(r)) represents a time independent equilibrium solution of the system. Further, the linearization of the system restricted to spherically symmetric solutions, around (x(r), y(r)), has a unique positive eigenvalue. This is in contrast to the case n = 1 (i.e., one space dimension) in which zero is an eigenvalue. The uniqueness of the positive eigenvalue is used in the proof that the spherically symmetric solution described is unique.     

The probability that k positive integers are relatively r-prime

If r, k are positive integers, then $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ denotes the number of k-tuples of positive integers (x₁, x₂, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r = 1. An explicit formula for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ is derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}\text{n}{}^{\mathrm{k}}\text{=}\text{1}\text{ζ(rk)}$.If S = {p₁, p₂, …, p_a} is a finite set of primes, then 〈S〉 = {p₁^a₁p₂^a₂…p_s^a_s; p_i ∈ S and a_i ≥ 0 for all i} and $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ denotes the number of k-tuples (x₁, x₃, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r ∈ 〈S〉. Asymptotic formulas for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ are derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}\text{n}{}^{\mathrm{k}}\text{=}\text{(p}{}_1\text{… p}{}_{\mathrm{a}}\text{)}{}^{\mathrm{rk}}\text{ζ(rk)(p}{}_1{}^{\mathrm{rk}}\text{? 1) … (p}{}_{\mathrm{s}}{}^{\mathrm{rk}}\text{? 1)}$.     

Numerical approximation of product integrals

A technique for the numerical approximation of matrix-valued Riemann product integrals is developed. For a ? x < y ? b, I_m(x, y) denotes

$\text{∫}\text{χ}\text{y}\text{∫}\text{χ}\text{v}{}_2\text{?}\text{∫}\text{χ}\text{v}{}_2\text{∏}\text{i=1}\text{m}\text{F(ν}{}_{\mathrm{i}}\text{)dν}{}_1\text{dν}{}_2\text{?dν}{}_{\mathrm{m}}$

, and A_m(x, y) denotes an approximation of I_m(x, y) of the form

$\text{(y?x)}{}^{\mathrm{m}}\text{∑}\text{k=1}\text{n}\text{a}{}_{\mathrm{k}}\text{∏}\text{i=1}\text{m}\text{F(χ}{}_{\mathrm{ik}}\text{)}$

, where a_k and y_ik are fixed numbers for i = 1, 2,…, m and k = 1, 2,…, N and x_ik = x + (y ? x)y_ik. The following result is established. If p is a positive integer, F is a function from the real numbers to the set of w × w matrices with real elements and F⁽¹⁾ exists and is continuous on [a, b], then there exists a bounded interval function H such that, if n, r, and s are positive integers, $\text{(b ? a)}\text{n}\text{= h < 1, x}{}_{\mathrm{i}}\text{= a + hi}\text{for}\text{i = 0, 1,…, n}\text{and}\text{0 < r ? s ? n}$, then

$\text{∏}\text{χ}{}_{\mathrm{r?}}\text{χ}{}_{\mathrm{s}}\text{(I+F dχ)?}\text{∏}\text{i=r}\text{s}\text{I+}\text{∑}\text{j=1}\text{p}\text{I}{}_{\mathrm{j}}\text{(χ}{}_{\mathrm{i?1}}\text{,χ}{}_{\mathrm{i}}\text{)}$

$\text{=h}{}^{\mathrm{p}}\text{H(χ}{}_{\mathrm{r?1}}\text{,χ}{}_{\mathrm{s}}\text{)+O(h}{}^{\mathrm{p+1}}\text{)}$

Further, if F^(j) exists and is continuous on [a, b] for j = 1, 2,…, p + 1 and A is exact for polynomials of degree less than p + 1 ? j for j = 1, 2,…, p, then the preceding result remains valid when A_j is substituted for I_j.     

Arithmetic in generalized Artin-Schreier extensions of k(x)

If k is a perfect field of characteristic p ≠ 0 and k(x) is the rational function field over k, it is possible to construct cyclic extensions K_n over k(x) such that [K : k(x)] = pⁿ using the concept of Witt vectors. This is accomplished in the following way; if [β₁, β₂,…, β_n] is a Witt vector over k(x) = K₀, then the Witt equation $\text{y}{}^{\mathrm{p}}\text{?}\text{y}\text{= β}$ generates a tower of extensions through $\text{K}{}_{\mathrm{i}}\text{= K}{}_{\mathrm{i?1}}\text{(}\text{y}{}_{\mathrm{i}}\text{)}$ where $\text{y}\text{= [}\text{y}{}_1\text{,}\text{y}{}_2\text{,…,}\text{y}{}_{\mathrm{n}}\text{]}$. In this paper, it is shown that there exists an alternate method of generating this tower which lends itself better for further constructions in K_n. This alternate generation has the form K_i = K_i?1(y_i); y_i^p ? y_i = B_i, where, as a divisor in K_i?1, B_i has the form . In this form q is prime to Πp_j^λ_j and each λ_j is positive and prime to p. As an application of this, the alternate generation is used to construct a lower-triangular form of the Hasse-Witt matrix of such a field K_n over an algebraically closed field of constants.     

Unitary interpolants,factorization indices and infinite Hankel block matrices

The existence, uniqueness, and construction of unitary n × n matrix valued functions $\text{?(ζ) = ∑}{}_{\mathrm{j\; =\; ?\infty }}{}^{\mathrm{\infty }}\text{?}{}_{\mathrm{j}}\text{ζ}{}^{\mathrm{j}}$ in Wiener-like algebras on the circle with prescribed matrix Fourier coefficients $\text{?}{}_{\mathrm{j}}\text{= γ}{}_{\mathrm{j}}$ for j ? 0 are studied. In particular, if $\text{Σ ¦γ}{}_{\mathrm{j}}\text{¦ < ∞}$, then such an ? exists with $\text{Σ ¦?}{}_{\mathrm{j}}\text{¦ < ∞}$ if and only if ∥Γ₀∥ ? 1, where Γ_v, denotes the infinite block Hankel matrix (γ_{j + k + v}), j, k = 0, 1,…, acting in the sequence space l_n². One of the main results is that the nonnegative factorization indices of every such ? are uniquely determined by the given data in terms of the dimensions of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$, whereas the negative factorization indices are arbitrary. It is also shown that there is a unique such ? if and only if the data forces all the factorization indices to be nonnegative and simple conditions for that and a formula for ? in terms of certain Schmidt pairs of Γ₀ are given. The results depend upon a fine analysis of the structure of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$ and of the one step extension problem of Adamjan, Arov, and Krein (Funct. Anal. Appl.2 (1968), 1–18). Isometric interpolants for the nonsquare case are also considered.     

A new form of trigonometric orthogonality and Gaussian-type quadrature

Gauss's (2n+1)-point trigonometric interpolation formula, based upon f(x_i), i = 1(1)2n+1, gives a trigonometric sum of the n^th order, S_2n+1(x = a₀ + ∑_jⁿ = 1^(a_jcos jx + b_jsin jx), which may be integrated to provide formulas for either direct quadrature or stepwise integration of differential equations having periodic (or near-periodic) solutions. An “orthogonal” trigonometric sum S_2r+1(x) is one that satisfies

$\text{∫}{}_{\mathrm{a}}{}^{\mathrm{b}}\text{S}{}_{\mathrm{2r+1}}\text{(x)S}{}_{\mathrm{2r\prime +1}}\text{(x)dx=0, r′<r}$

and two other arbitrarily imposable conditions needed to make S_2r1(x) unique. Two proofs are given of a fundamental factor theorem for any S_2n+1(x) (somewhat different from that for polynomials) from which we derive 2r-point Gaussian-type quadrature formulas, r = [n/2] + 1, which are exact for any S_4r?1(x). We have

$\text{∫}{}_{\mathrm{a}}{}^{\mathrm{b}}\text{S}{}_{\mathrm{4r?1(x)}}\text{dx=∑}{}_{\mathrm{j=1}}{}^{\mathrm{2r}}\text{A}{}_{\mathrm{j}}\text{S}{}_{\mathrm{4r?1}}\text{(x}{}_{\mathrm{j}}\text{)}$

where the nodes x_j, j = 1(1)2r, are the zeros of the orthogonal S_2r+1(x). It is proven that A_j > 0 and that 2r-1 of the nodes must lie within the interval [a,b], and the remaining node (which may or may not be in [a,b]) must be real. Unlike Legendre polynomials, any [a′,b′] other than a translation of [a,b], requires different and unrelated sets of nodes and weights. Gaussian-type quadrature formulas are applicable to the numerical integration of the Gauss (2n+1)-point interpolation formulas, with extra efficiency when the latter are expressed in barycentric form. S_2r+1(x), x_jandA_j, j = 1(1)2r, were calculated for [a,b] = [0, π/4], 2r = 2 and 4, to single-precision accuracy.     

Positive dependence properties of elliptically symmetric distributions

Let X₁, …, X_p have p.d.f. g(x₁² + … + x_p²). It is shown that (a) X₁, …, X_p are positively lower orthant dependent or positively upper orthant dependent if, and only if, X₁,…, X_p are i.i.d. N(0, σ²); and (b) the p.d.f. of |X₁|,…, |X_p| is TP₂ in pairs if, and only if, In g(u) is convex. Let X₁, X₂ have p.d.f. $\text{f(x}{}_1\text{, x}{}_2\text{) =}\text{|Σ|}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{g((x}{}_1\text{, x}{}_2\text{)}\text{Σ}{}^{\mathrm{?1}}\text{(x}{}_1\text{, x}{}_2\text{)′)}$. Necessary and sufficient conditions are given for f(x₁, x₂) to be TP₂ for fixed correlation ?. It is shown that if f is TP₂ for all ? >0. then (X₁, X₂)′ ～ N(0, Σ). Related positive dependence results and applications are also considered.     

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.     

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 → ∞.     

Definition and characterization of multivariate negative binomial distribution

The probability generating function (pgf) of an n-variate negative binomial distribution is defined to be [β(s₁,…,s_n)]^?k where β is a polynomial of degree n being linear in each s_i and k > 0. This definition gives rise to two characterizations of negative binomial distributions. An n-variate linear exponential distribution with the probability function h(x₁,…,x_n)$\text{exp}\text{(}\text{Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{θ}{}_{\mathrm{i}}\text{x}{}_{\mathrm{i}}\text{)}\text{f(θ}{}_1\text{,…,θ}{}_{\mathrm{n}}\text{)}$ is negative binomial if and only if its univariate marginals are negative binomial. Let S_t, t = 1,…, m, be subsets of {s₁,…, s_n} with empty ∩_t=1^mS_t. Then an n-variate pgf is of a negative binomial if and only if for all s in S_t being fixed the function is of the form of the pgf of a negative binomial in other s's and this is true for all t.     

Analytic inequalities with applications to special functions

Sharp inequalities are derived for certain (polynomial-like) functions of the real variables p_i (i = 1(1)σ) by interpreting p_i as the probabilities that various switches be thrown in certain directions. Parameters m_v in the inequalities are at first taken to be integers; later the inequalities are established when m_v are arbitrary real numbers. The side condition ∑p_i = 1 occurs throughout analysis, so there are many corollaries. Examples of the inequalities established are

$\text{∑}\text{i=1}\text{σ}\text{(1?p}{}_{\mathrm{i}}{}^{\mathrm{m}}\text{)}{}^{\mathrm{m}}\text{>K?1,}$

valid ifm>1

$\text{∑}\text{j=0}\text{r}\text{n}\text{j}\text{p}{}^{\mathrm{jm}}\text{(1?p}{}^{\mathrm{m}}\text{)}{}^{\mathrm{m?j}}\text{+}\text{1?}\text{∑}\text{j=0}\text{r}\text{n}\text{j}\text{p}{}^{\mathrm{j}}\text{(1?p?s)}{}^{\mathrm{n?j}}{}^{\mathrm{m}}\text{> 1+s}{}^{\mathrm{<mtext>max</mtext><mtext>[m,n]</mtext>}}$

valid if m > 1, n > r + 1, 0 < p, s, p + s ? 1, and also valid if $\text{0 < m < 1, 0 < n < r + 1 (1 ? x)}{}^{\mathrm{u}}\text{+ x}{}^{\mathrm{<mtext>1</mtext><mtext>u</mtext>}}\text{< 1,}\text{if}\text{1}\text{2}\text{< x < 1, u > 1}$. (1.03)     

Two-parameter Turan inequalities for ultraspherical and Laguerre polynomials

It is known that the classical orthogonal polynomials satisfy inequalities of the form U_n²(x) ? U_{n + 1}(x) U_{n ? 1}(x) > 0 when x lies in the spectral interval. These are called Turan inequalities. In this paper we will prove a generalized Turan inequality for ultraspherical and Laguerre polynomials. Specifically if P_n^λ(x) and L_n^α(x) are the ultraspherical and Laguerre polynomials and $\text{F}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x) =}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x)}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(1)}\text{, G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) =}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(0)}\text{,}\text{then}\text{F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? F}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, ? 1 < x < 1, ?}\text{1}\text{2}\text{< α ? β ? α + 1}\text{and}\text{G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? G}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, x > 0, 0 < α ? β ? α + 1}$. We also prove the inequality $\text{(n + 1) F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? nF}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > A}{}_{\mathrm{n}}\text{[F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)]}{}^2\text{, ?1 < x < 1, ?}\text{1}\text{2}\text{< α ? β < α + 1,}\text{where}\text{A}{}_{\mathrm{n}}$ is a positive constant depending on α and β.     

Singular perturbation problems for systems of partial differential equations of elliptic type

Elliptic boundary value problems for systems of nonlinear partial differential equations of the form $\text{F}{}_{\mathrm{i}}\text{(x, u}{}_1\text{, u}{}_2\text{,…, u}{}_{\mathrm{N}}\text{,}\text{?u}{}_{\mathrm{i}}\text{?x}{}_{\mathrm{j}}\text{, ?}{}^{\mathrm{p}}{}_{\mathrm{i}}\text{?}{}^2\text{u}{}_{\mathrm{i}}\text{?x}{}_{\mathrm{j}}\text{?x}{}_{\mathrm{k}}\text{) = ?}{}_{\mathrm{i}}\text{(x), x ? R}{}^{\mathrm{n}}$, i = 1(1)N, j, k = 1(1)n, p_i ? 0, ? being a small parameter, with Dirichlet boundary conditions are considered. It is supposed that a formal approximation Z is given which satisfies the boundary conditions and the differential equations upto the order χ(?) = o(1) in some norm. Then, using the theory of differential inequalities, it is shown that under certain conditions the difference between the exact solution u of the boundary value problem and the formal approximation Z, taken in the sense of a suitable norm, can be made small.     

Asymptotic properties of general symmetric hyperbolic systems

Results on partition of energy and on energy decay are derived for solutions of the Cauchy problem $\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0, u(0, x) = ?(x)}$. Here the A_j's are constant, k × k Hermitian matrices, x = (x₁,…, x_n), t represents time, and u = u(t, x) is a k-vector. It is shown that the energy of Mu approaches a limit $\text{E}{}_{\mathrm{M}}\text{(?)}\text{as}\text{¦ t ¦ → ∞}$, where M is an arbitrary matrix; that there exists a sufficiently large subspace of data ?, which is invariant under the solution group U₀(t) and such that $\text{U}{}_0\text{(t)? = 0}\text{for}\text{¦ x ¦ ? a ¦ t ¦ ? R, a}\text{and}\text{R}$ depending on ? and that the local energy of nonstatic solutions decays as $\text{¦ t ¦ → ∞}$. More refined results on energy decay are also given and the existence of wave operators is established, considering a perturbed equation $\text{E(x)}\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0,}\text{where}\text{¦ E(x) ? I ¦ = O(¦ x ¦}{}^{\mathrm{?1\; ?\; ?}}\text{)}$ at infinity.     

On differences and sums of integers,I

A set {b₁,b₂,…,b_i} ? {1,2,…,N} is said to be a difference intersector set if {a₁,a₂,…,a_s} ? {1,2,…,N}, j > ?N imply the solvability of the equation a_x ? a_y = b′; the notion of sum intersector set is defined similarly. The authors prove two general theorems saying that if a set {b₁,b₂,…,b_i} is well distributed simultaneously among and within all residue classes of small moduli then it must be both difference and sum intersector set. They apply these theorems to investigate the solvability of the equations ($\text{a}{}_{\mathrm{x}}\text{?}\text{a}{}_{\mathrm{y}}\text{p}\text{= + 1}$, $\text{(a}{}_{\mathrm{u}}\text{?}\text{a}{}_{\mathrm{v}}\text{p}\text{) = ? 1}$, $\text{(a}{}_{\mathrm{r}}\text{+}\text{a}{}_{\mathrm{s}}\text{p}\text{) = + 1}$, $\text{(a}{}_{\mathrm{t}}\text{+}\text{a}{}_{\mathrm{z}}\text{p}\text{) = ? 1}$ (where ($\text{a}\text{p}$) denotes the Legendre symbol) and to show that “almost all” sets form both difference and sum intersector sets.     

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.