Distoriton of area and conditioned Brownian motion

Summary In a simply connected planar domainD the expected lifetime of conditioned Brownian motion may be viewed as a function on the set of hyperbolic geodesics for the domain. We show that each hyperbolic geodesic induces a decomposition ofD into disjoint subregions and that the subregions are obtained in a natural way using Euclidean geometric quantities relating toD. The lifetime associated with on each _j is then shown to be bounded by the product of the diameter of the smallest ball containing _j and the diameter of the largest ball in _j . Because this quantity is never larger than, and in general is much smaller than, the area of the largest ball in _j it leads to finite lifetime estimates in a variety of domains of infinite area.Research of the first author was supported in part by NSF Grant DMS-9100811Research of the second author was supported in part by NSF Grant DMS-9105407     

L 2-approximation by the translates of a function and related attenuation factors

Summary Let be thek-dimensional subspace spanned by the translates (·–2j/k),j=0, 1, ...,k–1, of a continuous, piecewise smooth, complexvalued, 2-periodic function . For a given functionfL ²(–, ), its least squares approximantS _kf from can be expressed in terms of an orthonormal basis. Iff is continuous,S _kf can be computed via its discrete analogue by fast Fourier transform. The discrete least squares approximant is used to approximate Fourier coefficients, and this complements the works of Gautschi on attenuation factors. Examples of include the space of trigonometric polynomials where is the de la Valleé Poussin kernel, algebraic polynomial splines where is the periodic B-spline, and trigonometric polynomial splines where is the trigonometric B-spline.     

On the equation of similar profiles

Summary Considerf+ ff+ (1–f²)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.

---

Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f²)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).

     

Angular limits of holomorphic functions which satisfy an integrability condition

Let (–1,1), let 2/(1–)p<, letp denote the Hölder conjugate ofp, and let be an open arc of the unit circle. It is shown that, iff is a holomorphic function on the unit disc such that: (i) (1–|z|)log⁺|f(z)| isL ^p -integrable on the sector {r:0f has an infinite asymptotic value has -finite (2–(1+)p)-dimensional Hausdorff, measure, thenf has finite angular limits on a subset of of positive linear measure. In fact, a stronger conclusion will be established.     

On the isotopy of Legendrian knots

Let ₀ and ₁ be Legendrian knots which are isotopic as usual knots, and which have the same obvious invariants rot and link. It seems to be an open question whether ₀ and ₁ are isotopic as Legendrian knots. In the paper we give a positive answer to this question for the (rather restricted) class of Legendrian knots with nonintersecting fronts.     

The compact support property for solutions to the heat equation with noise

Summary We consider all solutions of a martingale problem associated with the stochastic pde and show thatu(t,·) has compact support for allt0 ifu(0,·) does and if <1. This extends a result of T. Shiga who derived this compact support property for 1/2 and complements a result of C. Mueller who proved this property fails if 1.The author's research was supported by an NSF grant and an NSERC operating grantThe author's research was supported by an NSERC operating grant     

Controllability of linear systems,differential geometry curves in grassmannians and generalized grassmannians,and riccati equations

We study the linear system =Ax+Bu from a differential geometric point of view. It is well-known that controllability of the system is related to the one-parameter family of operators e^t B. We use this to give a proof of the classical controllability conditions in terms of the differential geometry of certain curves in ⁿ. We then view (t)=Im(e^t B) as a curve in appropriate Grassmannian and see that, in local coordinates, is an integral curve of the flow induced by a matrix Riccati equation. We obtain qualitative geometric conditions on that are equivalent to the controllability of the system. To get quantitiative results, we lift to a curve l' in a splitting space, a generalized Grassmannian, which has the advantage of being a reductive homogeneous space of the general linear group, GL(ⁿ). Explicit and simple expressions concerning the geometry of are computed in terms of the Lie algebra of GL(ⁿ), and these are related to the controllability of the system.James Wolper was a visiting professor in the Department of Mathematics at Texas Tech University while much of this research was conducted. He would like to express appreciation for the hospitality he received during his visit.     

Dehn twists and pseudo-Anosov diffeomorphisms

Summary We show that it is possible to obtain many pseudo-Anosov diffeomorphisms from Dehn twists. In particular, we generalize a theorem of Long and Morton to obtain that iff is a pseudo-Anosov diffeomorphism of an oriented surface andT is the Dehn twist around the simple closed curve , then the isotopy class ofT ⁿ f contains a pseudo-Anosov diffeomorphism except for at most 7 consecutive values ofn.     

Explicitly solvable model of Mössbauer scattering

An explicitly solvable model of Mössbauer scattering of rays by a nucleus bound in a harmonic-oscillator potential is constructed. The probability of elastic scattering, which is proportional to the Debye—Waller factor, is calculated in the framework of the explicitly solvable scattering problem. It is assumed that the rms deviation x of the nucleus and the photon wave numberk satisfykxE /E , whereE andE are typical energy levels of the photon and the oscillator states.St Petersburg State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 3, pp. 439–430, June, 1993.     

Phragmén-Lindelöf theorems for second-order quasilinear elliptic equations

Analogues are formulated of the well-known, in the theory of analytic functions, Phragmen-Lindelöf theorem for the gradients of solutions of a broad class of quasilinear equations of elliptic type. Examples are given illustrating the accuracy of the results obtained for the gradients of solutions of the equations of the form div(|U|^–2u)=f(x, u, u), where f(x, u, u) is a function locally bounded in ²ⁿ⁺¹. f(x, 0, u)=0, uf(x, u, u) c¦u¦1+q(1+ ¦u|), > 1, c > 0, q > 0, is an arbitrary real number, and n >- 2. The basic role in the technique employed in the paper is played by the apparatus of capacitary characteristics.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 10, pp. 1376–1381, October, 1992.The author sincerely appreciates E. M. Landis's permanent attention and numerous useful discussions.     

A priori estimates of the solution of the dirichlet problem for the Monge-ampére equation in weight spaces

One proves that a priori boundedness of the norm of the solution of the problem det(U_xx)=f(x,u,u_x)>>0,u¦=0. The magnitudes of the exponents,() depends on whether the arguments u p occur or not in f (x,u,p).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 125, pp. 74–90, 1983.     

Mittelwert der Eulerschen φ-Funktion und des Quadrates der Dirichletschen Teilerfunktion in algebraischen Zahlkörpern

LetK be an algebraic number field, and for every integer K let () andd(), respectively, denote the number of relatively prime residue classes and the number of divisors of the principal ideal (). Asymptotic equalities are proved for the sums () and d ²(), where runs through certain finite sets of integers ofK.     

Symmetrization of functions in Sobolev spaces and the isoperimetric inequality

A positive measurable function f on R^d can be symmetrized to a function f^* depending only on the distance r, and with the same distribution function as f. If the distribution derivatives of f are Radon measures then we have the inequality f^*f, where f is the total mass of the gradient. This inequality is a generalisation of the classical isoperimetric inequality for sets. Furthermore, and this is important for applications, if f belongs to the Sobolev space H¹,P then f^* belongs to H¹,P and f^*_pf_p.     

The intersection of complete geodesics on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> with positive curvature

Let M be a Riemannian manifold. A complete geodesic on M means that :(-,+)M is a normalized geodesic. In this paper, we prove that on (S²,g) with positive curvature, any two complete geodesics must intersect an infinite number of times, and a complete geodesic must self-intersect an infinite number of times. Mathematics Subject Classification (2000) 53C40 (53C22)     

On the radicals of structural matrix rings

The relationship between the radical of a ringR and a structural matrix ring overR has been determined for some radicals. We continue these investigations, amongst others, determining exactly which radicals have the property (M(,R))=M( _s ,(R))+M( _a ,⁺(R))for any structural matrix ringM(,R) and finding (M(,R)) for any hereditary subidempotent radical .     

Turán's extremal problem in random graphs: Forbidding odd cycles

For 0<1 and graphsG andH, we writeGH if any -proportion of the edges ofG span at least one copy ofH inG. As customary, we writeC ^k for a cycle of lengthk. We show that, for every fixed integerl1 and real >0, there exists a real constantC=C(l, ), such that almost every random graphG _{n, p} withp=p(n)Cn ^–1+1/2l satisfiesG _n,p1/2+ C ^2l+1. In particular, for any fixedl1 and >0, this result implies the existence of very sparse graphsG withG _1/2+ C ^2l+1.The first author was partially supported by NSERC. The second author was partially supported by FAPESP (Proc. 93/0603-1) and by CNP_q (Proc. 300334/93-1). The third author was partially sopported by KBN grant 2 1087 91 01.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

The Orders of Related Elements of a Finite Field

All finite fields q (q 2, 3, 4, 5, 7, 9, 13, 25, 121) contain a primitive element for which + 1/ is also primitive. All fields of square order q ² (q 3, 5) contain an element of order q + 1 for which + 1/ is a primitive element of the subfield q. These are unconditional versions of general asymptotic results.     

An extension of the fenchel theorem

We give an extension of the Fenchel-Borsuk result by introducing the total absolute torsion-curvature KT() for regular curves whose tangent indicatrix is a piecewise regular curve (-closed curves). We prove that KT() is low bounded by 2 and we give a geometric characterization for the -closed curves whose KT() is minimal.     

Small Ball Estimates in <Emphasis Type="Italic">p</Emphasis>-Variation for Stable Processes

Let Z _t , t 0 be a strictly stable process on with index (0, 2]. We prove that for every p > , there exists = _{, p} and such that