A lower bound on the energy of travelling waves of fixed speed for the Gross-Pitaevskii equation

In this paper we consider the Gross-Pitaevskii equation iu _t = Δu + u(1 − |u|²), where u is a complex-valued function defined on \Bbb R^N×\Bbb R{\Bbb R}^N\times{\Bbb R} , N ≥ 2, and in particular the travelling waves, i.e., the solutions of the form u(x, t) = ν(x ₁ − ct, x ₂, …, x _N ), where c ? \Bbb Rc\in{\Bbb R} is the speed. We prove for c fixed the existence of a lower bound on the energy of any non-constant travelling wave. This bound provides a non-existence result for non-constant travelling waves of fixed speed having small energy.     

Homological properties of the perfect and absolute integral closures of Noetherian domains

For a Noetherian local domain R let R ⁺ be the absolute integral closure of R and let R _∞ be the perfect closure of R, when R has prime characteristic. In this paper we investigate the projective dimension of residue rings of certain ideals of R ⁺ and R _∞. In particular, we show that any prime ideal of R _∞ has a bounded free resolution of countably generated free R _∞-modules. Also, we show that the analogue of this result is true for the maximal ideals of R ⁺, when R has residue prime characteristic. We compute global dimensions of R ⁺ and R _∞ in some cases. Some applications of these results are given.     

Symplectic embeddings of polydisks

If P and P ^′ are symplectic polydisks of radii R ₁≤...≤R _n and R ₁ ^′≤...≤R _n ^′, respectively, then we prove that P symplectically embeds in P ^′ provided that C(n)R ₁≤R ₁ ^′ and C(n)R ₁...R _n ≤R ₁ ^′...R _n ^′. Up to a constant factor, these conditions are optimal.     

On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

Visible Vectors and Discrete Euclidean Medial Axis

We denote by ℳ _R ⁿ the test neighbourhood sufficient to extract the Euclidean Medial Axis of any n-dimensional discrete shape whose inner radius is no greater than R. In this paper, we study properties of discrete Euclidean disks overlappings so as to prove that in any given dimension n, ℳ _R ⁿ tends to the set of visible vectors as R tends to infinity.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

OnL 1-vorticity for 2-D incompressible flow

We prove the existence of a classical weak solution for the 2-D incompressible Euler equations with initial vorticity ω₀=ω ₀ ^′ + ω ₀ ^″ , where ω ₀ ^′ is inL ¹(R ²)⌢H ⁻¹(R ²), compactly supported, and ω ₀ ^″ is a compactly supported positive Radon measure inH ⁻¹(R ²).     

On exact solutions for quantum particles with spin <Emphasis Type="Italic">S</Emphasis> = 0, 1/2, 1 and de Sitter event horizon

Exact wave solutions for particles with spin 0, 1/2 and 1 in the static coordinates of the de Sitter space–time model are examined in detail. Firstly, for scalar particle, two pairs of linearly independent solutions are specified explicitly: running and standing waves. A known algorithm for calculation of the reflection coefficient R_ej{R_{\epsilon j}} on the background of the de Sitter space–time model is analyzed. It is shown that the determination of R_ej{R_{\epsilon j}} requires an additional constrain on quantum numbers er/ (^h/_2p) c >> j{\epsilon \rho / \hbar c \gg j}, where ρ is a curvature radius. When taken into account of this condition, the R_ej{R_{\epsilon j}} vanishes identically. It is claimed that the calculation of the reflection coefficient R_ej{R_{\epsilon j}} is not required at all because there is no barrier in an effective potential curve on the background of the de Sitter space–time. The same conclusion holds for arbitrary particles with higher spins, it is demonstrated explicitly with the help of exact solutions for electromagnetic and Dirac fields.     

Contracting endomorphisms and Gorenstein modules

A finite module M over a noetherian local ring R is said to be Gorenstein if Extⁱ(k, M) = 0 for all i ≠ dim R. An endomorphism φ: R → R of rings is called contracting if for some i ≥ 1. Letting ^φR denote the R-module R with action induced by φ, we prove: A finite R-module M is Gorenstein if and only if Hom_R(^φR, M) ≅ M and Extⁱ_R(^φR, M) = 0 for 1 ≤ i ≤ depth R. Received: 7 December 2007     

On the ε-entropy of classes of holomorphic functions

Suppose thatB _R ^d is a ball of radiusR in ℂ ^d and σ is the standard measure on the unit sphere in ℂ ^d . ForR>1, 1≤p≤∞, and for the natural numbersl, d, byH _R ⁰ (l, p, d) we denote the class of functionsf holomorphic inB _R ^d and such that in the homogeneous polynomial expansion of the firstl summands the zero and radial derivatives of orderl belong to the closed unit ball of the Hardy spaceH ^p (B _R ^d ). In this paper an asymptotic formula for the ε-entropy of the classH _R ⁰ (l, p, d) in the spacesL ^p (σ), 1≤p<∞, and is obtained. Translated fromMatematicheskie Zametki, Vol. 68, No. 2, pp. 286–293, August, 2000.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Strong approximation ofGSBV functions by piecewise smooth functions

Let Ω be an open and bounded subset ofR ⁿ with locally Lipschitz boundary. We prove that the functionsv∈SBV(Ω,R ^m ) whose jump setS _vis essentially closed and polyhedral and which are of classW ^{k, ∞} (S _v,R ^m) for every integerk are strongly dense inGSBV ^p(Ω,R ^m ), in the sense that every functionu inGSBV ^p(Ω,R ^m ) is approximated inL ^p(Ω,R ^m ) by a sequence of functions {v _k{_j∈N with the described regularity such that the approximate gradients ∇v _jconverge inL ^p(Ω,R ^nm ) to the approximate gradient ∇u and the (n−1)-dimensional measure of the jump setsS _{v j} converges to the (n−1)-dimensional measure ofS _u. The structure ofS _v can be further improved in casep≤2.

---

Sunto Sia Ω un aperto limitato diR ⁿ con frontiera localmente Lipschitziana. In questo lavoro si dimostra che le funzioniv∈SBV(Ω,R ^m ) con insieme di saltoS _v essenzialmente chiuso e poliedrale che sono di classeW ^{k, ∞} (S _v,R ^m ) per ogni interok sono fortemente dense inGSBV ^p(Ω,R ^m ), nel senso che ogni funzioneu∈GSBV ^p(Ω,R ^m ) è approssimata inL ^p(Ω,R ^m ) da una successione di funzioni {v _j}_j∈N con la regolaritá descritta tali che i gradienti approssimati ∇v _jconvergono inL ^p(Ω,R ^nm ) al gradiente approssimato ∇u e la misura (n−1)-dimensionale degli insiemi di saltoS _{v j}converge alla misura (n−1)-dimensionale diS _u. La struttura diS _vpuó essere migliorata nel caso in cuip≤2.

     

Weights andL Φ-boundedness of the Poisson integral operator

In this paper, we get a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ, v(x)dx) to weak-L _Φ(R ₊ ⁿ⁺¹ ,dμ), where Φ is anN-function satisfying the Δ₂-condition. We also find a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ,v(x)dx) toL _Φ(R ₊ ⁿ⁺¹ ,dμ) under some additional condition. Partially supported by NNSF of P.R. China     

Onk-stage Euclidean algorithms for Galois extensions of ℚ

LetR be an integral domain whose quotient field is an algebraic number field. Cooke and Weinberger [4] showed that, assuming the Generalized Riemann Hypothesis, ifR is a principal ideal domain and has infinite unit group, thenR is 4-stage Euclidean with the absolute value of the norm as algorithm. We remove the assumption of the Generalized Riemann Hypothesis from this result for totally real Galois extensions of ℚ of degree greater than or equal to three, replacing it with the requirement of finding sufficiently many prime elements ofR, ℚ such that the unit group ofR maps onto (R/((π₁⋯π _r )²))* via the reduction map. A similar result holds for real quadratic fields.     

On tests of hypotheses about treatment effects and treatmentX places interactions,in two heteroscedastic experiments

Summary Suppose we have two independent experiments conducted with a set of ‘t’ treatments each, at different places. This paper deals with two interesting problems of testing of hypotheses associated with these experiments. The first problem deals with the test of the equality of the respective treatment effects in the two experiments. The second problem is concerned with the testing of the equality of treatment into places interactions. Though we assume normality, the variance σ ₁ ² in one experiment is assumed different from the variance σ ₂ ² in the other experiment. When no information is available aboutR=σ ₁ ² /(σ ₁ ² +σ ₂ ² ) except that 0≦R≦1, tests known as ‘bilateral tests’ are proposed in the literature, to test the hypotheses mentioned above. This paper studies some important small sample properties of these bilateral tests. More specifically we study the probability of the first and second kind of error of these bilateral tests as a function ofR. When the two experiments have the same number of observations on each treatment, the bilateral test is shown to control the first kind of error. Fort=1,2, the level of these tests is a strictly convex function ofR and hence these tests can be very conservative. Some power properties of these tests are also obtained. Two tests which are equivalent to the bilateral tests for large sample sizes, and which are superior to the bilateral tests for small sample sizes, are obtained.     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

The space Ω m p (R d ) and some properties

Let m be a v-moderate function defined on R ^d and let g ∈ L ²(R ^d ). In this work, we defineΩ _m ^p (R ^d ) to be the vector space of f ∈ L _m ² (R ^d ) such that the Gabor transform V ^f belongs to L ^p (R ^2d ), where 1 ≤ p < ∞. We equip it with a norm and show that it is a Banach space with this norm. We also study some preliminary properties of Ω _m ^p (R ^d ). We also discuss inclusion properties and obtain the dual space of Ω _m ^p (R ^d ). At the end of this work, we study multipliers from L _w ¹ (R ^d ) into Ω _w ^p (R ^d ) and from Ω _w ^p (R ^d ) into L _w−1 ^∞ (R ^d ), where w is the Beurling weight function. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 1, pp. 139–145, January, 2006.     

A note on the existence of singular integrals

Abstract. In this note the existence of a singular integral operator T acting on Lipo(R“) spacesis studied. Suppose     

Regelflächenscharen

Let K be any commutative field and V:=K ⁴. A collection of ruled quadrics in V is called a flock of ruled quadrics if the following holds true. (1) ⋃_{ℱ∈ G} ℱ = V; (2) There is a line S⊂V such that ℱ₁⋂ℱ₂= S for all distinct ℱ₁, ℱ₂∈ . The group ΓL(V) decomposes the set of all those flocks into equivalence classes. Besides that, we consider any cone R in V, say R:= {x∈V|x ₁ x ₃ - x ₂ ² = 0}. Let R denote the set of all regular points of R. Plane sections of R which do not contain the singular point of ℜ are called regular sections. We consider decompositions of R ^* by regular sections and their equivalence classes with respect to the symmetry group ΓL(V)R of the cone ℜ. The main result is as follows. There is a (natural) bijection between the classes of equivalent flocks of rules quadrics and the classes of equivalent decompositions of R ^* by regular sections. A brief discussion of those flocks of ruled quadrics on which the construction of the so-called Betten-Walker planes is based ends the paper. Provided that char K≠3, these planes exist if and only if x∈K→x ³∈K is bijective.