Congruence formulae modulo powers of 2 for class numbers of cyclic quartic fields

Let K = $ k(\sqrt \theta ) $ k(\sqrt \theta ) be a real cyclic quartic field, k be its quadratic subfield and $ \tilde K = k(\sqrt { - \theta } ) $ \tilde K = k(\sqrt { - \theta } ) be the corresponding imaginary quartic field. Denote the class numbers of K, k and $ \tilde K $ \tilde K by h _K , h _k and {417-3} respectively. Here congruences modulo powers of 2 for h ⁻ = h _K /h _K and $ \tilde h^ - = h_{\tilde K} /h_k $ \tilde h^ - = h_{\tilde K} /h_k are obtained via studying the p-adic L-functions of the fields.     

On holomorphic solutions of some inhomogeneous linear differential equations in a banach space over a non-archimedean field

Let A be a closed linear operator on a Banach space $ \mathfrak{B} $ \mathfrak{B} over the field Ω of complex p-adic numbers having an inverse operator defined on the whole $ \mathfrak{B} $ \mathfrak{B} , and f be a locally holomorphic at 0 $ \mathfrak{B} $ \mathfrak{B} -valued vector function. The problem of existence and uniqueness of a locally holomorphic at 0 solution of the differential equation y ^(m) − Ay = f is considered in this paper. In particular, it is shown that this problem is solvable under the condition $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} = 0. It is proved also that if the vector-function f is entire, then there exists a unique entire solution of this equation. Moreover, the necessary and sufficient conditions for the Cauchy problem for such an equation to be correctly posed in the class of locally holomorphic functions are presented.     

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

Problem of the first passage time for <Emphasis Type="Italic">p</Emphasis>-adic diffusion

This work is a continuation of paper [1], where was considered analog of the problem of the first return for ultrametric diffusion. The main result of this paper consists in construction and investigation of stochastic quantity $ \tau _{B_r (a)} $ \tau _{B_r (a)} (ω), which has meaning of the first passage time into domain B _r (a) by trajectories of the Markov stochastic process ζ(t, ω).Markov stochastic process is given by distribution density f(x, t), x ∈ ℚ _p , t ∈ R ₊, which is solution of the Cauchy problem

Sharp estimates for derivatives of functions in the Sobolev classes $$ \mathop {W_2^r }\limits^ \circ $$(−1,1)

Explicit formulas are obtained for the maximum possible values of the derivatives f ^(k)(x), x ∈ (−1, 1), k ∈ {0, 1, ..., r − 1}, for functions f that vanish together with their (absolutely continuous) derivatives of order up to ≤ r − 1 at the points ±1 and are such that $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 . As a corollary, it is shown that the first eigenvalue λ _1,r of the operator (−D ²) ^r with these boundary conditions is $ \sqrt 2 $ \sqrt 2 (2r)! (1 + O(1/r)), r → ∞.     

Remark on the phase shift in the Kuzmak-Whitham ansatz

We consider one-phase (formal) asymptotic solutions in the Kuzmak-Whitham form for the nonlinear Klein-Gordon equation and for the Korteweg-de Vries equation. In this case, the leading asymptotic expansion term has the form X(S(x, t)/h+Φ(x, t), I(x, t), x, t) +O(h), where h ≪ 1 is a small parameter and the phase S}(x, t) and slowly changing parameters I(x, t) are to be found from the system of “averaged” Whitham equations. We obtain the equations for the phase shift Φ(x, t) by studying the second-order correction to the leading term. The corresponding procedure for finding the phase shift is then nonuniform with respect to the transition to a linear (and weakly nonlinear) case. Our observation, which essentially follows from papers by Haberman and collaborators, is that if we incorporate the phase shift Φ into the phase and adjust the parameter Ĩ by setting $ \tilde S $ \tilde S = S +hΦ+O(h ²),Ĩ = I + hI ₁ + O(h ²), then the functions $ \tilde S $ \tilde S (x, t, h) and Ĩ(x, t, h) become solutions of the Cauchy problem for the same Whitham system but with modified initial conditions. These functions completely determine the leading asymptotic term, which is X($ \tilde S $ \tilde S (x, t, h)/h, Ĩ(x, t, h), x, t) + O(h).     

Weighted estimate for the convergence rate of a projection difference scheme for a quasilinear parabolic equation

A novel technique is proposed for analyzing the convergence of a projection difference scheme as applied to the initial value problem for a quasilinear parabolic operator-differential equation with initial data u ₀ ∈ H. The technique is based on the smoothing property of solutions to the differential problem for t > 0. Under certain conditions on the nonlinear term, a new estimate of order \(O(\sqrt \tau + h)\) for the convergence rate in a weighted energy norm is obtained without using a priori assumptions on the additional smoothness of weak solutions.     

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

Existence of planar curves minimizing length and curvature

We consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional $ \smallint \sqrt {1 + K_\gamma ^2 ds} $ \smallint \sqrt {1 + K_\gamma ^2 ds} , depending both on the length and curvature K. We fix starting and ending points as well as initial and final directions. For this functional we discuss the problem of existence of minimizers on various functional spaces. We find nonexistence of minimizers in cases in which initial and final directions are considered with orientation. In this case, minimizing sequences of trajectories may converge to curves with angles. We instead prove the existence of minimizers for the “time-reparametrized” functional $ \smallint ||\dot \gamma (t)||\sqrt {1 + K_\gamma ^2 dt} $ \smallint ||\dot \gamma (t)||\sqrt {1 + K_\gamma ^2 dt} for all boundary conditions if the initial and final directions are considered regardless of orientation. In this case, minimizers may present cusps (at most two) but not angles.     

Estimation of the density of regression errors by pointwise model selection

This paper presents two results: a density estimator and an estimator of regression error density. We first propose a density estimator constructed by model selection, which is adaptive for the quadratic risk at a given point. Then we apply this result to estimate the error density in a homoscedastic regression framework Y _i = b(X _i ) + ε _i from which we observe a sample (X _i , Y _i ). Given an adaptive estimator $ \hat b $ \hat b of the regression function, we apply the density estimation procedure to the residuals $ \hat \varepsilon _i = Y_i - \hat b(X_i ) $ \hat \varepsilon _i = Y_i - \hat b(X_i ) . We get an estimator of the density of ε _i whose rate of convergence for the quadratic pointwise risk is the maximum of two rates: the minimax rate we would get if the errors were directly observed and the minimax rate of convergence of $ \hat b $ \hat b for the quadratic integrated risk.     

Strict topology over the space of measures with continuous translations on a locally compact foundation semigroup

Let $ \mathfrak{S} $ \mathfrak{S} be a locally compact semigroup, ω be a weight function on $ \mathfrak{S} $ \mathfrak{S} , and M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) be the weighted semigroup algebra of $ \mathfrak{S} $ \mathfrak{S} . Let L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) be the C*-algebra of all M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)-measurable functions g on $ \mathfrak{S} $ \mathfrak{S} such that g/ω vanishes at infinity. We introduce and study a strict topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) and show that the Banach space L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) can be identified with the dual of M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) endowed with β ¹($ \mathfrak{S} $ \mathfrak{S} , ω). We finally investigate some properties of the locally convex topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω).     

On a semilattice of numberings

We study some properties of a $ \mathfrak{c} $ \mathfrak{c} -universal semilattice $ \mathfrak{A} $ \mathfrak{A} with the cardinality of the continuum, i.e., of an upper semilattice of m-degrees. In particular, it is shown that the quotient semilattice of such a semilattice modulo any countable ideal will be also $ \mathfrak{c} $ \mathfrak{c} -universal. In addition, there exists an isomorphism $ \mathfrak{A} $ \mathfrak{A} such that $ {\mathfrak{A} \mathord{\left/ {\vphantom {\mathfrak{A} {\iota \left( \mathfrak{A} \right)}}} \right. \kern-\nulldelimiterspace} {\iota \left( \mathfrak{A} \right)}} $ {\mathfrak{A} \mathord{\left/ {\vphantom {\mathfrak{A} {\iota \left( \mathfrak{A} \right)}}} \right. \kern-\nulldelimiterspace} {\iota \left( \mathfrak{A} \right)}} will be also $ \mathfrak{c} $ \mathfrak{c} -universal. Furthermore, a property of the group of its automorphisms is obtained. To study properties of this semilattice, the technique and methods of admissible sets are used. More exactly, it is shown that the semilattice of mΣ-degrees $ L_{m\Sigma }^{\mathbb{H}\mathbb{F}\left( S \right)} $ L_{m\Sigma }^{\mathbb{H}\mathbb{F}\left( S \right)} on the hereditarily finite superstructure $ \mathbb{H}\mathbb{F} $ \mathbb{H}\mathbb{F} (S) over a countable set S will be a $ \mathfrak{c} $ \mathfrak{c} -universal semilattice with the cardinality of the continuum.     

Nonlinear exponential twists of the Liouville function

Let λ(n) be the Liouville function. We find a nontrivial upper bound for the sum

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

Real moments of the restrictive factor

Let λ be a real number such that 0 < λ < 1. We establish asymptotic formulas for the weighted real moments Σ _n≤x R ^λ (n)(1 − n/x), where R(n) =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } is the Atanassov strong restrictive factor function and n =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } is the prime factorization of n.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

Hochschild （Co）homology of Galois Coverings of Grassmann Algebras

Let ∧ be the Z2-Galois covering of the Grassmann algebra A over a field k of characteristic not equal to 2. In this paper, the dimensional formulae of Hochschild homology and cohomology groups of ∧ are calculated explicitly. And the cyclic homology of∧ can also be calculated when the underlying field is of characteristic zero. As a result, we prove that there is an isomorphism from i≥1 HH^i（∧） to i≥1 HH^i（∧）.     

Bases of exponents in weighted spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">−π, π</Emphasis>)

The system of exponents $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} is considered. A sufficient condition for a Riesz-property basis in the weighted space L ^p (−π, π) is obtained.     

Representation of a solution of the dirichlet problem in a planar cusp domain as a logarithmic single-layer potential

The problem of representing the solution of the Dirichlet problem for the Laplace equation as a single-layer potential V _ϱ with unknown density ϱ is known to lead to the equation V _ϱ = f for density ϱ, where f is the Dirichlet boundary data. Let Γ be the boundary of a bounded planar domain with an outward or inward peak and T(Γ) be the space of the traces on Γ of functions with finite Dirichlet integral over R ². It is shown that the operator $ L_2 \left( \Gamma \right) \ominus 1 \mathrel\backepsilon \varrho \to V\left. \varrho \right|\Gamma \in T\left( \Gamma \right) $ L_2 \left( \Gamma \right) \ominus 1 \mathrel\backepsilon \varrho \to V\left. \varrho \right|\Gamma \in T\left( \Gamma \right) is continuous, and the operator $ \varrho \to V\varrho - \overline {V\varrho } $ \varrho \to V\varrho - \overline {V\varrho } (where $ \bar u $ \bar u denotes u averaged over Γ) can be uniquely extended to the isomorphism      

Ruin probability and joint distributions of some actuarial random vectors in the compound pascal model

The compound negative binomial model,introduced in this paper,is a discrete time version.We discuss the Markov properties of the surplus process,and study the ruin probability and the joint distributions of actuarial random vectors in this model.By the strong Markov property and the mass function of a defective renewal sequence,we obtain the explicit expressions of the ruin probability,the finite-horizon ruin probability,the joint distributions of T,U(T-1),|U(T)| and 0≤inn相似文献