Order conditions for canonical Runge-Kutta-Nyström methods

We are concerned with Runge-Kutta-Nyström methods for the integration of second order systems of the special formd ² y/dt ²=f(y). If the functionf is the gradient of a scalar field, then the system is Hamiltonian and it may be advantageous to integrate it by a so-called canonical Runge-Kutta-Nyström formula. We show that the equations that must be imposed on the coefficients of the method to ensure canonicity are simplifying assumptions that lower the number of independent order conditions. We count the number of order conditions, both for general and for canonical Runge-Kutta-Nyström formulae.This research has been supported by Junta de Castilla y León under project 1031-89 and by Dirección General de Investigación Científica y Técnica under project PB89-0351.     

Estimates on the growth of meromorphic solutions of linear differential equations

We give a pointwise estimate of meromorphic solutions of linear differential equations with coefficients meromorphic in a finite disk or in the open plane. Our results improve some earlier estimates of Bank and Laine. In particular we show that the growth of meromorphic solutions with ()>0 can be estimated in terms of initial conditions of the solution at or near the origin and the characteristic functions of the coefficients. Examples show that the estimates are sharp in a certain sense. Our results give an affirmative answer to a question of Milne Anderson. Our method consists of two steps. In Theorem 2.1 we construct a path (₀, , t) consisting of the ray followed by the circle on which the coefficients are all bounded in terms of the sum of their characteristic functions on a larger circle. In Theorem 2.2 we show how such an estimate for the coefficients leads to a corresponding bound for the solution on z = t. Putting these two steps together we obtain our main result, Theorem 2.3.     

On Interpolation of the Fourier Maximal Operator in Orlicz Spaces

Let and be positive increasing convex functions defined on [0, ). Suppose satisfies the 2-condition, that is, (t)2 (C1t) for sufficiently large t, and has some nice properties. If -1(u)log(u+1) C2-1(u) for sufficiently large uthen we have S*(f) L CfL for all f L ([-, ])where S*(f) is the majorant function of partial sums of trigonometric Fourier series and fL is the Orlicz norm of f. This result is sharp.     

The addition formula for theta functions

Summary In this paper we solve the functional equationx(u + v)(u – v) = f ₁(u)g₁(v) + f₂(u)g₂(v) under the assumption thatx, , f ₁, f₂, g₁, g₂ are complex-valued functions onR ⁿ ,n N arbitrary, and 0 and 0 are continuous. Our main result shows that, apart from degeneracy and some obvious modifications, theta functions of one complex variable are the only continuous solutions of this functional equation.     

Estimates for the highest derivatives of solutions of elliptic and parabolic equations with continuous coefficients

We show that, in a certain sense, the Dini condition on the modulus of continuity of the coefficients of elliptic and parabolic equations of arbitrary order in a domain is necessary both for the existence of a classical solution of the first boundary problem under arbitrarily smooth data, and for deriving an a priori estimate for the maximum of the moduli of the highest derivatives in a do man ' in terms of max¦u¦in . The bibliography contains seven references.Translated from Matematicheski Zametki, Vol. 2, No. 5, pp. 549–560, November, 1967.     

Notes on Interpolation. X (Two Boundary Value Problems)

In this paper we use (0, 2) interpolational polynomials to give an approximate solution of the differential equation y(x) + A(x)y(x) = F(x), x I := [-1, 1] j in case when the boundary values are y(-1) = and y(1) = , , R.     

On the divergence of certain Hermite-Fejér interpolation

Summary In his paper [1]P. Turán discovers the interesting behaviour of Hermite-Fejér interpolation (based on the ebyev roots) not describing the derivative values at exceptional nodes {_n} _n=1 . Answering to his question we construct such exceptional node-sequence for which the mentioned process is bounded for bounded functions whenever –1<x<1 but does not converge for a suitable continuous function at any point of the whole interval [–1, 1].     

AW 2, 2 bound for a class of elliptic equations in nondivergence form with rough coefficients

Summary We prove an existence and uniqueness theorem for solutions inW ^{2, 2}(R ⁿ ) of second order elliptic equations with bounded measurable coefficients that depend only on one variable.This study was performed within the Gruppo Nazionale per l'Analisi Funzionale e le sue Applicazioni del C.N.R.     

Criteria for Validity of the Maximum Norm Principle for Parabolic Systems

We consider systems of partial differential equations, which contain only second derivatives in the x variables and which are uniformly parabolic in the sense of Petrovskii. For such systems we obtain necessary and, separately, sufficient conditions for the maximum norm principle to hold in the layer Rn × ( 0,T ] and in the cylinder × ( 0,T], where is a bounded subdomain of Rn. In this paper the norm is understood in a generalized sense, i.e. as the Minkowski functional of a compact convex body in Rm containing the origin. The necessary and sufficient conditions coincide if the coefficients of the system do not depend on t. The criteria for validity of the maximum norm principle are formulated as a number of equivalent algebraic conditions describing the relation between the geometry of the unit sphere of the given norm and coefficients of the system under consideration. Simpler formulated criteria are given for certain classes of norms: for differentiable norms, p-norms ( 1 p ) in Rm, as well as for norms whose unit balls are m-pyramids, m-bipyramids, cylindrical bodies, m-parallelepipeds. The case m = 2 is studied separately.     

Stability of unconditional convergence almost everywhere

We will investigate the properties of series of functions which are unconditionally convergent almost everywhere on [0, 1]. We will establish the following theorem: If the series _k=1 f _k(x) converges unconditionally almost everywhere, then there exists a sequence {_k} ₁ ,_k , such that if _{k k} , k=1, 2,..., the series _{k=1 k}/k(x) converges unconditionally almost every-where.Translated from Mate matte heskie Zametki, Vol. 14, No. 5, pp. 645–654, November, 1973.The author wishes to thank Professor P. L. Ul'yanov for his help.     

Extremal solutions for nonlinear parabolic problems with discontinuities

This paper examines nonlinear parabolic initial-boundary value problems with a discontinuous forcing term, which is locally of bounded variation. Assuming that there exist an upper solution and a lower solution , we prove the existence of a maximal and of a minimal solution within the order interval [,] L ^P (P xZ). Our approach is based on a Jordan-type decomposition for the discontinuous forcing term and on a fixed point theorem for nondecreasing maps in ordered Banach spaces.     

On the stability of wavelet and Gabor frames (Riesz bases)

If the sequence of functions _{j, k} is a wavelet frame (Riesz basis) or Gabor frame (Riesz basis), we obtain its perturbation system _j,k which is still a frame (Riesz basis) under very mild conditions. For example, we do not need to know that the support of or is compact as in [14]. We also discuss the stability of irregular sampling problems. In order to arrive at some of our results, we set up a general multivariate version of Littlewood-Paley type inequality which was originally considered by Lemarié and Meyer [17], then by Chui and Shi [9], and Long [16].     

Asymptotic limit law for the close approach of two trajectories in expanding maps of the circle

Summary Given two pointsx, yS ¹ randomly chosen independently by a mixing absolutely continuous invariant measure of a piecewise expanding and smooth mapf of the circle, we consider for each >0 the point process obtained by recording the timesn>0 such that |f ⁿ (x)–f ⁿ (y)|. With the further assumption that the density of is bounded away from zero, we show that when tends to zero the above point process scaled by –1 converges in law to a marked Poisson point process with constant parameter measure. This parameter measure is given explicity by an average on the rate of expansion off.Partially supported by FAPESP grant number 90/3918-5     

Quasi-additive functions

Summary Let 0 < 1 and letX, Y be real normed spaces. In this paper we consider the following functional inequality:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: X Y. Mainly continuous solutions are investigated. In the case whereY = R some necessary and some sufficient conditions for this inequality are given.Let 0 <1. The following functional inequality has been considered in [5]:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: R R. It appeared that the solutions of this inequality have properties very similar to those of additive functions (cf. [1], [2], [3]). The inequality under consideration seems to be interesting also because of its physical interpretation (cf. [5]). In this paper we shall consider this inequality in a more general case, wheref is defined on a real normed space and takes its values in another real normed space.The first part of the paper concerns the general case; in the second part we assume that the range off is inR.     

Transfer Functions of Regular Linear Systems Part III: Inversions and Duality

We study four transformations which lead from one well-posed linear system to another: time-inversion, flow^-inversion, time-flow-inversion and duality. Time-inversion means reversing the direction of time, flow-inversion means interchanging inputs with outputs, while time-flow-inversion means doing both of the inversions mentioned before. A well-posed linear system is time-invertible if and only if its operator semigroup extends to a group. The system is flow-invertible if and only if its input-output map has a bounded inverse on some (hence, on every) finite time interval [0, ] ( > 0). This is true if and only if the transfer function of has a uniformly bounded inverse on some right half-plane. The system is time-flow-invertible if and only if on some (hence, on every) finite time interval [0, ], the combined operator from the initial state and the input function to the final state and the output function is invertible. This is the case, for example, if the system is conservative, since then is unitary. Time-flow-inversion can sometimes, but not always, be reduced to a combination of time- and flow-inversion. We derive a surprising necessary and sufficient condition for to be time-flow-invertible: its system operator must have a uniformly bounded inverse on some left halfplane. Finally, the duality transformation is always possible.We show by some examples that none of these transformations preserves regularity in general. However, the duality transformation does preserve weak regularity. For all the transformed systems mentioned above, we give formulas for their system operators, transfer functions and, in the regular case and under additional assumptions, for their generating operators.     

Theorems on Lower Semicontinuity and Relaxation for Integrands with Fast Growth

We prove theorems on the lower semicontinuity and integral representations of the lower semicontinuous envelopes of integral functionals with integrands L of fast growth: c ₁ G(|Du|) + c ₂ L c ₃ G(|Du|) + c ₄ with c ₃ c ₁ > 0 and G : [0, [ [0, [ is an increasing convex function such that vG (v)/G(v) as v and is increasing for large v. Repeating the results for the case of the standard growth (G() = ||^p) the quasiconvexity of integrands characterizes the lower semicontinuity of integral functionals and their quasiconvexifications yield the integral functionals that are lower semicontinuous envelopes.Original Russian Text Copyright © 2005 Sychev M. A.The author was supported by the Russian Foundation for Basic Research (Grant 03-01-00162).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 679–697, May–June, 2005.     

Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

Net subgroups of Chevalley groups. II. Gauss decomposition

This paper is a continuation of RZhMat 1980, 5A439, where there was introduced the subgroup () of the Chevalley group G(,R) of type over a commutative ring R that corresponds to a net , i.e., to a set =(),, of ideals of R such that ₊ whenever ,,+ . It is proved that if the ring R is semilocal, then () coincides with the group ₀ considered earlier in RZhMat 1976, 10A151; 1977, 10A301; 1978, 6A476. For this purpose there is constructed a decomposition of () into a product of unipotent subgroups and a torus. Analogous results are obtained for sub-radical nets over an arbitrary commutative ring.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 62–76, 1982.In conclusion, the authors would like to thank Z. I. Borevich for his interest in this paper.     

A new version of the Hahn-Banach theorem

We discuss a new version of the Hahn-Banach theorem, with applications to linear and nonlinear functional analysis, convex analysis, and the theory of monotone multifunctions. We show how our result can be used to prove a localized version of the Fenchel-Moreau formula - even when the classical Fenchel-Moreau formula is valid, the proof of it given here avoids the problem of the vertical hyperplane. We give a short proof of Rockafellars fundamental result on dual problems and Lagrangians - obtaining a necessary and sufficient condition instead of the more usual sufficient condition. We show how our result leads to a proof of the (well-known) result that if a monotone multifunction on a normed space has bounded range then it has full domain. We also show how our result leads to generalizations of an existence theorem with no a priori scalar bound that has proved very useful in the investigation of monotone multifunctions, and show how the estimates obtained can be applied to Rockafellars surjectivity theorem for maximal monotone multifunctions in reflexive Banach spaces. Finally, we show how our result leads easily to a result on convex functions that can be used to establish a minimax theorem.     

Joint norm of operators and an investigation of nonlinear problems

Nonlinear operator equations of the form x=Fx in a real-valued Hilbert space H are studied. If the operator F is completely continuous and admits the bound Fx< Bx+b, where B is a continuous linear operator then for B<1 the Schauder principle is applicable to the equation x=Fx and this equation possesses at least one solution x H. If the bound Fx<,B₁x+B₂x+b is valid where B₁ and B₂ are bounded linear operators then the simplest conditions for solvability of the equation x=Fx is of the form B₁+B₂<1. This condition could be relaxed. The proposed method is applied to the investigation of a two-point boundary problem (cf., e.g., [1–3]). New conditions for the existence of solutions are obtained.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 12, pp. 1605–1616, December, 1990.