On the Degeneracy Locus of a Map of Vector Bundles on Grassamannian Varieties

Let ℒ︁ be a line bundle on a smooth curve C of genus g ≥ 2 and let W ⊂ H⁰ (ℒ︁) be a subspace of dimension r +1, in this paper we study the natural map μ_W : W ⊗ H⁰ (ω_C) → H⁰ (ℒ︁ ⊗ ω_C). Let D ⊂ G(r + 1, H⁰(ℒ︁)) be the locus where μ_W fails to be surjective: we prove that, if C is not hyperelliptic of genus g ≥ 3, D is an irreducible and reduced divisor on G(r + 1, H⁰(ℒ︁)) for any r ≥ 3, and for r = 2 if the curve C is not trigonal.     

Weighted mean convergence of Hakopian interpolation on the disk

In this paper, we study weighted mean integral convergence of Hakopian interpolation on the unit disk D. We show that the inner product between Hakopian interpolation polynomial Hn(f;x,y) and a smooth function g(x,y) on D converges to that of f(x,y) and g(x,y) on D when n →∞, provided f(x,y) belongs to C(D) and all first partial derivatives of g(x,y) belong to the space LipαM(0 ＜α≤ 1). We further show that provided all second partial derivatives of g(x,y) also belong to the space LipαM and f(x,y) belongs to C1 (D), the inner product between the partial derivative of Hakopian interpolation polynomial (6)/(6)xHn(f;x,y) and g(x,y) on D converges to that between (6)/(6)xf(x,y) and g(x,y) on D when n →∞.     

S~5上仿Blaschke张量的特征值为常数的超曲面

设x:M→S~(n+1)是(n+1)-维单位球面上不含脐点的超曲面,在S~(n+1)的Moebius变换群下浸入x的四个基本不变量是:一个黎曼度量g称为Moebius度量;一个1-形式Φ称为Moebius形式;一个对称的(0,2)张量A称为Blaschke张量和一个对称的(0,2)张量B称为Moebius第二基本形式.对称的(0,2)张量D=A+λB也是Moebius不变量,其中λ是常数,D称为浸入x的仿Blaschke张量.李海中和王长平研究了满足条件:(i)Φ=0;(ii)A+λB+μg=0的超曲面,其中λ和μ都是函数,他们证明了λ和μ都是常数,并且给出了这类超曲面的分类,也就是在Φ=0的条件下D只有一个互异的特征值的超曲面的分类.本文对S~5上满足如下条件的超曲面进行了完全分类:(i)Φ=0,(ii)对某常数λ,D具有常数特征值.     

Convergence of Derivatives of Optimal Nodal Splines

Optimal nodal spline interpolantsWfof ordermwhich have local support can be used to interpolate a continuous functionfat a set of mesh points. These splines belong to a spline space with simple knots at the mesh points as well as atm−2 arbitrary points between any two mesh points and they reproduce polynomials of orderm. It has been shown that, for a sequence of locally uniform meshes, these splines converge uniformly for anyfCas the mesh norm tends to zero. In this paper, we derive a set of sufficient conditions on the sequence of meshes for the uniform convergence ofD^jWftoD^jfforfC^sandj=1, …, s<m. In addition we give a bound forD^rWfwiths<r<m. Finally, we use optimal nodal spline interpolants for the numerical evaluation of Cauchy principal value integrals.     

Codepth Two and Related Topics

A depth two extension A | B is shown to be weak depth two over its double centralizer V _A (V _A (B)) if this is separable over B. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section 6 introduces a notion of codepth two coalgebra homomorphism g : C → D, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms End ^D C ^D forms a right bialgebroid over the centralizer subalgebra g ^* : D ^* → C ^* of the dual algebra C ^*. Dedicated to Daniel Kastler on his eightieth birthday.     

Nef Divisors in Codimension One on the Moduli Space of Stable Curves

Let M _g be the moduli space of smooth curves of genus g 3, and M¯ _g the Deligne-Mumford compactification in terms of stable curves. Let M¯ _g ^[1] be an open set of M¯ _g consisting of stable curves of genus g with one node at most. In this paper, we determine the necessary and sufficient condition to guarantee that a -divisor D on M¯ _g is nef over M¯ _g ^[1], that is, (D · C) 0 for all irreducible curves C on M¯ _g with C M¯ _g ^[1] .     

On Monge‐Ampère equations with homogenous right‐hand sides

We study the regularity and behavior at the origin of solutions to the two‐dimensional degenerate Monge‐Ampère equation det D²_u = |x|^α with α > ?2. We show that when α > 0, solutions admit only two possible behaviors near the origin, radial and nonradial, which in turn implies C^{2, δ}‐regularity. We also show that the radial behavior is unstable. For α < 0 we prove that solutions admit only the radial behavior near the origin. © 2008 Wiley Periodicals, Inc.     

More on Ordinary Differential Equations Which Yield Periodic Solutions of Delay Differential Equations

We construct a Poincaré operator for the system where λ is a real parameter, x ³, x = (x₁, x₂, x₃), [formula], and ƒ is an odd C² function such that ƒ′(0) = 1, xƒ(x) > 0, for x ≠ 0. We also consider the case where ƒ is C¹. We will express F in linearized form, that is, F(x) = Ax + G(x), where A is the linearized part of F around zero and G(x) = o(|x|) near zero. Fixed points of the Poincaré operator correspond to periodic solutions of the functional differential equation

Full-size image

where T is the period of x.     

Differentiable Eigenvalues of Perturbed Quadratic Matrix Functions

Let T(λ, ε ) = λ² + λC + λεD + K be a perturbed quadratic matrix polynomial, where C, D, and K are n × n hermitian matrices. Let λ₀ be an eigenvalue of the unperturbed matrix polynomial T(λ, 0). With the falling part of the Newton diagram of det T(λ, ε), we find the number of differentiable eigenvalues. Some results are extended to the general case L(λ, ε) = λ² + λD(ε) + K, where D(ε) is an analytic hermitian matrix function. We show that if K is negative definite on Ker L(λ₀, 0), then every eigenvalue λ(ε) of L(λ, ε) near λ₀ is analytic.     

Centres of Convex Sets inLMetrics

It is shown that for each convex bodyARⁿthere exists a naturally defined family _AC(Sⁿ⁻¹) such that for everyg _A, and every convex functionf: R→Rthe mappingy∫_Sⁿ⁻¹ f(g(x)−y, x) dσ(x) has a minimizer which belongs toA. As an application, approximation of convex bodies by balls with respect toL^pmetrics is discussed.     

Completely 𝒲-Resolved Complexes

Let R be a ring and 𝒲 a self-orthogonal class of left R-modules which is closed under finite direct sums and direct summands. A complex C of left R-modules is called a 𝒲-complex if it is exact with each cycle Z ⁿ (C) ∈ 𝒲. The class of such complexes is denoted by 𝒞_𝒲. A complex C is called completely 𝒲-resolved if there exists an exact sequence of complexes D _· = … → D _?1 → D ₀ → D ₁ → … with each term D _i in 𝒞_𝒲 such that C = ker(D ₀ → D ₁) and D _· is both Hom(𝒞_𝒲, ?) and Hom(?, 𝒞_𝒲) exact. In this article, we show that C = … → C ^?1 → C ⁰ → C ¹ → … is a completely 𝒲-resolved complex if and only if C ⁿ is a completely 𝒲-resolved module for all n ∈ ?. Some known results are obtained as corollaries.     

Density of Gabor Frames

A Gabor system is a set of time-frequency shifts S(g, Λ) ={e^{2 π ibx}g(x − a)}_{(a, b) Λ} of a function g L²(R^d). We prove that if a finite union of Gabor systems _{k = 1}^rS(g_k, Λ_k) forms a frame for L²(R^d) then the lower and upper Beurling densities of Λ = _{k = 1}^r Λ_k satisfy D⁻(Λ) ≥ 1 and D ⁺ (Λ) < ∞. This extends recent work of Ramanathan and Steger. Additionally, we prove the conjecture that no collection _{k = 1}^r{g_k(x − a)}_{a Γk} of pure translates can form a frame for L²(R^d).     

Volumes of certain small geodesic balls and almost-Hermitian geometry

Let D be the characteristic connection of an almost-Hermitian manifold, V _D ^m (r) the volume of a small geodesic ball for the connection D and C C _D ¹ the first non-trivial term of the Taylor expansion of V _D ^m (r). NK-manifolds are characterized in terms of C C _D ¹ and a family of Hermitian manifolds for which _M C C _D ¹ dvol is a spectral invariant is given and one proves that C C _D ¹ and the spectrum of the complex Laplacian, together, determine the class in which a compact Hermitian manifold lines.     

Markov-type Inequalities for Surface Gradients of Multivariate Polynomials

Let K ^d be a compact set with a smooth boundary and consider a polynomial p of total degree n such that p_C(K)1. Then we show that D_Tp(x)=o(n²) for any x Bd K and T a tangential direction at x. Moreover, the o(n²) term is given in terms of the modulus of smoothness of Bd K.     

A remark on level curves for domains convex in one direction † ‡

Let D be a plane domain which is convex in the v-direction, i.e.t the intersection of D with each vertical line is connected (or empty). It has been an open question whether level curves of a domain convex in the v-direction bound a domain with the same property. In this note we construct an example which settles the question in the negative.Closely related is a family ? of analytic functions g in the unit disk with the property that g(0) = 0 and Re{(1 - z²)g(z)/z} ? 0. For univalent functions we show that membership in ? is essentially characterized by the geometric condition that Im g(eⁱ⁰)? 0 for a.e. ? ? (0, ?) and Im g(eⁱ⁰)? 0 for a.e. We conclude with a coefficient theorem     

-regularity of the Aronsson equation in

For a nonnegative, uniformly convex HC²(R²) with H(0)=0, if uC(Ω), ΩR², is a viscosity solution of the Aronsson equation (1.7), then uC¹(Ω). This generalizes the C¹-regularity theorem on infinity harmonic functions in R² by Savin [O. Savin, C¹-regularity for infinity harmonic functions in dimensions two, Arch. Ration. Mech. Anal. 176 (3) (2005) 351–361] to the Aronsson equation.     

Inequalities for predictive ratios and posterior variances in natural exponential families

The predictive ratio is considered as a measure of spread for the predictive distribution. It is shown that, in the exponential families, ordering according to the predictive ratio is equivalent to ordering according to the posterior covariance matrix of the parameters. This result generalizes an inequality due to Chaloner and Duncan who consider the predictive ratio for a beta-binomial distribution and compare it with a predictive ratio for the binomial distribution with a degenerate prior. The predictive ratio at x₁ and x₂ is defined to be p_g(x₁)p_g(x₂)/[p_g( )]² = h_g(x₁, x₂), where p_g(x₁) = ∫ ƒ(x₁θ) g(θ) dθ is the predictive distribution of x₁ with respect to the prior g. We prove that h_g(x₁, x₂) ≥ h_g^*(x₁, x₂) for all x₁ and x₂ if ƒ(xθ) is in the natural exponential family and Cov_gx(θ) ≥ Cov_g^*x(θ) in the Loewner sense, for all x on a straight line from x₁ to x₂. We then restrict the class of prior distributions to the conjugate class and ask whether the posterior covariance inequality obtains if g and g^* differ in that the “sample size”     

Euler‐lagrange equation and regularity for flat minimizers of the Willmore functional

Let \input amssym $S\subset{\Bbb R}^2$ be a bounded domain with boundary of class C^∞, and let g_ij = δ_ij denote the flat metric on \input amssym ${\Bbb R}^2$ . Let u be a minimizer of the Willmore functional within a subclass (defined by prescribing boundary conditions on parts of ∂S) of all W^2,2 isometric immersions of the Riemannian manifold (S, g) into \input amssym ${\Bbb R}^3$ . In this article we derive the Euler‐Lagrange equation and study the regularity properties for such u. Our main regularity result is that minimizers u are C³ away from a certain singular set Σ and C^∞ away from a larger singular set Σ ∪ Σ₀. We obtain a geometric characterization of these singular sets, and we derive the scaling of u and its derivatives near Σ₀. Our main motivation to study this problem comes from nonlinear elasticity: On isometric immersions, the Willmore functional agrees with Kirchhoff's energy functional for thin elastic plates. © 2010 Wiley Periodicals, Inc.     

Solvability of systems of partial differential equations for functions defined on nonconvex sets

We consider systems of partial differential equations with constant coefficients of the form ( R(D_x, D_y)f = 0, P(D_x)f = g), f,g ? C^￥(W),\big ( R(D_x, D_y)f = 0, P(D_x)f = {g}\big ), f,g \in {C}^{\infty}(\Omega),, where R (and P) are operators in (n + 1) variables (and in n variables, respectively), g satisfies the compatibility condition R(D_x, D_y)g = 0  and  W ì \Bbb Rⁿ⁺¹R(D_x, D_y){g} = 0 \ {\rm and} \ \Omega \subset {\Bbb R}^{n+1} is open. Let R be elliptic. We show that the solvability of such systems for certain nonconvex sets W\Omega implies that any localization at ￥\infty of the principle part P_m of P is hyperbolic. In contrast to this result such systems can always be solved on convex open sets W\Omega by the fundamental principle of Ehrenpreis-Palamodov.     

On levi–typ conditions for hypoellipticity of certain diffrential operators

The hypoelliticity is discussed for operators of the form P=D² _x+a(x)D² _y+b(x)D_ywhere a (x) and b (x) are real–valued C^∞ functions satisfying a(0)=0 and a(x) >0 for x≠0.We seek the conditions for P to be hypoelliptic, especially in the case where both a (x) and b(x) vanish to infinite order on x=0.