TOWARDS A CHARACTERIZATION OF EVENTUALLY NORM CONTINUOUS SEMIGROUPS ON BANACH SPACES

Abstract

We characterize the condition

(E) lim_μ→±∞ ∥R(iμ,A∥ = 0

for a generator A of an exponentially stable semigroup (T(t))_t≥0 on an arbitrary Banach space in terms of (T(t))_t≥0. As shown earlier on Hilbert spaces this condition is equivalent to the norm continuity of the semigroup for t > 0.     

Function Spaces as Path Spaces of Feller Processes

Let {X_t}_{t ≥ 0} be a Feller process with infinitesimal generator (A, D(A)). If the test functions are contained in D(A), —A |C^∞_c (ℝⁿ) is a pseudo–differential operator p(x, D) withsymbol p(x, ξ). We investigate local and global regularity properties of the sample paths t ↦ X_t in terms of (weighted) Besov B^s_pq (ℝ, ρ) and Triebel–Lizorkin F^s_pq (ℝ, ρ) spaces. The parameters for these spaces are determined by certain indices that describe the asymptotic behaviour of the symbol p(x, ξ). Our results improve previous papers on Lévy [5, 9] and Feller processes [22].     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

Single point blow-up for a semilinear initial value problem

The initial value problem on [?R, R] is considered: u_t(t, x) = u_xx(t, x) + u(t, x)^γu(t, ±R) = 0u(0, x) = ?(x), where ? ? 0 and γ is a fixed large number. It is known that for some initial values ? the solution u(t, x) exists only up to some finite time T, and that ∥u(t, ·)∥_∞ → ∞ as t → T. For the specific initial value ? = kψ, where ψ ? 0, ψ_xx + ψ^γ = 0, ψ(±R) = 0, k is sufficiently large, it is shown that if x ≠ 0, then lim_{t → T}u(t, x) and lim_{t → T}u_x(t, x) exist and are finite. In other words, blow-up occurs only at the point x = 0.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Generalized Feynman–Kac Semigroups,Associated Quadratic Forms and Asymptotic Properties

In this paper, we study the Feynman–Kac semigroup T _t f(x)=E _x[f(X _t)exp(N _t)],where X _t is a symmetric Levy process and N _t is a continuous additive functional of zero energy which is not necessarily of bounded variation. We identify the corresponding quadratic form and obtain large time asymptotics of the semigroup. The Dirichlet form theory plays an important role in the whole paper.     

Wellposedness of abstract Cauchy problems for second order differential equations

This paper concerns the abstract Cauchy problem (ACP) for an evolution equation of second order in time. LetA be a closed linear operator with domainD(A) dense in a Banach spaceX. We first characterize the exponential wellposedness of ACP onD(A ^k+1),k teN. Next let {C(t);t teR} be a family of generalized solution operators, on [D(A ^k)] toX, associated with an exponentially wellposed ACP onD(A ^k+1). Then we define a new family {T(t); Ret>0} by the abstract Weierstrass formula. We show that {T(t)} forms a holomorphic semigroup of class (H _k) onX. Research of the second-named author was partially supported by Grant-in-Aid for Scientific Research (No. 63540139), Ministry of Education, Science and Culture.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Stochastic integral representation of some martingales

Let {X_t} be a continuous square integrable martingale. Denote its increasing (natural) process by {A_t}. Let S_t, T_t be the left and right inverses of A_t, respectively. Then for any square integrable martingale {Y_t} defined on {X_t}, Y_t = ∝₀^tψ_sdX_s, R₀ < t < S_∞ where S_∞ = lim_t→∞S_t, R₀ = inf {t: X_t ≠ 0} provided that Y(T(t)) is σ(X(T(s)): s ? t)-measurable. All martingales are assumed to be zero at t = 0. Brownian motion and Poisson processes are considered also.     

Semigroup approach for identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation

This article presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u(x,t)) in the quasi‐linear parabolic equation u_t(x,t)=(k(u(x,t))u_x(x,t))_x, with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[?]:?? →C¹[0,T], Ψ[?]:??→C¹[0,T] via semigroup theory. In this paper, it is shown that if the null space of the semigroup T(t) consists of only zero function, then the input–output mappings Φ[?] and Ψ[?] have the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of these mappings. Moreover, under the light of measured output data (boundary observations) f(t):=k(u(0,t))u_x(0,t) or/and h(t):=k(u(1,t))u_x(1,t), the values k(ψ₀) and k(ψ₁) of the unknown diffusion coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, can be determined explicitly. In addition to these, the values k_u(ψ₀) and k_u(ψ₁) of the unknown coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, are also determined via the input data. Furthermore, it is shown that measured output data f(t) and h(t) can be determined analytically by an integral representation. Hence the input–output mappings Φ[?]:??→ C¹[0,T], Ψ[?]:??→C¹[0,T] are given explicitly in terms of the semigroup. Copyright © 2007 John Wiley & Sons, Ltd.     

Analysis of a semigroup approach in the inverse problem of identifying an unknown coefficient

This article presents a semigroup approach to the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u_x) in the quasi‐linear parabolic equation u_t(x, t)=(k(u_x)u_x(x, t))_x+F(x, t), with Dirichlet boundary conditions u(0, t)=ψ₀, u(1, t)=ψ₁ and source function F(x, t). The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[·]: ?? → C¹[0, T], Ψ[·]: ?? → C¹[0, T] via semigroup theory. Copyright © 2008 John Wiley & Sons, Ltd.     

On a problem of Nirenberg concerning expanding maps

Let X be a Banach space and T:X → X a continuous map, which is expanding (i.e., ∥Tu ? Tv∥ ? ∥u ? v∥ for all u, v?X) and such that T(X) has a nonempty interior. Does this guarantee that T is onto? We give a counterexample in the case of X=L¹(N).     

C-Cosine Functions and the Abstract Cauchy Problem, II

For a bounded linear injectionCon a Banach spaceXand a closed linear operatorA : D(A) X → Xwhich commutes withCwe prove that (1) the abstract Cauchy problem,u″(t) = Au(t),t R,u(0) = Cx,u′(0) = Cy, has a unique strong solution for everyx,y D(A) if and only if (2)A₁ = AD(A²) generates aC₁-cosine function onX₁(D(A) with the graph norm), if (and only if, in caseAhas nonempty resolvent set) (3)Agenerates aC-cosine function onX. HereC₁ = CX₁. Under the assumption thatAis densely defined andC⁻¹AC = A, statement (3) is also equivalent to each of the following statements: (4) the problemv″(t) = Av(t) + C(x + ty) + ∫^t₀ Cg(r) dr,t R,v(0) = v′(0) = 0, has a unique strong solution for everyg L¹_locandx, y X; (5) the problemw″(t) = Aw(t) + Cg(t),t R,w(0) = Cx,w′(0) = Cy, has a unique weak solution for everyg L¹_locandx, y X. Finally, as an application, it is shown that for any bounded operatorBwhich commutes withCand has range contained in the range ofC,A + Bis also a generator.     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).     

Removable singularities of weak solutions to the navier-stokes equations

Consider the Navier-Stokes equations in Ω×(0,T), where Ω is a domain in R³. We show that there is an absolute constant ε₀ such that ever, y weak solution u with the property that Sup_tε(a,b)|u(t)|_L(D)≤ε0 is necessarily of class C^∞ in the space-time variables on any compact suhset of D × (a,b) , where D?? and 0 a<b<T. As an application. we prove that if the weak solution u behaves around (x_o, t_o) εΩ×(o,T) 1ike u(x, t) = o(|x - xo|^-1) as x→x ₀ uniforlnly in t in some neighbourliood of t_o, then (x_o,t_o) is actually a removable singularity of u.     

The operator-valued Feynman-Kac formula with noncommutative operators

Let X(t) be a right-continuous Markov process with state space E whose expectation semigroup S(t), given by S(t) φ(x) = E_x[φ(X(t))] for functions φ mapping E into a Banach space L, has the infinitesimal generator A. For each x?E, let V(x) generate a strongly continuous semigroup T_x(t) on L. An operator-valued Feynman-Kac formula is developed and solutions of the initial value problem $\text{?u}\text{?t}\text{= Au + V(x)u, u(0) = φ}$ are obtained. Fewer conditions are assumed than in known results; in particular, the semigroups {T_x(t)} need not commute, nor must they be contractions. Evolution equation theory is used to develop a multiplicative operative functional and the corresponding expectation semigroup has the infinitesimal generator A + V(x) on a restriction of the domain of A.     

Modes of convergence of Markov chain transition probabilities

Suppose {Pⁿ(x, A)} denotes the transition law of a general state space Markov chain {X_n}. We find conditions under which weak convergence of {X_n} to a random variable X with law L (essentially defined by ∝ Pⁿ(x, dy) g(y) → ∝ L(dy) g(y) for bounded continuous g) implies that {X_n} tends to X in total variation (in the sense that $\text{∥ P}{}^{\mathrm{n}}\text{(x,}{}^{\mathrm{.}}\text{) ? L ∥ → 0)}$, which then shows that L is an invariant measure for {X_n}. The conditions we find involve some irreducibility assumptions on {X_n} and some continuity conditions on the one-step transition law {P(x, A)}.     

On the spectral mapping theorem for perturbed strongly continuous semigroups

We consider a strongly continuous semigroup (T(t))_{t \geqq 0}(T(t))_{t \geqq 0} with generator A on a Banach space X, an A-bounded perturbation B, and the semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} generated by A + B. Using the critical spectrum introduced recently, we improve existing spectral mapping theorems for the perturbed semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} .