Inverse Problems in the Theory of Singular Perturbations

First, in joint work with S. Bodine of the University of Puget Sound, Tacoma, Washington, USA, we consider the second-order differential equation ² y'=(1+² (x, ))y with a small parameter , where is analytic and even with respect to . It is well known that it has two formal solutions of the form y^±(x,)=e^±x/h^±(x,), where h^±(x,) is a formal series in powers of whose coefficients are functions of x. It has been shown that one (resp. both) of these solutions are 1-summable in certain directions if satisfies certain conditions, in particular concerning its x-domain. We show that these conditions are essentially necessary for 1-summability of one (resp. both) of the above formal solutions. In the proof, we solve a certain inverse problem: constructing a differential equation corresponding to a certain Stokes phenomenon. The second part of the paper presents joint work with Augustin Fruchard of the University of La Rochelle, France, concerning inverse problems for the general (analytic) linear equations ^r y' = A(x,) y in the neighborhood of a nonturning point and for second-order (analytic) equations y' - 2xy'-g(x,) y=0 exhibiting resonance in the sense of Ackerberg-O'Malley, i.e., satisfying the Matkowsky condition: there exists a nontrivial formal solution such that the coefficients have no poles at x=0.     

When do Toeplitz and Hankel operators commute?

We completely classify all Toeplitz and Hankel operators which commute; namely, we prove that that a non-trivial Hankel operator and a non-trivial Toeplitz operator commute if and only if the Hankel operator has symbolz, where is the symbol of the Toeplitz operator, and is an affine function of the characteristic function of certain anti-symmetric sets of the unit circle.     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

The absolute convergence of orthogonal series

We obtain sufficient conditions for the absolute convergence of Fourier series for functions of L _d ² depending on the properties of the function being expanded and the rate of growth of the sums of the system of functions {_k(t)} orthonormalized in [a, b] with respect to d(t). We show that if at some point x [a, b] the function (t) has a discontinuity, at that point the Fourier series of any functionf(t) L _d ² , converges absolutely.Translated from Matematicheskie Zametki, Vol. 12, No. 5, pp. 511–516, November, 1972.     

Büschel linearer Abbildungen

If , , are linear mappings out of a projective space (P,G) into a projective space (P', G') and , then is said to belong to the pencil <,<> of linear mappings spanned by and if in the main (x), (x), (x) are collinear for all x P. We give some sufficient conditions for x P and , , such that (x) is uniquely determined by giving, and (z), z P.

---

---

Herrn Prof. Dr.Helmut Karzel zum 60. Geburtstag gewidmet     

Inclusion statements for operator equations by a continuity principle

The paper is concerned with Range-Domain Implications MvCvK, where M is a given operator and C,K denote given sets. Sufficient conditions are derived by a very general continuity principle. Various special cases are considered such as inverse-positivity, MvMwvw, and a generalization H(,[,])MvH(,[,]) v, where Mu=H(u,u) and [,] denotes an order interval. These results are applied to differential operators related to boundary or initial value problems. The goal is to furnish a simple uniform approach, to explain its application, and to provide a kind of survey on what problems have been treated in this way.     

Group Classification of Nonlinear Schrödinger Equations

We propose an approach to problems of group classification. By using this approach, we perform a complete group classification of nonlinear Schrödinger equations of the form i _t + + F(, *) = 0.     

Diameters of a class of smooth functions in the space L2

The class V, consisting of the smooth functions f(t), ot1, satisfying the condition ₀ ¹ [f ^(r) (t)]dt1, where the function (t) is nonnegative and r is a natural number, is studied. Under certain restrictions on the function (t) ensuring the compactness of the class V, the order of decrease of the Kolmogorov diameters d_n(V) is computed. The analogous problem for the case r=1 is solved also for functions of several variables.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 671–678, November, 1977.     

On the Embedding of an Affine Space into a Projective Space

Let k, K be fields, and assume that |k| 4 and n, m 2, or |k| = 3 and n 3, m 2. Then, for any embedding of AG(n, k) into PG(m, K), there exists an isomorphism from k into K and an (n+1) × (m+1) matrix B with entries in K such that can be expressed as (x₁,x₂,...,x_n) = [(1,x₁ ,x₂ ,...,x_n )B], where the right-hand side is the equivalence class of (1,x₁ ,x₂ ,...,x_n )B. Moreover, in this expression, is uniquely determined, and B is uniquely determined up to a multiplication of element of K*. Let l 1, and suppose that there exists an embedding of AG(m+l, k) into PG(m, K) which has the above expression. If we put r = dim _k K, then we have r 3 and m > 2 l-1)/(r-2). Conversely, there exists an embedding of AG(l+m, k) into PG(m, K) with the above expression if K is a cyclic extension of k with dim _k K=r 3, and if m 2l/(r-2) with m even or if m 2l/(r-2) +1 with m odd.     

Some extensions of the principles of idealization transfer and choice in the relative internal set theory

The results established in this paper are in connection with the Relative Internal Set Theory (R.I.S.T.). The main result is the general principle of choice: Let be a level and let (x, y) be anexternalbounded formula of the language of R.I.S.T.. Suppose that to each elementx, dominated by , corresponds an elementy _x such that (x, y _x ) holds, then there exists a function of choice such that, which is a very general principle of choice, for everyx dominated by , (x, (x)) holds. More than that, we establish that if all the elementsy _x are uniformly dominated by a level then we can prescribe that the function of choice is also dominated by .     

A class of consistent tests for exponentiality based on the empirical Laplace transform

The Laplace transform (t=E[exp(–tX)]) of a random variable with exponential density exp(–x), x0, satisfies the differential equation (+t)(t)+(t=0, t0). We study the behaviour of a class of consistent (omnibus) tests for exponentiality based on a suitably weighted integral of % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacaGGBbGaaiikai% qbeU7aSzaajaWaaSbaaSqaaGqaciaa-5gaaeqaaOGaey4kaSIaamiD% aiaacMcacqaHipqEcaWFNaWaaSbaaSqaaiaad6gaaeqaaOGaaiikai% aadshacaGGPaGaey4kaSIaeqiYdK3aaSbaaSqaaiaad6gaaeqaaOGa% aiikaiaadshacaGGPaGaaiyxamaaCaaaleqabaGaaGOmaaaaaaa!4C69!\[[(\hat \lambda _n + t)\psi '_n (t) + \psi _n (t)]^2 \], where % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacuaH7oaBgaqcam% aaBaaaleaaieGacaWFUbaabeaaaaa!3A66!\[\hat \lambda _n \] is the maximum-likelihood-estimate of and _n is the empirical Laplace transform, each based on an i.i.d. sample X ₁,...,X _n .     

Kennzeichnungen von Minimalschraubflächen Mittels Vertikalisophoten und Horizontalschattengrenzen

In Euclidean space E³, let be a (regular C-) minimal surface without planar points having locally (without loss of generality) the spherical representation n(u,v)=(cos v/cosh u, sin v/cosh u, tanh u), (u,v)G². The corresponding (isothermal) parametrization : x(u,v), (u,v)G can be expressed using agenerating Function (u,v) which satisfies _{uu + vv} – 2_utanh u + =0; the v-curves (coordinate curves u=u₀) in , along each of which the angle between the normal n(u,v) of and the x₃-axis is constant, are thevertical- isophotes of , the u-curves (v=v₀) being their orthogonal trajectories (theorems 1, 2). Considering u-curves and/or v-curves of having additional geometric properties (curves of constant/steepest slope, curves of constant Gaussian curvature, asymptotic curves, lines of curvature or geodesies of ) we prove many newgeometric characterizations of theright helicoid, thecatenoid andScherk's second surface (theorems 3–7). All of these surfaces areminimal hélicoidal surfaces.     

An algorithm for constructing an optimal structural schedule

The article is devoted to the problem of finding an optimal schedule for a class of functionals ƒ which allows for the existence of a structural set of activities. The functionalƒ(R), where, is defined in the following way: where {_i(t)} is a structural set of functions, and the function F is defined on any finite set of arguments and satisfies the following conditions: 1)F(x)=(x); 2) F(x₁,x₂)=(x₁,x₂), F(x₁,x₂,...x₃)= (x₁, F(x₂,...,x_s)), S2; 3) and do not decrease in each of their arguments, and moreover, 3a) strictly increases with the increase of both arguments, 3b) if (x₁,x₂)>(x₁, x₂ (x₂, x₃)> (x₂,x₃), then F(x₁,x₂,x₃)>F(x₁,x₂,x₃).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 124, pp. 5–20, 1983.     

Feller Processes Generated by Pseudo-Differential Operators: On the Hausdorff Dimension of Their Sample Paths

Let {X _t} _t0 be a Feller process generated by a pseudo-differential operator whose symbol satisfiesÇⁿ|q(Ç,)|c(1=)()) for some fixed continuous negative definite function (). The Hausdorff dimension of the set {X _t:tE}, E [0, 1] is any analytic set, is a.s. bounded above by dim E. is the Blumenthal–Getoor upper index of the Levy Process associated with ().     

Integral averages and oscillation of second order sublinear differential equations

New oscillation criteria are given for the second order sublinear differential equation

Asymptotic normality of p-norm estimators in multiple regression

Summary The consistency and asymptotic normality of p-norm estimators (1<p<2) is established by applying some of the ideas of Huber (1973), where asymptotic normality of the so-called M-estimators for regression parameters is shown. A central role is played by a weight function . Huber assumed that , and are bounded. This is, however, not the case for p-norm estimators with 1<p<2, but some of his ideas can still be applied.     

The Chebyshev centers in a normed linear space

ＳＯＮＧＷＥＮＨＵＡ（宋文华）（ＩｎｓｔｉｔｕｔｅｏｆＭａｔｈｅｍａｔｉｃａｌＳｃｉｅｎｃｅ,ＤａｌｉａｎＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ,Ｄａｌｉａｎ１１６０２４,Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：ＡｃｈａｒａｃｔｅｒｉｚａｔｉｏｎｏｆＣｈ...     

The continuous solution of a functional equation of Abel

Summary The functional equation(x) + (y) = (xf(y) + yf(x)) (1) for the unknown functionsf, and mapping reals into reals appears in the title of N. H. Abel's paper [1] from 1827 and its differentiable solutions are given there. In 1900 D. Hilbert pointed to (1), and to other functional equations considered by Abel, in the second part of his fifth problem. He asked if these equations could be solved without, for instance, assumption of differentiability of given and unknown functions. Hilbert's question was recalled by J. Aczél in 1987, during the 25th International Symposium on Functional Equations in Hamburg-Rissen. In particular Aczél asked for all continuous solutions of (1). An answer to his question is contained in our paper. We determine all continuous functionsf: I ,: A _f (I × I) and: I that satisfy (1). HereI denotes a real interval containing 0 andA _f (x,y) := xf(y) + yf(x), x, y I. The list contains not only the differentiable solutions, implicitly described by Abel, but also some nondifferentiable ones.Applying some results of C. T. Ng and A. Járai we are able to obtain even a more general result. For instance, the assertion (i.e. the list of solutions) remains unchanged if we replace continuity of and by local boundedness of orf(0)I from above or below. Strengthening a bit the assumptions onf we can preserve a large part of the assertion requiring only the measurability of either orf(0)I.     

A Strong Law for Mixing Random Variables

A sharp almost sure bound is derived for limit points of average sum of weakly dependent random variables, which ensures strong laws of large numbers for and -mixing random variables, without assumptions on rate of tending to zero of and -mixing parameters _n and _n.