Arithmetic properties of certain functions in several variables

If T is an n × n matrix with nonnegative integral entries, we define a transformation T: Cⁿ → Cⁿ by w = Tz where

$\text{W}{}_1\text{=}\text{∏}\text{j=1}\text{n}\text{z}{}_{\mathrm{j}}{}^{\mathrm{t}}\text{ij}\text{(1?i?n).}$

We consider functions f(z) of n complex variables which satisfy a functional equation giving f(Tz) as a rational function of ¹f(z) and we obtain conditions under which such a function f(z) takes transcendental values at algebraic points.     

Asymptotic evaluation of two families of integrals

In this paper the integrals $\text{f}{}_{\mathrm{mv}}\text{(τ) = ∝}{}_0{}^{\mathrm{\infty }}\text{exp}\text{[?(t + τ)]t}{}^{\mathrm{v}}\text{(}\text{ln}\text{t)}{}^{\mathrm{m}}\text{(t + τ)}{}^{\mathrm{?1}}\text{dt}\text{and}\text{g}{}_{\mathrm{mv}}\text{(τ) = ∝}{}_0{}^{\mathrm{\infty }}\text{exp}\text{[? ¦ ? τ ¦]t}{}^{\mathrm{v}}\text{(}\text{ln}\text{t)}{}^{\mathrm{m}}\text{(t ? τ)}{}^{\mathrm{?1}}\text{dt}$ are investigated for positive real values of the variable τ. Here, m is a nonnegative integer, v is a complex variable with Re(v) > ?1. Both integrals are related to the complex integral Φ_mγ(z) = ∝₀^∞exp[?(t ? z)]t^?γ(ln t)^m(t ? z)^?1dt with 0 ? Re(γ) < 1, the behavior of which is analyzed in detail. The results are applied to obtain asymptotic representations for f_mn(τ) and g_mn(τ), m and n both nonnegative integers, near τ = 0. The latter integrals play a role in the study of the equations of neutron transport and radiative transfer.     

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

Adiabatic invariants for linear Hamiltonian systems

n independent adiabatic invariants in involution are found for a slowly varying Hamiltonian system of order 2n × 2n. The Hamiltonian system considered is $\text{?}\text{u}\text{?}\text{= A(t)u}\text{as}\text{? → 0}{}^{\mathrm{+}}$, where A(t) is a 2n × 2n real matrix with distinct, pure imaginary eigen values for each t? [?∞, ∞], and $\text{d}{}^{\mathrm{(j)}}\text{A}\text{dt}{}^{\mathrm{(j)}}\text{? L}{}_{\mathrm{j}}\text{(?∞, ∞)}$, for all j > 0. The adiabatic invariants I_s(u, t), s = 1,…, n are expressed in terms of the eigen vectors of A(t). Approximate solutions for the system to arbitrary order of ? are obtained uniformly for t? [?∞, ∞].     

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 the Γ-convergence of matrix fields related to the adjugate Jacobian

Adjugate Jacobians of mappings $\text{f}{}_{\mathrm{j}}\text{:Ω?}\text{R}{}^2\text{→}\text{R}{}^2$ can be represented in terms of Jacobian matrices: $\text{adj}\text{Df}{}_{\mathrm{j}}\text{=}\text{A}{}_{\mathrm{j}}\text{(x)Df}{}^{\mathrm{t}}{}_{\mathrm{j}}$, for $\text{j=1,2,…}$, by mean of symmetric matrix fields $\text{A}{}_{\mathrm{j}}\text{(x)}$ with $\text{det}\text{A}{}_{\mathrm{j}}\text{(x)=1}$ a.e. Under suitable conditions, we prove that $\text{Df}{}_{\mathrm{j}}\text{?Df}$ weakly in $\text{L}{}^1{}_{\mathrm{<mtext>loc</mtext>}}\text{(Ω;}\text{R}{}^2\text{)}$ if and only if $\text{A}{}_{\mathrm{j}}\text{(x)}$Γ-converges to a matrix $\text{A}\text{(x)}$ with $\text{det}\text{A}\text{(x)=1}$ satisfying $\text{adj}\text{Df=}\text{A}\text{(x)Df}{}^{\mathrm{t}}$. To cite this article: C. Sbordone, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Asymptotic behavior for an almost periodic,strongly dissipative wave equation

This paper deals with asymptotic behavior for (weak) solutions of the equation $\text{u}{}_{\mathrm{tt}}\text{? Δu + β(u}{}_{\mathrm{t}}\text{) ? ?(t, x)}$, on $\text{R}$⁺ × Ω; u(t, x) = 0, on $\text{R}$⁺ × ?Ω. If $\text{?∈L∞(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and β is coercive, we prove that the solutions are bounded in the energy space, under weaker assumptions than those used by G. Prouse in a previous work. If in addition $\text{?}{}_{\mathrm{t}}\text{∈S}{}^2\text{(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and ? is srongly almost-periodic, we prove for strongly monotone β that all solutions are asymptotically almost-periodic in the energy space. The assumptions made on β are much less restrictive than those made by G. Prouse: mainly, we allow β to be multivalued, and in the one-dimensional case β need not be defined everywhere.     

Arnold's canonical matrices and the asymptotic simplification of ordinary differential equations

Let A(x,ε) be an n×n matrix function holomorphic for |x|?x₀, 0<ε?ε₀, and possessing, uniformly in x, an asymptotic expansion $\text{A(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{A}{}_{\mathrm{r}}\text{(x) ε}{}^{\mathrm{r}}$, as ε→0⁺. An invertible, holomorphic matrix function P(x,ε) with an asymptotic expansion $\text{P(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{P}{}_{\mathrm{r}}\text{(x)ε}{}^{\mathrm{r}}$, as ε→0⁺, is constructed, such that the transformation y = P(x,ε)z takes the differential equation $\text{ε}{}^{\mathrm{h}}\text{dy}\text{dx}\text{= A(x,ε)y,h}$ a positive integer, into $\text{ε}{}^{\mathrm{h}}\text{dz}\text{dx}\text{= B(x,ε)z}$, where B(x,ε) is asymptotically equal, to all orders, to a matrix in a canonical form for holomorphic matrices due to V.I. Arnold.     

Levy's stochastic area formula in higher dimensions

Let (W_t) = (W¹_t,W²_t,…,W^d_t), d ? 2, be a d-dimensional standard Brownian motion and let A(t) be a bounded measurable function from $\text{R}$⁺ into the space of d × d skew-symmetric matrices and x(t) such a function into $\text{R}$^d. A class of stochastic processes (L_t^A,x), a particular example of which is Levy's “stochastic area” $\text{L}{}_{\mathrm{t}}\text{=}\text{1}\text{2}\text{∝}{}_0{}^{\mathrm{?t}}\text{(W}{}^1{}_{\mathrm{s}}\text{,dW}{}^2{}_{\mathrm{s}}\text{? W}{}^2{}_{\mathrm{s}}\text{,dW}{}^1{}_{\mathrm{s}}\text{)}$, is dealt with.The joint characteristic function of W_t and L₁^A,x is calculated and based on this result a formula for fundamental solutions for the hypoelliptic operators which generate the diffusions (W_t,L_t^A,x) is given.     

Parallel calculation of a linear mapping on a computer network

We are interested in the parallel computation of a linear mapping of n real variables by a network of computers with restricted means of communication between them and without any common memory. Let $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ denote the algebra of n×n real matrices, and let G be the graph associated with a binary, reflexive and symmetric relation R over {1,2, …,n}. We define

$\text{A}{}_{\mathrm{R}}\text{= {A?M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{):a}{}_{\mathrm{ij}}\text{≠ 0}\text{implies}\text{iRj}}$

A matrix $\text{M∈M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ is said to be realizable on G if it can be expressed as a product of elements of A_R. Therefore, every matrix of $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ is realizable on G if and only if A_R generates $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$. We show that A_R generates $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ if and only if G is connected.     

Limit behavior of solutions of singular difference equations

Necessary and sufficient conditions for a solution {z_k} of the difference equation $\text{A}\text{z}{}_{\mathrm{k+1}}\text{+}\text{B}\text{z}{}_{\mathrm{k}}\text{= b, k ?0}$, with $\text{A}$ singular, to be a convergent sequence of vectors are given under a variety of assumptions. Theoretical results on iterative schemes for solving Ax = b by singular splittings, $\text{A =}\text{A}\text{+}\text{B}$, are given first. In particular, the case when $\text{A = A}{}^1$ and $\text{A}$ is positive semi-definite is considered. Then applications to discrete control problems and backwards population projection are discussed.     

A combinatorial interpretation for two transformations of series that commute with compositional inversion

For a formal power series $\text{g(t) =}\text{1}\text{[1 + ∑}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{h}{}_{\mathrm{n}}\text{t}{}^{\mathrm{n}}\text{]}$ with nonnegative integer coefficients, the compositional inverse $\text{f}\text{(t) = t · f(t)}$ of $\text{g}\text{(t) = t · g(t)}$ is shown to be the generating function for the colored planted plane trees in which each vertex of degree i + 1 is colored one of h_i colors. Since the compositional inverse of the Euler transformation of f(t) is the star transformation [[g(t)]^?1 ? 1]^?1 of g(t), [2], it follows that the Euler transformation of f(t) is the generating function for the colored planted plane trees in which each internal vertex of degree i + 1 is colored one of h_i colors for i > 1, and h₁ ? 1 colors for i = 1.     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

On the univalence of functions defined by certain integral transforms

The integral transform $\text{F(z) = ∝}{}_0{}^{\mathrm{z}}\text{(f′(t))}{}^{\mathrm{\alpha }}\text{(}\text{g(t)}\text{t}\text{)}{}^{\mathrm{\beta }}\text{dt}$, where α and β are real, of pairs of special analytic functions f(z) = z + ···, g(z) = z + ···, univalent in the open unit disc Δ is studied. The transform and our results extend some recent results due to Shirakova.     

Existence and boundedness of solutions of abstract nonlinear integrodifferential equations of nonconvolution type

Existence and boundedness theorems are given for solutions of nonlinear integrodifferential equations of type $\text{d}\text{dt}\text{u(t) + Bu(t) + ∝}{}_0{}^{\mathrm{t}}\text{a(t, s) Au(s) ds ? f(t) (t > 0)}$, (1.1) u(0) = u₀, Here A and B are nonlinear, possibly multivalued, operators on a Banach space W and a Hilbert space H, where W ? H. The function f (0, ∞) → H and the kernel a(t, s): $\text{R}$ × $\text{R}$ → $\text{R}$ are known functions. The results of this paper extend the results of Crandall, Londen, and Nohel [4] for equation (1.1). They assumed the kernel to be of the type a(t, s) = a(t ? s). We relax this assumption and obtain similar results. Examples of kernels satisfying the conditions we require are given in section 4.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

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.     

Best pseudo-isolated Gerschgorin disks for Eigenvalues

Let A be an arbitrary n×n matrix, partitioned so that if A=[A_ij], then all submatrices A_ii are square. If x is a positive vector, it is well-known that $\text{G(}\text{x}\text{) =∪}{}^{\mathrm{N}}{}_{\mathrm{i=1}}\text{G}{}_{\mathrm{i}}\text{(}\text{x}\text{)}$, where

$\text{G}{}_{\mathrm{i}}\text{(}\text{x}\text{) =}\text{z}\text{6(zI ? A}{}_{\mathrm{ii}}\text{)}{}^{\mathrm{?1}}\text{6}{}^{\mathrm{?1}}\text{?}\text{1}\text{x}{}_{\mathrm{i}}\text{∑}\text{j = 1}\text{j ≠ i}\text{N}\text{`6A}{}_{\mathrm{ij}}\text{6x}{}_{\mathrm{j}}$

, contains all the eigenvalues of A. The purpose of this paper is to give a new definition of the concept of an isolated subregion of G(x). An algorithm is given for obtaining the best such isolated subregion in a certain sense, and examples are given to show that tighter bounds for some eigenvalues of A may be obtained than with previous algorithms. For ease of computation, each subregion G_i(x) is replaced by the union of circular disks centered at the eigenvalues of A_ii.     

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.     

Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.