A note on unit and class number of real quadratic fields

Letp be an odd prime withp1 (mod 4) andQ(p) be the real quadratic field. Also let andh denote the fundamental unit and the class number of Q(p), respectively. The main purpose of this paper is to study the explicit expressions of ^h and ^2h , and to discuss the problems related to the conjecture of Ankeny-Artin-Chowla.     

On feasible sets defined through Chebyshev approximation

LetZ be a compact set of the real space with at leastn + 2 points;f,h1,h2:Z continuous functions,h1,h2 strictly positive andP(x,z),x(x ₀,...,x _n ) ⁿ⁺¹,z , a polynomial of degree at mostn. Consider a feasible setM {x ⁿ⁺¹z Z, –h ₂(z) P(x, z)–f(z)h ₁(z)}. Here it is proved the null vector 0 of ⁿ⁺¹ belongs to the compact convex hull of the gradients ± (1,z,...,z ⁿ ), wherez Z are the index points in which the constraint functions are active for a givenx* M, if and only ifM is a singleton.This work was partially supported by CONACYT-MEXICO.     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

The interpolation ofℓ r sequences by hp functions

The sequence spaceH ^P (z)={{f (z_h)}:f H ^p} is defined for a fixed sequence Z={z_k} of different points of the open unit disk and the Hardy class HP of analytic functions in the disk. For an arbitrary p[1, ) is constructed a point sequence Z= {z_k} such that ¹h ^p(z), but ^r h^p (Z) for r > 1. It follows from a well-known result of L. Carleson that the inclusions ^r h (Z) for all r[1,] are equivalent.Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 503–508, April, 1977.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.     

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     

Positivity Preserving Forms have the Fatou Property

We prove that if (,D) is a positivity preserving form on L ² (E;m), and if (u _n)_n is a sequence in D() converging m-almost everywhere to u L ² (E;m), then (u,u) lim inf_n (u _n ,u _n ).     

The convergence rates of empirical Bayes estimation in a multiple linear regression model

Empirical Bayes (EB) estimation of the parameter vector =(,²) in a multiple linear regression modelY=X+ is considered, where is the vector of regression coefficient, N(0,² I) and ² is unknown. In this paper, we have constructed the EB estimators of by using the kernel estimation of multivariate density function and its partial derivatives. Under suitable conditions it is shown that the convergence rates of the EB estimators areO(n ^{-(k-1)(k-2)/k(2k+p+1)}), where the natural numberk3, 1/3<<1, andp is the dimension of vector .The project is supported by the National Natural Science Foundation of China.     

On the sums of a family of Kapteyn series

The series ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) arise in studying the emission and absorption of radiation by a charged particle on a Kepler orbit. For the first few even,r, the sums are obtained in closed form, and for oddr they are given in terms of a certain definite integral. The integral is expressed as a power series in for ||<1, and, near =1, an asymptotic expansion in powers of (1–²)^1/2 may be obtained.

---

Résumé La série ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) se trouve par l'émission et l'absorption du rayonnement d'une particule chargée sur l'orbite Keplerien. Pour les plus petites valuers paires der, les sommes s'obtienment en forme compacte, et pour les valuers impaires, elles se déterminent d'après une intégrale definie. Pour ||<1, cette intégrale se développe dans une série de puissances de , et dans le voisinage de =1, on obtient une série asymptotique et puissances de (1–²)^1/2.

     

Shift invariant spaces inL 2

If is a complex, separable Hilbert space, letL ² () denote theL ²-space of functions defined on the unit circle and having values in . The bilateral shift onL ²() is the operator (U f)()=f(). A Hilbert spaceH iscontractively contained in the Hilbert spaceK ifHK and the inclusion mapH–K is a contraction. We describe the structure of those Hilbert spaces, contractively contained inL ²(), that are carried into themselves contractively byU . We also do this for the subcase of those spaces which are carried into themselves unitarily byU .     

Über die Anzahl der Lösungen der diskreten Theodorsen-Gleichung

Summary Discretization of the Theodorsen integral equation (T) yields the discrete Theodorsen-equation (T _d ), a system of 2N nonlinear equations. A so-called -condition may be fulfilled. It is known that (T) has exactly one continuous solution. This solution gives the boundary correspondence of the normalized conformal map of the unit disc onto a given domainG. It is also known that (T _d ) has one and only one solution if <1 and at least one solution if 1. We show here that for every 1 and N\ {1} there is a domainG satisfying an -condition such that (T _d ) has an infinite number of solutions. Moreover, givenK>0 and any domainG that fulfills an -condition, we will construct a domainG ₁ in the neighbourhood ofG that fulfills a max (1, +K)-condition such that (T _d ) forG ₁ has an infinite number of solutions. The underlying idea of the construction of those domains allows also to give important new facts about iterative methods for the solution of (T _d ), even in the case <1.

     

Comparison results for the lower tail of Gaussian seminorms

Let =( _n ) be i.i.d.N(0, 1) random variables andq(x), q(x):R [0, ) be seminorms. We investigate necessary and sufficient conditions that the ratio ofP(q()<) andP(q()<) goes to a positive constant as 0⁺. We give satisfactory answers forl ₂-norms and also some results for sup-norms andl _p-norms. Some applications are given to the rate of escape of infinite dimensional Brownian motion, and we give the lower tail of the Ornstein-Uhlenbeck process and a weighted Brownian bridge under theL ₂-norms.     

On the distribution of comparisons in sorting algorithms

We considered the following natural conjecture: For every sorting algorithm every key will be involved in(logn) comparisons for some input. We show that this is true for most of the keys and prove matching upper and lower bounds. Every sorting algorithm for some input will involven–n /2+1 keys in at leastlog₂ n comparisons,>0. Further, there exists a sorting algorithm that will for every input involve at mostn–n ^/c keys in greater thanlog₂ n comparisons, wherec is a constant and>0. The conjecture is shown to hold for natural algorithms from the literature.     

On Asymptotic Structure,the Szlenk Index and UKK Properties in Banach Spaces

Let B be a separable Banach space and let X=B ^* be separable. We prove that if B has finite Szlenk index (for all > 0) then B can be renormed to have the weak* uniform Kadec-Klee property. Thus if > 0 there exists () > 0 so that if x _n is a sequence in the ball of X converging ^* to x so that . In addition we show that the norm can be chosen so that () c^p for some p < and c >0.     

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Spectral parameter asymptotics of the Weyl solutions of Sturm-Liouville equations

In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=²y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c₀+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution e^ix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.     

Optimization of adaptive algorithms for the renewal of monotone functions from the classHω

A problem of renewal of monotone functionsf(t) H [a, b] with fixed values at the ends of an interval is studied by using adaptive algorithms for calculating the values off(t) at certain points. Asymptotically exact estimates unimprovable on the entire set of adaptive algorithms are obtained for the least possible numberN() of steps providing the uniform-error. For moduli of continuity of type , 0<<1, the valueN() has a higher order as0 than in the nonadaptive case for the same amount of information.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 12, pp. 1627–1634, December, 1993.The work was supported by the Foundation for Fundamental Studies of Ukrainian State Committee for Science and Technology.     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

How to approximate the solutions of certain free boundary problems for the Laplace equation by using the contraction principle

We show how the free boundary of an ideal fluid, subject to a generalized Bernoulli condition, can (under appropriate circumstances) be approximated. Our method is based on a class of free-boundary perturbation operatorsT , 0<<1, which are all contracting relative to a suitable norm and class of boundaries, and whose fixed points converge to the desired free boundary solution as 0+.

---

Zusammenfassung Wir zeigen, wie der freie Rand einer idealen Flüssigkeit, welcher einer verallgemeinerten Bernoulli-Bedingung genügt, unter geeigneten Umständen approximiert werden kann. Unsere Methode stützt sich auf eine Klasse freier RandperturbationsoperatorenT , 0<<1, welche relativ zu einer geeigneten Norm und Ränderklasse kontrahierend sind und deren Fixpunkte gegen die gewünschte Lösung der freien Randaufgabe mit 0+ konvergieren.

     

On Logarithmic Smoothing of the Maximum Function

We consider the maximum function f resulting from a finite number of smooth functions. The logarithmic barrier function of the epigraph of f gives rise to a smooth approximation g of f itself, where >0 denotes the approximation parameter. The one-parametric family g converges – relative to a compact subset – uniformly to the function f as tends to zero. Under nondegeneracy assumptions we show that the stationary points of g and f correspond to each other, and that their respective Morse indices coincide. The latter correspondence is obtained by establishing smooth curves x() of stationary points for g , where each x() converges to the corresponding stationary point of f as tends to zero. In case of a strongly unique local minimizer, we show that the nondegeneracy assumption may be relaxed in order to obtain a smooth curve x().