Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

Conditions for non-oscillation of singular linear differential equations of second order

Conditions are found in the fulfillment of which each non-trivial solution of the equation u+ (t)u+(t)u=0, where(t) L(a, b) and (t–a)(t–b)(t) L(a, b) has not more than one zero on the interval atb.Translated from Matematicheskie Zametki, Vol. 6, No. 5, pp. 633–639, November, 1969.     

Topologically invariant linear forms on spaces of abstract distributions on a locally compact abelian group

A special case of the main result proved in this paper is the following. IfG is a locally compact, -compact, non-compact connected abelian group, thenL ² (G)={f–*f:fL ² (G), L ¹ (G), 0 and _G =1}. In this case, any topologically invariant linear form onL ² (G) is 0.     

Die Weingarten-Regelflächen

Referring to articles of BELTRAMI (1865), DINI (1866) and CHARIAR (1978), but using a completely different approach, we determine allruled surfaces in Euclidean space ³, which are (at leastlocally) WEINGARTEN —-surfaces under theminimal assumption C². Theskew ruled WEINGARTEN —surfaces can be characterized by havingconstant invariants d O (parameter of distribution), k (skewness of distribution) and (striction angle); theirfunctional (WEINGARTEN-)relation between the mean curvature H and the Gaussian curvature K of is of the form H= (-K)^1/4 + (-K)^3/4 with arbitrary real constants ,. These facts allow various geometric interpretations.

---

---

Herrn Prof. Dr. Oswald Giering zum 60. Geburtstag gewidmet     

Linear response of a viscous liquid sheet to external pressure perturbation. Long wave approximations

This paper is concerned with the linear signal response analysis of a thin viscous liquid sheet which is at rest in an appropriate frame of reference and in contact with passive external media, and on which localized external pressures act from the passive media as sources of perturbation.The frame of the analysis is provided by general formulae for the response signals of the sheet in the two excitation modes, sinuous and varicose, which result as the solution of the appropriate fluid dynamic initial-boundary value problems by the Fourier-Laplace transform technique. These formulae display how the signals depend on the nature of the perturbation and on the spectrum of the (linear) eigenmodes of the sheet.The signals can be evaluated either numerically or, as initiated in this paper, analytically, in long wave approximations. The long wave approximation will be seen in the sequel to concentrate on particular eigenmodes of the sheet spectrum, with small values k of the wave vector along the sheet. The present paper is devoted mainly to a detailed analysis of the spectrum of eigenmodes of the sheet, and to the formulation of long wave approximations of (linear) response signals of the sheet in the context of this analysis.It turns out that the sheet spectrum of eigenmodes depends on only one characteristic number , which depends on the (positive) fluid parameters: the surface tension at (both) the interfaces of the sheet, the density of the fluid, its kinematic viscosity , and on the thickness h of the sheet: This number is closely related, by to the Ohnesorge number where is the dynamic viscosity of the liquid.It will be shown in the sequel that of the infinitely many branches of the sheet spectrum only two (pairs of) soft branches, one sinuous and one varicose, will be relevant for a long wave approximation. For these branches asymptotic expansions of the dispersion relations (k) between the (complex) mode frequencies and for long waves (i.e. for k  0), which obey (k)  0 with k  0, will be derived.The analytic long wave dispersion relations for the (soft) sinuous and varicose spectral branches allow a very favourable insight into the qualitative mode behaviour, including analogies beyond liquid sheets. They show e.g. that to their lowest orders in k the soft sinuous modes are nondispersive, i.e. and only weakly absorptive, i.e.   k² for low viscosity and   k⁴ for high viscosity ( < 0). Their signals are therefore expected to have some resemblance to signals of a flexible membrane on the one side and those of a (2-dimensional) diffusion process, or a hyperdiffusion process where is replaced by The behaviour of the soft varicose modes will be seen to depend on the value of : For ² < 4 the asymptotic expansion for k  0 gives

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Global properties of solutions to 1D-viscous compressible barotropic fluid equations with density dependent viscosity

The Navier-Stokes equations for compressible barotropic fluid in 1D with the mass force under zero velocity boundary conditions are studied. We prove the uniform upper and lower bounds for the density as well as the uniform in time L ²()-estimates for _x and u _x (u is the velocity). Moreover, a collection of the decay rate estimates for - (with being the stationary density) and u in ²()-norm and H ¹()-norm as time t are established. The results are given for general state function p() (but mainly monotone) and viscosity coefficient µ() of arbitrarily fast (or slow) growth as well as for the large data.     

From Ginzburg-Landau to Gross-Pitaevskii

In this note we consider the Gross-Pitaevskii equation i _t ++(1–²)=0, where is a complex-valued function defined on ^N×, and study the following 2-parameters family of solitary waves: (x, t)=e ^it v(x ₁–ct, x), where and x denotes the vector of the last N–1 variables in ^N . We prove that every distribution solution , of the considered form, satisfies the following universal (and sharp) L -bound:

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

Quasi-Newton methods for saddlepoints

The well-known quadratically convergent methods of the Huang type (Refs. 1 and 2) to maximize or minimize a functionf: ⁿ are generalized to find saddlepoints off. Furthermore, a procedure is derived which homes in on saddlepoints with prescribed inertia, i.e., with a given number of positive and negative eigenvalues in the Hessian matrix off. Examples are presented to show that saddlepoints with different inertia can be calculated from the same starting vector.     

Smoothness of solutions of a nonlinear ode

Smoothness of aC -functionf is measured by (Carleman) sequence {M _k} ₀ ; we sayfC _M [0, 1] if|f ^(k) (t)|CR ^k M _k,k=0, 1, ... withC, R>0. A typical statement proven in this paper isTHEOREM: Let u, b be two C -functions on [0, 1]such that (a) u=u ²+b, (b) |b ^(k) (t)|CR ^k (k!) , >1,k_–.Then |u^(k)(t)|C₁R^k((k–1)!),k_–.The first author acknowledges the hospitality of Mathematical Research Institute of the Ohio State University during his one month visit there in the spring of 1999     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

Non-Uniformly Elliptic Equations with Natural Growth in the Gradient

We prove the existence of bounded solutions for a class of nonlinear elliptic problems of type–div(a(x,u,Du))=H(x,u,Du)+f, uW ^1,p ₀()L (),where a(x,,)b(||)|| ^p , b is a continuous monotone decreasing function and |H(x,,)| k()|| ^p , k is a continuous monotone increasing function.     

Growth of length of sequential derivation transformed into natural one

We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())2^2·length( ). There is constructed a sequence of Gentzen derivations of length _i, for which the length of (( _i))2^{1/3·length(i}), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.     

Left linear theories — A generalization of module theory

In this paper we introduce left linear theories of exponentN (a set) on the setL as mapsL ×L ^N (l, ) l · L such that for alll L and , L ^N the relation (l · ) =l( · ) holds, where · L ^N is given by ( · )(i) = (i),i N. We assume thatL has a unit, that is an element L ^N withl · =l, for alll L, and · = , for all L ^N . Next, left (resp. right)L-modules andL-M-bimodules and their homomorphisms are defined and lead to categoriesL-Mod, Mod-L, andL-M-Mod. These categories are algebraic categories and their free objects are described explicitly. Finally, Hom(X, Y) andX Y are introduced and their properties are investigated.Herrn Professor Dr. D. Pumplün zum 60. Geburtstag gewidmet