Steepest descent curves of convex functions on surfaces of constant curvature

Let S be a complete surface of constant curvature K = ±1, i.e., S ² or л ², and Ω ? S a bounded convex subset. If S = S ², assume also diameter(Ω) < π/2. It is proved that the length of any steepest descent curve of a quasi-convex function in Ω is less than or equal to the perimeter of Ω. This upper bound is actually proved for the class of G-curves, a family of curves that naturally includes all steepest descent curves. In case S = S ², the existence of G-curves, whose length is equal to the perimeter of their convex hull, is also proved, showing that the above estimate is indeed optimal. The results generalize theorems by Manselli and Pucci on steepest descent curves in the Euclidean plane.     

Discrete universality of the <Emphasis Type="Italic">L</Emphasis>-functions of elliptic curves

A discrete universality theorem is obtained in the Voronin sense for the L-functions of elliptic curves. We use the difference of an arithmetical progression h > 0 such that \(\exp \left\{ {\frac{{2\pi k}}{h}} \right\}\) is rational for some k ≠ 0. A limit theorem in the space of analytic functions plays a crucial role in the proof.     

On the existence of $$\kappa $$-existentially closed groups

Using explicit constructions of the Weierstrass mock modular form and Eisenstein series coefficients, we obtain closed formulas for the generating functions of values of shifted convolution L-functions associated to certain elliptic curves. These identities provide a surprising relation between weight 2 newforms and shifted convolution L-values when the underlying elliptic curve has modular degree 1 with conductor N such that \(\text {genus}(X_0(N)) = 1\).     

Tangential polynomials and matrix KdV elliptic solitons

Let (X, q) be an elliptic curve marked at the origin. Starting from any cover π: Γ → X of an elliptic curve X marked at d points {π _i } of the fiber π ^?1(q) and satisfying a particular criterion, Krichever constructed a family of d × d matrix KP solitons, that is, matrix solutions, doubly periodic in x, of the KP equation. Moreover, if Γ has a meromorphic function f: Γ → P¹ with a double pole at each p _i , then these solutions are doubly periodic solutions of the matrix KdV equation U _t = 1/4(3UU _x + 3U _x U + U _xxx ). In this article, we restrict ourselves to the case in which there exists a meromorphic function with a unique double pole at each of the d points {p _i }; i.e. Γ is hyperelliptic and each pi is a Weierstrass point of Γ. More precisely, our purpose is threefold: (1) present simple polynomial equations defining spectral curves of matrix KP elliptic solitons; (2) construct the corresponding polynomials via the vector Baker–Akhiezer function of X; (3) find arbitrarily high genus spectral curves of matrix KdV elliptic solitons.     

A characteristic property of the algebra <Emphasis Type="Italic">C</Emphasis>(Ω)<Subscript><Emphasis Type="Italic">ß</Emphasis></Subscript>

We study some properties of the algebras of continuous functions on a locally compact space whose topology is defined by the family of all multiplication operators (β-uniform algebras). We introduce the notion of a β-amenable algebra and show that a β-uniform algebra is β-amenable if and only if it coincides with the algebra of bounded functions on a locally compact space (an analog of M. V. She?nberg’s theorem for uniform algebras).     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-Poisson Semigroup Associated with Elliptic Systems

We study the infinitesimal generator of the Poisson semigroup in L ^p associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal mapping in this setting. Also, its domain is identified as the linear subspace of the L ^p -based Sobolev space of order one on the boundary of the upper-half space consisting of functions for which the Regularity problem is solvable. Moreover, for a class of systems containing the Lamé system, as well as all second-order, scalar elliptic operators, with constant complex coefficients, the action of the infinitesimal generator is explicitly described in terms of singular integral operators whose kernels involve first-order derivatives of the canonical fundamental solution of the given system. Furthermore, arbitrary powers of the infinitesimal generator of the said Poisson semigroup are also described in terms of higher order Sobolev spaces and a higher order Regularity problem for the system in question. Finally, we indicate how our techniques may be adapted to treat the case of higher order systems in graph Lipschitz domains.     

Spherical means in annular regions in the <Emphasis Type="Italic">n</Emphasis>-dimensional real hyperbolic spaces

Let Z _r,R be the class of all continuous functions f on the annulus Ann(r, R) in the real hyperbolic space \(\mathbb B^n\) with spherical means M _s f(x)?=?0, whenever s?>?0 and \(x\in\mathbb B^n\) are such that the sphere S _s (x)???Ann(r, R) and \(B_r(o)\subseteq B_s(x).\) In this article, we give a characterization for functions in Z _r,R . In the case R?=?∞, this result gives a new proof of Helgason’s support theorem for spherical means in the real hyperbolic spaces.     

On the summability of spectral expansions of piecewise smooth functions

For piecewise smooth functions of n variables, we prove the uniform Riesz summability of order s > (n ? 3)/2 of their spectral expansions associated with an arbitrary elliptic operator with constant coefficients. For s = (n ? 3)/2, the corresponding Riesz means are bounded.     

Symplectic geometry on moduli spaces of <Emphasis Type="Italic">J</Emphasis>-holomorphic curves

Let (M, ω) be a symplectic manifold, and Σ a compact Riemann surface. We define a 2-form \({\omega_{\mathcal{S}_{i}(\Sigma)}}\) on the space \({\mathcal{S}_{i}(\Sigma)}\) of immersed symplectic surfaces in M, and show that the form is closed and non-degenerate, up to reparametrizations. Then we give conditions on a compatible almost complex structure J on (M, ω) that ensure that the restriction of \({\omega_{\mathcal{S}_{i}(\Sigma)}}\) to the moduli space of simple immersed J-holomorphic Σ-curves in a homology class \({A \in {H}_2(M,\,\mathbb{Z})}\) is a symplectic form, and show applications and examples. In particular, we deduce sufficient conditions for the existence of J-holomorphic Σ-curves in a given homology class for a generic J.     

Approximating the Distribution of Customers in <Emphasis Type="Italic">M/E</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript><Emphasis Type="Italic">/s</Emphasis> Queues

Approximation formulae are suggested for the mean and variance of customers in M/E _n /s queues. It is shown that the distributions can be approximated by using the mean and variance to fit Gamma functions. A brief comment on the more general E _m /E _n /s case is given.     

Elliptic function of level 4

The article is devoted to the theory of elliptic functions of level n. An elliptic function of level n determines a Hirzebruch genus called an elliptic genus of level n. Elliptic functions of level n are also of interest because they are solutions of the Hirzebruch functional equations. The elliptic function of level 2 is the Jacobi elliptic sine function, which determines the famous Ochanine–Witten genus. It is the exponential of the universal formal group of the form F(u, v) = (u² ? v²)/(uB(v) ? vB(u)), B(0) = 1. The elliptic function of level 3 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uA(v)² ? vA(u)²), A(0) = 1, A″(0) = 0. In the present study we show that the elliptic function of level 4 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uB(v) ? vB(u)), where A(0) = B(0) = 1 and for B′(0) = A″(0) = 0, A′(0) = A₁, and B″(0) = 2B₂ the following relation holds: (2B(u) + 3A₁u)² = 4A(u)³ ? (3A₁² ? 8B₂)u²A(u)². To prove this result, we express the elliptic function of level 4 in terms of the Weierstrass elliptic functions.     

Local analysis of a polynomial system and its perturbations

On the real (x, y)-plane, we consider an autonomous system of differential equations whose right-hand sides are polynomials of special form in x and y and a perturbed system obtained from the former by varying the coefficients in the class of functions of (x, y) satisfying the Lipschitz condition. We study the behavior of trajectories of the system in a neighborhood of the isolated equilibrium point O = (0, 0). For the main (polynomial) system, we find all possible types of arrangement of the trajectories in a neighborhood of O. For the case in which the system has TO-curves, we give coefficient criteria for each of the possible types of the point O and study conditions under which the type is preserved in the perturbed system.     

Integrals of <Emphasis Type="Italic">K</Emphasis> and <Emphasis Type="Italic">E</Emphasis> from lattice sums

We give closed form evaluations for many families of integrals, whose integrands contain algebraic functions of the complete elliptic integrals K and E. Our methods exploit the rich structures connecting complete elliptic integrals, Jacobi theta functions, lattice sums, and Eisenstein series. Various examples are given, and along the way new (including 10-dimensional) lattice sum evaluations are produced.     

Another note on the embedding of the Sobolev space for the limiting exponent

The embedding of the Sobolev spaces W _p ^s (? ⁿ ) in a Lizorkin-type space of locally summable functions of zero smoothness is established. This result is extended to the case of the embedding of Sobolev spaces on nonregular domains of n-dimensional Euclidean space. The formulation of the theorem depends on the geometric parameters of the domain of the functions.     

Maximal <Emphasis Type="Italic">k</Emphasis>-Intersecting Families of Subsets and Boolean Functions

A family of subsets of an n-element set is k-intersecting if the intersection of every k subsets in the family is nonempty. A family is maximalk-intersecting if no subset can be added to the family without violating the k-intersection property. There is a one-to-one correspondence between the families of subsets and Boolean functions defined as follows: To each family of subsets, assign the Boolean function whose unit tuples are the characteristic vectors of the subsets.We show that a family of subsets is maximal 2-intersecting if and only if the corresponding Boolean function is monotone and selfdual. Asymptotics for the number of such families is obtained. Some properties of Boolean functions corresponding to k-intersecting families are established fork > 2.     

On three differential equations associated with Chebyshev polynomials of degrees 3, 4 and 6

We shall study the differential equation y'~2= T_n(y)-(1-2μ~2);where μ~2 is a constant, T_n(x) are the Chebyshev polynomials with n = 3, 4, 6.The solutions of the differential equations will be expressed explicitly in terms of the Weierstrass elliptic function which can be used to construct theories of elliptic functions based on _2F_1(1/4, 3/4; 1; z),_2F_1(1/3, 2/3; 1; z), _2F_1(1/6, 5/6; 1; z) and provide a unified approach to a set of identities of Ramanujan involving these hypergeometric functions.     

On the Hausdorff Dimension of Continuous Functions Belonging to Hölder and Besov Spaces on Fractal <Emphasis Type="Italic">d</Emphasis>-Sets

The Hausdorff dimension of the graphs of the functions in Hölder and Besov spaces (in this case with integrability p≥1) on fractal d-sets is studied. Denoting by s∈(0,1] the smoothness parameter, the sharp upper bound min{d+1?s,d/s} is obtained. In particular, when passing from d≥s to d<s there is a change of behaviour from d+1?s to d/s which implies that even highly nonsmooth functions defined on cubes in ? ⁿ have not so rough graphs when restricted to, say, rarefied fractals.     

The best <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> approximation of the Laplace operator by linear bounded operators in the classes of functions of two and three variables

Close two-sided estimates are obtained for the best approximation in the space L _p (? ^m ), m = 2 and 3, 1 ≤ p ≤ ∞, of the Laplace operator by linear bounded operators in the class of functions for which the second power of the Laplace operator belongs to the space L _p (? ^m ). We estimate the best constant in the corresponding Kolmogorov inequality and the error of the optimal recovery of values of the Laplace operator on functions from this class given with an error. We present an operator whose deviation from the Laplace operator is close to the best.     

Largest <Emphasis Type="Italic">H</Emphasis>-eigenvalue of uniform <Emphasis Type="Italic">s</Emphasis>-hypertrees

The k-uniform s-hypertree G = (V,E) is an s-hypergraph, where 1 ≤ s ≤ k - 1; and there exists a host tree T with vertex set V such that each edge of G induces a connected subtree of T. In this paper, some properties of uniform s-hypertrees are establised, as well as the upper and lower bounds on the largest H-eigenvalue of the adjacency tensor of k-uniform s-hypertrees in terms of the maximal degree Δ. Moreover, we also show that the gap between the maximum and the minimum values of the largest H-eigenvalue of k-uniform s-hypertrees is just Θ(Δ ^s/k ).