C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

On the Rate of Convergence of Two Bernstein–Bézier Type Operators for Bounded Variation Functions, II

The rates of convergence of two Bernstein–Bézier type operators B^(α)_n and L^(α)_n for functions of bounded variation have been studied for the case α1 by the author and A. Piriou (1998, J. Approx. Theory95, 369–387). In this paper the other case 0<α<1 is treated and asymptotically optimal estimations of B^(α)_n and L^(α)_n for functions of bounded variation are obtained. Besides, some interesting behaviors of the operators B^(α)_n and L^(α)_n (α>0) for monotone functions and functions of bounded variation are also given.     

On the Rate of Convergence of Two Bernstein–Bézier Type Operators for Bounded Variation Functions

In this paper we study the rate of convergence of two Bernstein–Bézier type operatorsB^(α)_nandL^(α)_nfor bounded variation functions. By means of construction of suitable functions and the method of Bojanic and Vuillemier (J. Approx. Theory31(1981), 67–79), using some results of probability theory, we obtain asymptotically optimal estimations ofB^(α)_nandL^(α)_nfor bounded variation functions at points of continuity and points of discontinuity.     

Semigroups and resolvents of bounded variation,imaginary powers andH ∞ functional calculus

Let −A be a linear, injective operator, on a Banach spaceX. We show that ∃ anH ^∞ functional calculus forA if and only if −A generates a bouned strongly continuous holomorphic semigroup of uniform weak bounded variation, if and only ifA(ζ+A) ⁻¹ is of uniform weak bounded variation. This provides a sufficient condition for the imaginary powers ofA, {A^−is} sεR, to extend to a strongly continuous group of bounded operators; we also give similar necessary conditions.     

On the Relation between Stability of Continuous- and Discrete-Time Evolution Equations via the Cayley Transform

In this paper we investigate and compare the properties of the semigroup generated by A, and the sequence where A_d = (I + A) (I − A)⁻¹. We show that if A and A⁻¹ generate a uniformly bounded, strongly continuous semigroup on a Hilbert space, then A_d is power bounded. For analytic semigroups we can prove stronger results. If A is the infinitesimal generator of an analytic semigroup, then power boundedness of A_d is equivalent to the uniform boundedness of the semigroup generated by A.     

Ahlfors-régularité des quasi-minima de Mumford–Shah

Let be an open set. We consider on Ω the competitors (U,K) for the reduced Mumford–Shah functional, that is to say the Mumford–Shah functional in which the -norm of U term is removed, where K is a closed subset of Ω and U is a function on ΩK with gradient in  . The main result of this paper is the following: there exists a constant c for which, whenever (U,K) is a quasi-minimizer for the reduced Mumford–Shah functional and B(x,r) is a ball centered on K and contained in Ω with bounded radius, the -measure of is bounded above by cr^N−1 and bounded below by c⁻¹r^N−1.     

Invariant Subspaces for Semigroups of Algebraic Operators

T. Laffey showed (Linear and Multilinear Algebra6(1978), 269–305) that a semigroup of matrices is triangularizable if the ranks of all the commutators of elements of the semigroup are at most 1. Our main theorem is an extension of Hthis result to semigroups of algebraic operators on a Banach space. We also obtain a related theorem for a pair {A, B} of arbitrary bounded operators satisfying rank (AB−BA)=1 and several related conditions. In addition, it is shown that a semigroup of algebraically unipotent operators of bounded degree is triangularizable.     

Zolotarevω-Polynomials inWH[0, 1]

The main result of this paper characterizes generalizationsof Zolotarev polynomials as extremal functions in the Kolmogorov–Landauproblem

Full-size image

whereω(t) is a concave modulus of continuity,r, m: 1mr,are integers, andBB₀(r, m, ω). We show that theextremal functionsZ_Bhaver+1 points of alternance andthe full modulus of continuity ofZ^(r)_B: ω(Z^(r)_B; t)=ω(t) for allt[0, 1]. This generalizesthe Karlin's result on the extremality of classical Zolotarevpolynomials in the problem () forω(t)=tand allBB_r.     

Relative stability of trimmed sums

Summary This paper gives extensions of Mori's strong law for ^(r) S _n =S _n –X _n ^(1)} ...–X _n ^(r) , where S _n =X₁+X₂+...+X _n ,X _i are iidrv's and (X _i ⁿ ()) is (X _i ) arranged in decreasing order of absolute magnitude. The methods differ from Mori's. Continuity of the distribution of the X _i is assumed throughout. Necessary and sufficient conditions for relative stability (^(r) S _n /B _n ±1 a.s. for some B _n ), including a generalised condition of Spitzer's and a dominated ergodic theorem, are proved. A one-sided version of the relative stability results is also given. A theorem of Kesten's is generalised to show that if (^(r) S _n –A _n )/B _n is bounded almost surely for constants A _n ,B _n + then for some _n . A corollary to this is that if ¦ ^(r) S _n ¦/B _n is bounded away from 0 and + a.s. then ^(r) S _n is relatively stable. This generalises a result of Chow and Robbins, apart from the continuity assumption.     

Stabilization of bilinear control systems in Hilbert space with nonquadratic feedback

We consider bilinear control systems of the form y′(t) = Ay(t) + u(t)By(t) where A generates a strongly continuous semigroup of contraction (e ^{t A} ) _t⩾0 on an infinite-dimensional Hilbert space Y whose scalar product is denoted by 〈.,.〉. The function u denotes the scalar control. We suppose that B is a linear bounded operator from the state Y into itself. Tacking into account the control saturation, we study the problem of stabilization by feedback of the form u(t)=−f(〈By(t), y(t)〉). Application to the heat equation is considered.      

Asymptotic expansions in the conditional central limit theorem

Let X_n, n , be i.i.d. with mean 0, variance 1, and E(¦X_n¦^r) < ∞ for some r 3. Assume that Cramér's condition is fulfilled. We prove that the conditional probabilities P(1/√n Σ_{i = 1}ⁿ X_i t¦B) can be approximated by a modified Edgeworth expansion up to order o(1/n^{(r − 2)/2)}), if the distances of the set B from the σ-fields σ(X₁, …, X_n) are of order O(1/n^{(r − 2)/2)}(lg n)^β), where β < −(r − 2)/2 for r and β < −r/2 for r . An example shows that if we replace β < −(r − 2)/2 by β = −(r − 2)/2 for r (β < −r/2 by β = −r/2 for r ) we can only obtain the approximation order O(1/n^{(r − 2)/2)}) for r (O(lg lgn/n^{(r − 2)/2)}) for r ).     

Lower bounds for the cardinality of minimal blocking sets in projective spaces

In this paper new lower bounds for the cardinality of minimal m-blocking sets are determined. Let r₂(q) be the number such that q+r₂(q)+1 is the cardinality of the smallest non-trivial line-blocking set in a plane of order q. If B is a minimal m-blocking set in PG(n,q) that contains at most q^m+q^m−1+…+q+1+r₂(q)·(∑_i=2m−n′^m−1qⁱ) points for an integer n′ satisfying mn′2m, then the dimension of B is at most n′. If the dimension of B is n′, then the following holds. The cardinality of B equals q^m+q^m−1+…+q+1+r₂(q)(∑_i=2m−n′^m−1qⁱ). For n′=m the set B is an m-dimensional subspace and for n′=m+1 the set B is a cone with an (m−2)-dimensional vertex over a non-trivial line-blocking set of cardinality q+r₂(q)+1 in a plane skew to the vertex. This result is due to Heim (Mitt. Math. Semin. Giessen 226 (1996), 4–82). For n′>m+1 and q not a prime the number q is a square and for q16 the set B is a Baer cone. If q is odd and |B|<q^m+q^m−1+…+q+1+r₂(q)(q^m−1+q^m−2), it follows from this result that the subspace generated by B has dimension at most m+1. Furthermore we prove that in this case, if , then B is an m-dimensional subspace or a cone with an (m−2)-dimensional vertex over a non-trivial line-blocking set of cardinality q+r₂(q)+1 in a plane skew to the vertex. For q=p^3h, p7 and q not a square we show this assertion for |B|q^m+q^m−1+…+q+1+q^2/3·(q^m−1+…+1).     

On piecewise-polynomial approximation of functions with a bounded fractional derivative in an Lp-norm

We study the error in approximating functions with a bounded (r + α)th derivative in an L_p-norm. Here r is a nonnegative integer, α ε [0, 1), and ƒ^{(r + α)} is the classical fractional derivative, i.e., ƒ^{(r + α)}(y) = ∝₀¹, ^α d(ƒ^(r)(t)). We prove that, for any such function ƒ, there exists a piecewise-polynomial of degree s that interpolates ƒ at n equally spaced points and that approximates ƒ with an error (in sup-norm) ƒ^{(r + α)}_p O(n^{−(r+α−1/p}). We also prove that no algorithm based on n function and/or derivative values of ƒ has the error equal ƒ^{(r + α)}_p O(n^{−(r+α−1/p}) for any ƒ. This implies the optimality of piecewise-polynomial interpolation. These two results generalize well-known results on approximating functions with bounded rth derivative (α = 0). We stress that the piecewise-polynomial approximation does not depend on α nor on p. It does not depend on the exact value of r as well; what matters is an upper bound s on r, s r. Hence, even without knowing the actual regularity (r, α, and p) of ƒ, we can approximate the function ƒ with an error equal (modulo a constant) to the minimal worst case error when the regularity were known.     

On uniqueness of invariant measures for finite‐ and infinite‐dimensional diffusions

We prove uniqueness of “invariant measures,” i.e., solutions to the equation L*μ = 0 where L = Δ + B · ∇ on ℝⁿ with B satisfying some mild integrability conditions and μ being a probability measure on ℝⁿ. This solves an open problem posed by S. R. S. Varadhan in 1980. The same conditions are shown to imply that the closure of L on L¹(μ) generates a strongly continuous semigroup having μ as its unique invariant measure. The question whether an extension of L generates a strongly continuous semigroup on L¹(μ) and whether such an extension is unique is addressed separately and answered positively under even weaker local integrability conditions on B. The special case when B is a gradient of a function (i.e., the “symmetric case”) in particular is studied and conditions are identified ensuring that L*μ = 0 implies that L is symmetric on L²(μ) or L*μ = 0 has a unique solution. We also prove infinite‐dimensional analogues of the latter two results and a new elliptic regularity theorem for invariant measures in infinite dimensions. © 1999 John Wiley & Sons, Inc.     

Ebene algebraische Kurven vom Typ p,q

Let p,q be relatively prime integers with 2pr ^p,q be the numerical semigroup generated by p,q,{(p–1) (q–1)–1–(ip+jq)¦i+jr–2}. Then there exists a smooth projective curve X and a point x on X, such that H _r ^p,q is the set of orders of poles of the rational functions on X, which are regular on X\{x}; in other words: H _r ^p,q is a Weierstraß semigroup.     

Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces

Let (E,H,μ) be an abstract Wiener space and let D_V:=VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space . Given a bounded operator B on , coercive on the range , we consider the operators A:=V^*BV in H and in , as well as the realisations of the operators and in L^p(E,μ) and respectively, where 1<p<∞. Our main result asserts that the following four assertions are equivalent:

(1) with for ;

(2) admits a bounded H^∞-functional calculus on ;

(3) with for ;

(4) admits a bounded H^∞-functional calculus on .

Moreover, if these conditions are satisfied, then . The equivalence (1)–(4) is a non-symmetric generalisation of the classical Meyer inequalities of Malliavin calculus (where , V=I, ). A one-sided version of (1)–(4), giving L^p-boundedness of the Riesz transform in terms of a square function estimate, is also obtained. As an application let −A generate an analytic C₀-contraction semigroup on a Hilbert space H and let −L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. The boundedness of the Riesz transform is used to obtain an L^p-domain characterisation for the operator L.

Finite semigroups with slowly growing pn-sequences

The p _n -sequence of a semigroup S is said to be polynomially bounded, if there exist a positive constant c and a positive integer r such that the inequality p _n (S) ≤cn ^r holds for all n≥ 1. In this paper, we fully describe all finite semigroups having polynomially bounded p _n -sequences. First we give a characterization in terms of identities satisfied by these semigroups. In the sequel, this result will allow an insight into the structure of such semigroups. We are going to deal with certain ideals and the construction of ideal extension of semigroups. In addition, we supply an effective procedure for deciding whether a finite semigroup has polynomially bounded p _n -sequence and give some examples. Received March 5, 1999; accepted in final form November 1, 1999.     

Asymptotics for Solutions of Elliptic Equations in Double Divergence Form

We consider weak solutions of an elliptic equation of the form ? _i ? _i (a _ij u) = 0 and their asymptotic properties at an interior point. We assume that the coefficients are bounded, measurable, complex-valued functions that stabilize as x → 0 in that the norm of the matrix (a _ij (x) ? δ _ij ) on the annulus B _2r \ B _r is bounded by a function Ω(r), where Ω²(r) satisfies the Dini condition at r = 0, as well as some technical monotonicity conditions; under these assumptions, solutions need not be continuous. Our main result is an explicit formula for the leading asymptotic term for solutions with at most a mild singularity at x = 0. As a consequence, we obtain upper and lower estimates for the L ^p -norm of solutions, as well as necessary and sufficient conditions for solutions to be bounded or tend to zero in L ^p -mean as r → 0.