A cosine operator approach to modelingL 2(0,T; L 2 (Γ))—Boundary input hyperbolic equations

This paper investigates the regularity properties of the solution of a second-order hyperbolic equation defined over a bounded domain with boundary , under the action of a boundary forcing term inL ₂(0,T; L ₂()). Both Dirichlet and Neumann nonhomogeneous cases are considered. A functional analytic model based on cosine operator functions is presented, which provides an input-solution formula to be interpreted in appropriate topologies. With the help of this model, it is shown, for example, that the solution of the nonhomogeneous Dirichlet problem is inL ₂(0,T; L ₂()), when is either a parallelepiped or a sphere, while the solution of the nonhomogeneous Neumann problem is inL ₂(0,T; H ^3/4-e()) when is a parallelepiped and inL ₂(0,T; H ^2/3() when is a sphere. The Dirichlet case for general domains is studied by means of pseudodifferential operator techniques.This research was supported in part by the Air Force Office of Scientific Research under Grant AFOSR-78-3350 (1st author) and Grant AFOSR-77-3338 (2nd author).This research was performed while the author was visiting the Department of System Science, University of California, Los Angeles.     

Holomorphic Functions and the Heat Kernel Measure on an Infinite Dimensional Complex Orthogonal Group

The heat kernel measure _t is constructed on an infinite dimensional complex group using a diffusion in a Hilbert space. Then it is proved that holomorphic polynomials on the group are square integrable with respect to the heat kernel measure. The closure of these polynomials, H L ²(S O _{H S} , _t ), is one of two spaces of holomorphic functions we consider. The second space, H L ²(S O()), consists of functions which are holomorphic on an analog of the Cameron–Martin subspace for the group. It is proved that there is an isometry from the first space to the second one.The main theorem is that an infinite dimensional nonlinear analog of the Taylor expansion defines an isometry from H L ²(S O()) into the Hilbert space associated with a Lie algebra of the infinite dimensional group. This is an extension to infinite dimensions of an isometry of B. Driver and L. Gross for complex Lie groups.All the results of this paper are formulated for one concrete group, the Hilbert–Schmidt complex orthogonal group, though our methods can be applied in more general situations.     

Summability Kernels for <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Multipliers

In this article we study the problem of extending Fourier Multipliers on L ^p (T) to those on L ^p (R) by taking convolution with a kernel, called a summability kernel. We characterize the space of such kernels for the cases p = 1 and p = 2. For other values of p we give a necessary condition for a function to be a summability kernel. For the case p = 1, we present properties of measures which are transferred from M(T) to M(R) by summability kernels. Furthermore it is shown that every l _p sequence can be extended to some L ^q (R) multipliers for certain values of p and q.     

Radicals in pseudocomplemented lattices

For a pseudocomplemented latticeL, we prove that the filter D_n(L), 1n<, generated by then-strongly dense elements is contained in everyn-normal filter. Hence, D_n(L)=G_n(L)=Rad_n (L), where G_n(L) is the intersection of all n-normal filters, and Rad_n (L) is the intersection of alln-normal prime filters. Moreover, we prove that a prime filterP is n-normal iff D_n(L)=P. Consequently, for , we have D_n(L)=G_n(L)=Rad_n (L) and therefore iff Rad_n(L)={1} (or iff G_n(L)={1}).Considering the skeleton S(L) ofL, a complete clarification of the relationship between filters ofL and S(L) is given by studying th correspondence FFS(L).We state that D(L) (and that D₁(L), if is an irredundant intersection of maximal filters (resp. of *-maximal filters) iff S(L) is finite.Finally, for we state that the least *-congruence for which is that one generated by D_n(L).Presented by B. Jónsson.Research supported by the I.N.I:C, (Centro de Algebra da Universidade de Lisboa).     

Boundary control of parabolic systems: Finite-element approximation

Finite-element approximation of a Dirichlet type boundary control problem for parabolic systems is considered. An approach based on the direct approximation of an input-output semigroup formula is applied. Error estimates inL ₂[OT; L ₂()] andL ₂[OT; L ₂()] norms are derived for optimal state and optimal control, respectively. It turns out that these estimates areoptimal with respect to the approximation theoretic properties.Research supported in part under Grant no. NSG 4015, National Aeronautics and Space Administration.     

Ambiguous loci of the metric projection onto compact starshaped sets in a Banach space

LetE be a real Banach space andL(E) the family of all nonempty compact starshaped subsets ofE. Under the Hausdorff distance,L(E) is a complete metric space. The elements of the complement of a first Baire category subset ofL(E) are called typical elements ofL(E). ForXL(E) we denote by the metrical projection ontoX, i.e. the mapping which associates to eachaE the set of all points inX closest toa. In this note we prove that, ifE is strictly convex and separable with dimE2, then for a typicalXL(E) the map is not single valued at a dense set of points. Moreover, we show that a typical element ofL(E) has kernel consisting of one point and set of directions dense in the unit sphere ofE.     

Zur Struktur von Quadraturformeln

Summary Usually the errorR _n (j) of a quadrature formula is estimated with the aid of theL ₁-norm of the Peano kernel. It is shown that this term may be estimated rather sharp using the norm Q _n of the quadrature rule. Then it follows that formulas with non-negative weights are favourable also in the sense of minimizing theL ₁-norm of the kernel. A remainder term of the typeR _n (f)=cf⁽ⁿ⁺¹⁾ () is possible iff the kernel is definite. In the case of an interpolatory formula this definiteness is usually shown by an application of the so-called V-method. We determine the optimal formulas in the sense of this method. Then we analyse the influence of the structure of the mesh on the norm of a formula. We find that on an equidistant mesh withm nodes there exists a rule with a small norm if the order is not greater than .     

Degrees of logics with Henkin quantifiers in poor vocabularies

We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L* is of degree 0. We show that the same holds also for some weaker logics like L(H) and L(E). We show that each logic of the form L^(k)(Q), with the number of variables restricted to k, is decidable. Nevertheless – following the argument of M. Mostowski from [Mos89] – for each reasonable set theory no concrete algorithm can provably decide L^(k)(Q), for some (Q). We improve also some results related to undecidability and expressibility for logics L(H₄) and L(F₂) of Krynicki and M. Mostowski from [KM92].Mathematics Subject Classification (2000): 03C80, 03D35, 03B25Revised version: 28 August 2003     

The regulator problem for parabolic equations with Dirichlet boundary control

This paper considers the regulator problem for a parabolic equation (generally unstable), defined on an open, bounded domain , with control functionu acting in the Dirichlet boundary condition: minimize the quadratic functional which penalizes theL ₂(0, ; L₂())-norm of the solutiony and theL ₂(0, ; L₂())-norm of the Dirichlet controlu. The paper is divided in two parts. Part I derives, in a constructive way, the algebraic Riccati equation satisfied by the candidate Riccati operator solution (unique in our case) and, moreover, studies the regularity properties of the optimal pairu ⁰, y⁰. Part II studies a Galerkin approximation of the regulator problem. It shows first the uniform analyticity and the uniform exponential stability of the underlying discrete (approximating) semigroups. Then it establishes the desired convergence properties, in particular, pointwise Riccati operators convergence and, as a final goal, convergence of the original dynamics acted upon by the discrete feedbacks.Research partially supported by the National Science Foundation under Grant DMS-8301668.     

Nonabelian K-theory: The nilpotent class of K1 and general stability

A functorial filtration GL _n =S^–1L _n S⁰L _n S ⁱ L _n E _n of the general linear group GL _{n, n} 3, is defined and it is shown for any algebra A, which is a direct limit of module finite algebras, that S^–1 L _n (A)/S⁰L _n (A) is abelian, that S⁰L _n (A) S¹L _n (A) is a descending central series, and that S ⁱ L _n (A) = E _n(A) whenever i the Bass-Serre dimension of A. In particular, the K-functors k ₁ S ⁱ L _n =S ⁱ L _n /E _n are nilpotent for all i 0 over algebras of finite Bass-Serre dimension. Furthermore, without dimension assumptions, the canonical homomorphism S ⁱ L _n (A)/S ⁱ⁺¹ L _n (A)S ⁱ L _{n+ 1}(A)/S ⁱ⁺¹ L _{n + 1} (A) is injective whenever n i + 3, so that one has stability results without stability conditions, and if A is commutative then S⁰L _n (A) agrees with the special linear group SL _n (A), so that the functor S⁰L _n generalizes the functor SL _n to noncommutative rings. Applying the above to subgroups H of GL _n (A), which are normalized by E _n(A), one obtains that each is contained in a sandwich GL _n (A, ) H E _n(A, ) for a unique two-sided ideal of A and there is a descending S⁰L _n (A)-central series GL _n (A, ) S⁰L _n (A, ) S¹L _n (A, ) S ⁱ L _n (A, ) E _n(A, ) such that S ⁱ L _n (A, )=E _n(A, ) whenever i Bass-Serre dimension of A.Dedicated to Alexander Grothendieck on his sixtieth birthday     

A Minkowski-type theorem for covering minima in the plane

For a convex bodyKE ² and a latticeLE ² let _i (K, L),i=1, 2, denote its covering minima introduced by Kannan and Lovasz. We show ₁(K, L) ₂(K, L)V(K)3/4 det(L), whereV denotes the area. This inequality is tight and there are five different cases of equality.     

Conditions for Correct Solvability of a Simplest Singular Boundary Value Problem

We consider a boundary value problem where f(x) ∈ L_p(R), p ∈ [1,∞] (L_∞(R) ≔ C(R) and 0 ≤ q(x) ∈ L^loc₁( R). Boundary value problem (0.1) is called correctly solvable in the given space L_p(R) if for any f(x) ∈ L_p(R) there is a unique solution y(x) ∞ L_p(R) and the following inequality holds with absolute constant c(p) ∈ (0,∞). We find criteria for correct solvability of the problem (0.1) in L_p(R).     

On the relation between the Jackson and Jung constants of the spacesL p

For any infinitely metrizable compact Abelian groupG; 1pq<,n , the following relations are proved: whereK _pq(G, n, G) is the largest Jackson constant in the approximation of the system of characters by polynomials of ordern, d _pq(G, n, G) is the best Jackson constant,J(L _p(G), L_q(G)) is the Jung constant of the pair of real spaces (L _p(G), L_q(G)), and.Translated fromMatematicheskie Zametki, Vol. 58, No. 6, pp. 828–836, December, 1995.This work was supported by the Russian Foundation for Basic Research under grant No. 95-01-00657.     

Local invariance principles and their application to density estimation

Summary Letx ₁,...,x _n be independent random variables with uniform distribution over [0, 1] ^d , andX( ⁿ ) be the centered and normalized empirical process associated tox ₁,...,x _n . Given a Vapnik-Chervonenkis classL of bounded functions from [0, 1] ^d intoR of bounded variation, we apply the one-dimensional dyadic scheme of Komlós, Major and Tusnády to get the best possible rate in Dudley's uniform central limit theorem for the empirical process {E ⁽ⁿ⁾(h):hL}. WhenL fulfills some extra condition, we prove there exists some sequenceB _n of Brownian bridges indexed byL such that whereK (L) denotes the maximal variation of the elements ofL. This result is then applied to maximal deviations distributions for kernel density estimators under minimal assumptions on the sequence of bandwith parameters. We also derive some results concerning strong approximations for empirical processes indexed by classes of sets with uniformly small perimeter. For example, it follows from Beck's paper that the above result is optimal, up to a possible factor , whenL is the class of Euclidean balls with radius less thanr.     

Nonlocal problems in the theory of equations of motion of Kelvin-Voight fluids. 2

This article studies nonlocal problems for equations of motion of Kelvin-Voight fluids (2): 1) global solvability of initial-boundary-value problem (2)-(3) on halfaxisR ⁺ with free termf(x, t) S₂(⁺; L₂(0)) (see (4)); 2global solvability of system (2) on the entire axis R in the class of functions that are bounded as t±with free term f(x,t)S₂(; L₂());3) the existence of periodic solutions for system (2) that are periodic in t with period with free term,f(x,t)L₂((0,); L₂());4) the existence of solutions of system (2) that are almost periodic in t with free term f(x,t)S₂(, L₂()).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 111–124, 1990.     

On the strong controllability of the diffusion equation

Let (x,t)y (x,t),x[0, 1],t[0,T], be the solution of the diffusion equation in one spatial variable corresponding to zero initial conditions and boundary controluL ₂(0,T). GivenfL ₂(0, 1), it is not possible, in general, to find a controlu such thaty(·,T)=f. We extend the space of controls in such a manner thatL ₂(0,T) can be considered to be a subset of a new spaceS of control elements; this space contains elements which do provide a solution to the problem of moments associated with the problem of makingy(·,T)=f inL ₂(0, 1). We show then that the action of the elements ofS can be approximated by that of control functions inL ₂(0,T) in a suitable manner.     

On the Fredholm theory of Wiener-Hopf equations and the coupling method

The Fredholm properties of the Wiener-Hopf operator onL _p(⁺,^m) are investigated using the coupling method for solving operator equations. The theory applies to equations whose kernel is an element ofL ₁(,^mxm). As usual the determinant of the symbol is assumed to have no zeros on the real line. The method of analysis is independent of the realization theory for symbols that are analytic in a strip containing the real axis although in some sense closely related to it. The connection between the two methods is briefly analysed in the paper.     

Spectral estimates of Cauchy's transform inL 2(Ω)

We prove that the singular numbers of the Cauchy transform onL ²(D) are asymptotically , whiles _n (C _| L _a ² (D))1/n (whereL _a ² (D) is the subspace of analytic functions inL ²(D)). Also, the singular numbers of the logarithmic potential onL ²(D) are asympoticallys _n (L)1/n, whiles _n(L _{|L a} ² (D))1/n ². Our methods yield the asymptotic behavior of the singular numbers of the Cauchy Transform fromL _L ² () intoL ²() where and are rotation-invariant measures on .The author was partly supported by a grant from the national Science Foundation.     

Essential spectral radius for Markov semigroups (I): discrete time case

Using two new measures of non-compactness (P) and _w (P) for a positive kernel P on a Polish space E, we obtain a new formula of Nussbaum-Gelfand type for the essential spectral radius r _ess (P) on b. Using that formula we show that different known sufficient conditions for geometric ergodicity such as Doeblins condition, drift condition by means of Lyapunov function, geometric recurrence etc lead to variational formulas of the essential spectral radius. All those can be easily transported on the weighted space b _u . Some related results on L ² () are also obtained, especially in the symmetric case. Moreover we prove that for a strongly Feller and topologically transitive Markov kernel, the large deviation principle of Donsker-Varadhan for occupation measures of the associated Markov process holds if and only if the essential spectral radius is zero; this result allows us to show that the sufficient condition of Donsker-Varadhan for the large deviation principle is in fact necessary. The knowledge of r _ess (P) allows us to estimate eigenvalues of P in L ² in the symmetric case, and to estimate the geometric convergence rate by means of that in the metric of Wasserstein. Applications to different concrete models are provided for illustrating those general results. Mathematics Subject Classification (2000):60J05, 60F10, 47A10, 47D07     

Lattices of dominions in quasivarieties of Abelian groups

Let M be any quasivariety of Abelian groups, (H) be the dominion of a subgroup H of a group G in M, and L_q(M) be the lattice of subquasivarieties of M. It is proved that (H ) coincides with a least normal subgroup of the group G containing H, the factor group with respect to which is in M. Conditions are specified subject to which the set L(G,H,M) = { (H) | N L_q(M)} forms a lattice under set-theoretic inclusion and the map : L_q(M) L(G,H,M) such that (N) = (H) for any quasivariety N L_q(M)is an antihomomorphism of the lattice L _q (M) onto the lattice L(G, H, M).__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 238–251, March–April, 2005.