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.     

On the null-controllability of nonlinear delay systems with restrained controls

Sufficient conditions are developed for the null-controllability of the nonlinear delay process (1) $\text{x}\text{?}\text{(t) = L(t, x}{}_{\mathrm{t}}\text{) + B(t) u(t) + f(t, x}{}_{\mathrm{t}}\text{, u(t))}$ when the values of the control functions u lie in an m-dimensional unit cube C^m of E^m. Conditions are placed on f which guarantee that if the uncontrolled system $\text{x}\text{?}\text{(t) = L(t, x}{}_{\mathrm{t}}\text{)}$ is uniformly asymptotically stable and if the linear control system x(t) = L(t, x_t) + B(t) u(t) is proper, then (1) is null-controllable.     

Threshold phenomena for a reaction-diffusion system

We consider the pure initial value problem for the system of equations $\text{ν}{}_{\mathrm{t}}\text{= ν}{}_{\mathrm{xx}}\text{+ ?(ν) ? w, w}{}_{\mathrm{t}}\text{= ε(ν ? γw), ε, γ ? 0}$, the initial data being (ν(x, 0), w(x, 0)) = (?(x), 0). Here $\text{?(v) = ?v + H(v ? a)}$, where H is the Heaviside step function and $\text{a ? (0,}\text{1}\text{2}\text{)}$. This system is of the FitzHugh-Nagumo type and has several applications including nerve conduction and distributed chemical/ biochemical systems. It is demonstrated that this system exhibits a threshold phenomenon. This is done by considering the curve s(t) defined by s(t) = sup{x: v(x, t) = a}. The initial datum, ?(x), is said to be superthreshold if lim_{t→∞ s(t) = ∞}. It is proven that the initial datum is superthreshold if ?(x) > a on a sufficiently long interval, ?(x) is sufficiently smooth, and ?(x) decays sufficiently fast to zero as $\text{¦x¦ → ∞}$.     

Convergence of convex integrals in Lp spaces

We consider functionals of the form: I_f(u) = ∝_Tf[t, u(t)]μ(dt), which are defined on spaces L^p(T, R^k), and we study for these functionals the properties of a convergence for which the conjugacy $\text{I}{}_{\mathrm{f}}\text{→ I}{}_{\mathrm{f1}}$ is a continuous operator.     

Periodic solutions of a quasilinear parabolic differential equation

This paper treats the quasilinear, parabolic boundary value problem $\text{u}{}_{\mathrm{xx}}\text{? u}{}_{\mathrm{t}}\text{= ??(x, t, u)}$u(0, t) = ?₁(t); u(l, t) = ?₂(t) on an infinite strip $\text{{(x, t) ¦ 0 < x < l, ?∞ < t < ∞}}$ with the functions $\text{?(x, t, u), ?}{}_1\text{(t), ?}{}_2\text{(t)}$ being periodic in t. The major theorem of the paper gives sufficient conditions on $\text{?(x, t, u)}$ for this problem to have a periodic solution u(x, t) which may be constructed by successive approximations with an integral operator. Some corollaries to this theorem offer more explicit conditions on $\text{?(x, t, u)}$ and indicate a method for determining the initial estimate at which the iteration may begin.     

Singular perturbation problems for linear parabolic differential operators of arbitrary order

We consider the first initial-boundary value problem for $\text{(}\text{?u}\text{?t}\text{) + ?L}{}_1\text{u + L}{}_0\text{u = f(L}{}_0$ and L₁ are linear elliptic partial differential operators) and investigate the properties of u(x, t, ?) as ? ↓ 0 in the maximum norm. Special attention is paid to approximations obtained by the boundary layer method. We use a priori estimates.     

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.     

Some asymptotic boundary behavior of solutions of non-linear parabolic initial-boundary value problems

For parabolic initial boundary value problems various results such as $\text{lim}{}_{\mathrm{t\; \downarrow \; 0}}\text{{}\text{(}\text{?u}\text{t6x}\text{)(0, t)}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?x}\text{)(0, t)}}\text{= 1}$, where u satisfies $\text{?u}\text{?t}\text{= a(u)(}\text{?}{}^2\text{u}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u(x, 0) = 0, u(0, t) = |}{}_1\text{(t), 0 < t ? T, u(1, t) = |}{}_2\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{satisfies}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?t}\text{) = α(}\text{?}{}^2\text{u}{}_{\mathrm{\alpha }}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(x, 0) = 0, u}{}_{\mathrm{\alpha }}\text{(0, t) = |}{}_1\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(1, t) = |}{}_2\text{(t), 0 < t ? T,}\text{and}\text{α = a(0)}$, are demonstrated via the maximum principle and potential theoretic estimates.     

On the control of certain interacting populations

We study the time optimal control of the system $\text{x}\text{?}{}_1\text{= x}{}_1\text{?}{}_1\text{(x}{}_1\text{, x}{}_2\text{) + u}{}_1\text{(t) g}{}_1\text{(x}{}_1\text{),}\text{x}\text{?}{}_2\text{= x}{}_2\text{?}{}_2\text{(x}{}_1\text{, x}{}_2\text{) + u}{}_2\text{(t)g}{}_2\text{(x}{}_2\text{)}$, where x₁ is the size of the population of one species, x₂ is the population size of the second species, ?₁ and ?₂ are the fractional growth rates of the respective species, g₁ and g₂ are nowhere vanishing functions of class C¹(0, + ∞), and the control u(t) = (u₁(t), u₂(t)) takes on values in a closed rectangle. The functions ?₁ and ?₂ are chosen to represent prey-predator, competitive, and symbiotic interactions.We show, for the various interactions, that a time optimal control, if it exists, must be “bang-bang,” and give sufficient conditions for the controllability, and for the existence, of time optimal controls of the above system.     

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 of stable equilibrium point for dynamical systems of Volterra type

This paper presents sufficient conditions for the existence of a nonnegative and stable equilibrium point of a dynamical system of Volterra type, (1) $\text{(}\text{d}\text{dt}\text{) x}{}_{\mathrm{i}}\text{(t) = ?x}{}_{\mathrm{i}}\text{(t)[f}{}_{\mathrm{i}}\text{(x}{}_1\text{(t),…, x}{}_{\mathrm{n}}\text{(t)) ? q}{}_{\mathrm{i}}\text{], i = 1,…, n}$, for every q = (q₁,…, q_n)^T?Rⁿ. Results of a nonlinear complementarity problem are applied to obtain the conditions. System (1) has a nonnegative and stable equilibrium point if (i) f(x) = (f₁(x),…,f_n(x))^T is a continuous and differentiable M-function and it satisfies a certain surjectivity property, or (ii), f(x) is continuous and strongly monotone on R₊₀ⁿ.     

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

.     

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

The Cauchy problem for a linear parabolic partial differential equation

Numerical approximation of the solution of the Cauchy problem for the linear parabolic partial differential equation is considered. The problem: (p(x)u_x)_x ? q(x)u = p(x)u_t, 0 < x < 1,0 < t? T; $\text{u(0, t) = ?}{}_1\text{(t), 0 < t ? T}$; $\text{u(1,t) = ?}{}_2\text{(t), 0 < t ? T}$; p(0) u_x(0, t) = g(t), 0 < t₀ ? t ? T, is ill-posed in the sense of Hadamard. Complex variable and Dirichlet series techniques are used to establish Hölder continuous dependence of the solution upon the data under the additional assumption of a known uniform bound for ¦ u(x, t)¦ when 0 ? x ? 1 and 0 ? t ? T. Numerical results are obtained for the problem where the data ?₁, ?₂ and g are known only approximately.     

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.     

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.     

Approximate solutions of functional differential equations

The author discusses the best approximate solution of the functional differential equation x′(t) = F(t, x(t), x(h(t))), 0 < t < l satisfying the initial condition x(0) = x₀, where x(t) is an n-dimensional real vector. He shows that, under certain conditions, the above initial value problem has a unique solution y(t) and a unique best approximate solution $\text{p}\text{?}{}_{\mathrm{k}}\text{(t)}$ of degree k (cf. [1]) for a given positive integer k. Furthermore, $\text{sup}{}_{\mathrm{0?t?l}}\text{¦}\text{p}\text{?}{}_{\mathrm{k}}\text{(t) ? y(t)¦ → 0}\text{as}\text{k → ∞}$, where ¦ · ¦ is any norm in Rⁿ.     

Weak solutions for a nonlinear dispersive equation

In this paper we study the existence, uniqueness, and regularity of the solutions for the Cauchy problem for the evolution equation $\text{u}{}_{\mathrm{t}}\text{+ (f (u))}{}_{\mathrm{x}}\text{? u}{}_{\mathrm{xxt}}\text{= g(x, t), (}{}^1\text{)}\text{where}\text{u = u(x, t), x}$ is in (0, 1), 0 ? t ? T, T is an arbitrary positive real number,f(s)?C¹$\text{R}$, and g(x, t)?L^∞(0, T; L²(0, 1)). We prove the existence and uniqueness of the weak solutions for (¹) using the Galerkin method and a compactness argument such as that of J. L. Lions. We obtain regular solutions using eigenfunctions of the one-dimensional Laplace operator as a basis in the Galerkin method.     

Temporally inhomogeneous scattering theory

A theory of scattering for the time dependent evolution equations $\text{du}\text{dt}\text{= iH}{}_{\mathrm{j}}\text{(t)u, j = 0, 1}$ (¹) is developed. The wave operators are defined in terms of the evolution operators U_j(t, s), which govern (¹). The scattering operator remains unitary. Sufficient conditions for existence and completeness of the wave operators are obtained; these are the main results. General properties, such as the chain rule and various intertwining relations, are also established. Applications include potential scattering (H₀(t) = ?Δ, Δ denoting the Laplacian, and H₁(t) = ?Δ + q(t, ·)) and scattering for second-order differential operators with coefficients constant in the spatial variable ($\text{H}{}_{\mathrm{j}}\text{(t) = ∑}{}_{\mathrm{m,\; k\; =\; 1}}{}^{\mathrm{n}}\text{a}{}_{\mathrm{mk}}{}^{\mathrm{(j)}}\text{(t)(}\text{?}{}^2\text{?x}{}_{\mathrm{m}}\text{?x}{}_{\mathrm{k}}\text{) + b}{}_{\mathrm{j}}\text{(t)}\text{for}\text{j = 0, 1}$).     

Numerical solution of a nonlinear integro-differential equation

Galerkin's method with appropriate discretization in time is considered for approximating the solution of the nonlinear integro-differential equation $\text{u}{}_{\mathrm{t}}\text{(x, t) = ∝}{}_0{}^{\mathrm{t}}\text{a(t ? τ)}\text{?}\text{?x}\text{σ(u}{}_{\mathrm{x}}\text{(x, τ)) dτ + f(x, t)}$, 0 < x < 1, 0 < t < T.An error estimate in a suitable norm will be derived for the difference u ? u^h between the exact solution u and the approximant u^h. It turns out that the rate of convergence of u^h to u as h → 0 is optimal. This result was confirmed by the numerical experiments.