On the exponential dichotomy and spectral properties of difference operators related to the Howland semigroup

We consider the linear difference operator (Dx)(t) = x(t) − B(t)x(t − h), t ∈ ℝ, where h ∈ ℝ is a nonzero number and B is a continuous bounded operator-valued function on ℝ ranging in the algebra of linear bounded operators on a Banach space. We obtain necessary and sufficient conditions for the continuous invertibility of D in the space of continuous bounded vector functions and present a formula for the inverse operator.     

Maximal subspaces for solutions of the second order abstract cauchy problem

For a continuous, increasing function ω: R → R \{0} of finite exponential type, this paper introduces the set Z(A, ω) of all x in a Banach space X for which the second order abstract differential equation (2) has a mild solution such that [ω(t)]-1u(t,x) is uniformly continues on R , and show that Z(A, ω) is a maximal Banach subspace continuously embedded in X, where A ∈ B(X) is closed. Moreover, A|z(A,ω) generates an O(ω(t))strongly continuous cosine operator function family.     

Global stabilization of nonlinear systems by quadratic Lyapunov functions

The system x = A (t, x)x + B(t, x)u, where A(t, x) and B(t, x) are, respectively, n × n and n × m (m<n) continuous matrices whose elements are uniformly bounded for t ≽ t ₀ and x ∈ ℝ ⁿ , is considered. It is assumed that the system has relative degree q = n - m + 1, and the determinant of the matrix composed of the last m rows of the matrix B(t, x) is bounded away from zero for t ≽ t ₀ and x ∈ ℝ ⁿ . A special quadratic Lyapunov function with constant positive definite coefficient matrix H depending only on the range of variation of the coefficients in the matrices A(t, x) and B(t, x) is constructed and applied to obtain a control u(t, x) =7n ~B⋆ (t, x)H depending on a scalar parameter 7n under which the system is globally asymptotically stable provided that it is closed. Here, ~B (t, x) is the scalar matrix obtained from the matrix B(t, x) by setting the first n - m rows to zero.     

Almost automorphic solutions to integral equations on the line

Given a∈L ¹(ℝ) and A the generator of an L ¹-integrable family of bounded and linear operators defined on a Banach space X, we prove the existence of almost automorphic solution to the semilinear integral equation u(t)=∫ _−∞ ^t a(t−s)[Au(s)+f(s,u(s))]ds for each f:ℝ×X→X almost automorphic in t, uniformly in x∈X, and satisfying diverse Lipschitz type conditions. In the scalar case, we prove that a∈L ¹(ℝ) positive, nonincreasing and log-convex is already sufficient.     

Possible limit laws for entrance times of an ergodic aperiodic dynamical system

LetG denote the set of decreasingG: ℝ→ℝ withGэ1 on ]−∞,0], and ƒ ₀ ^∞ G(t)dt⩽1. LetX be a compact metric space, andT: X→X a continuous map. Let μ denone aT-invariant ergodic probability measure onX, and assume (X, T, μ) to be aperiodic. LetU⊂X be such that μ(U)>0. Let τ _U (x)=inf{k⩾1:T ^k xεU}, and defineG _U (t)=1/u(U)u({xεU:u(U)τU(x)>t),tεℝ We prove that for μ-a.e.x∈X, there exists a sequence (U _n ) _n≥1 of neighbourhoods ofx such that {x}=∩ _n U _n , and for anyG ∈G, there exists a subsequence (n _k ) _k≥1 withG _{U n k} ↑U weakly. We also construct a uniquely ergodic Toeplitz flowO(x ^∞,S, μ), the orbit closure of a Toeplitz sequencex ^∞, such that the above conclusion still holds, with moreover the requirement that eachU _n be a cylinder set. In memory of Anzelm Iwanik     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Periodic Solutions of Nonautonomous Second Order Hamiltonian Systems

In this paper, we develop the local linking theorem given by Li and Willein by replacing the Palais-Smale condition with a Cerami one, and apply it to the study of the existence of periodic solutions of the nonautonomous second order Hamiltonian systems （H） ü＋A（t）u＋∨V（t, u）=0, u∈R^N, t∈R. We handle the case of superquadratic nonlinearities which differ from those used previously. Our results extend the theorems given by Li and Willem.     

On a smooth solution of a boundary-value problem

We study a periodic boundary-value problem for the quasilinear equation u _tt −u _xx =F[u, u _t , u _x ], u(x, 0)=u(x, π)=0, u(x + ω, t) = u(x, t), x ∈ ℝ t ∈ [0, π], and establish conditions that guarantee the validity of a theorem on unique solvability. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 9, pp. 1293–1296, September, 1998.     

Existence of solutions of certain quasilinear elliptic equations in ℝN without conditions at infinity

This paper deals with conditions for the existence of solutions of the equations

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

Ergodic averages on circles

LetT ₁ andT ₂ be commuting invertible ergodic measure preserving flows on a probability space (X, A, μ). For t = (u,ν) ∈ ℝ², letT ^t =T ₁ ^u T ₂ ^v . LetS ¹ denote the unit circle in ℝ² and σ the rotation invariant unit measure on it. Then, forf∈Lp(X) withp>2, the averagesA _t f(x) = ∫ _s ¹ f(T ^ts x)σ(ds) conver the integral off for a. e.x, ast tends to 0 or infinity. This extends a result of R. Jones [J], who treated the case of three or more dimensions.     

On the complete controllability of linear nonautonomous systems

We suggest a geometric approach to the controllability of nonautonomous linear control systems of the form $\dot x = A(t)x + B(t)u$ , x ?? ? ⁿ , u ?? U ? ? ^m , with conical control constraint set U and continuous matrices A(t) and B(t). We derive two new complete controllability criteria, the first of which is reduced to the analysis of the arrangement of the cones ??^?1(t)B(t)U in the state space of the system [ $\dot \Phi (t) = \left. {A(t)\Phi } \right|(t)$ , ??(0) = E] and the second is based on the existence of appropriate controls bringing zero back to zero. We prove a theorem on the approximation of the control constraint set U by cones with finitely many generators lying inside the cone U with the preservation of the complete controllability property. We present a number of examples illustrating some peculiarities in the evolution of controllability sets of nonautonomous linear systems.     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

Hausdorff measures of different dimensions are not Borel isomorphic

We show that Hausdorff measures of different dimensions are not Borel isomorphic; that is, the measure spaces (ℝ, B, H ^s ) and (ℝ, B, H ^t ) are not isomorphic if s ≠ t, s, t ∈ [0, 1], where B is the σ-algebra of Borel subsets of ℝ and H ^d is the d-dimensional Hausdorff measure. This answers a question of B. Weiss and D. Preiss. To prove our result, we apply a random construction and show that for every Borel function ƒ: ℝ → ℝ and for every d ∈ [0, 1] there exists a compact set C of Hausdorff dimension d such that ƒ(C) has Hausdorff dimension ≤ d. We also prove this statement in a more general form: If A ⊂ ℝⁿ is Borel and ƒ: A → ℝ^m is Borel measurable, then for every d ∈ [0, 1] there exists a Borel set B ⊂ A such that dim B = d·dim A and dim ƒ(B) ≤ d·dim ƒ (A). Partially supported by the Hungarian Scientific Research Fund grant no. T 49786.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

Almost homomorphisms between unital <Emphasis Type="Italic">C</Emphasis>*-algebras: A fixed point approach

Let A , B be two unital C*-algebras. By using fixed pint methods, we prove that every almost unital almost linear mapping h : A → B which satisfies h(2 n uy) = h(2 n u)h(y) for all u ∈ U(A), all y ∈ A, and all n = 0, 1, 2, … , is a homomorphism. Also, we establish the generalized Hyers-Ulam-Rassias stability of *-homomorphisms on unital C*-algebras.     

Systems of equations driven by stable processes

Let Z^j_t, j = 1, . . . , d, be independent one-dimensional symmetric stable processes of index α ∈ (0,2). We consider the system of stochastic differential equations where the matrix A(x)=(A_ij(x))1≤ i, j ≤ d is continuous and bounded in x and nondegenerate for each x. We prove existence and uniqueness of a weak solution to this system. The approach of this paper uses the martingale problem method. For this, we establish some estimates for pseudodifferential operators with singular state-dependent symbols. Let λ₂ > λ₁ > 0. We show that for any two vectors a, b∈ ℝ_d with |a|, |b| ∈ (λ₁, λ₂) and p sufficiently large, the L^p-norm of the operator whose Fourier multiplier is (|u · a|^α - |u · b|^α) / ∑_j=1^d |u_i|^α is bounded by a constant multiple of |a−b|^θ for some θ > 0, where u=(u₁ , . . . , u_d) ∈ ℝ^d. We deduce from this the L^p-boundedness of pseudodifferential operators with symbols of the form ψ(x,u)=|u · a(x)|^α / ∑_j=1^d |u_i|^α, where u=(u₁,...,u_d) and a is a continuous function on ℝ^d with |a(x)|∈ (λ₁, λ₂) for all x∈ ℝ^d. Research partially supported by NSF grant DMS-0244737. Research partially supported by NSF grant DMS-0303310.     

Kernel regression estimation for continuous spatial processes

We investigate here a kernel estimate of the spatial regression function r(x) = E(Y _u | X _u = x), x ∈ ℝ^d, of a stationary multidimensional spatial process { Z _u = (X _u, Y _u), u ∈ ℝ ^N }. The weak and strong consistency of the estimate is shown under sufficient conditions on the mixing coefficients and the bandwidth, when the process is observed over a rectangular domain of ℝ^N. Special attention is paid to achieve optimal and suroptimal strong rates of convergence. It is also shown that this suroptimal rate is preserved by using a suitable spatial sampling scheme.      

On the behavior of solutions of a semilinear parabolic or elliptic equation satisfying a nonlinear boundary condition in a cylindrical domain

One considers a semilinear parabolic equation u _t = Lu − a(x)f(u) or an elliptic equation u _tt + Lu − a(x)f(u) = 0 in a semi-infinite cylinder Ω × ℝ₊ with the nonlinear boundary condition , where L is a uniformly elliptic divergent operator in a bounded domain Ω ∈ ℝⁿ; a(x) and b(x) are nonnegative measurable functions in Ω. One studies the asymptotic behavior of solutions of such boundary-value problems for t → ∞. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 26, pp. 368–389, 2007.