Root numbers and ranks in positive characteristic

For a global field K and an elliptic curve E_η over K(T), Silverman's specialization theorem implies rank(E_η(K(T)))?rank(E_t(K)) for all but finitely many t∈P¹(K). If this inequality is strict for all but finitely many t, the elliptic curve E_η is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial.Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, an analogue of one of these additional conjectures is false. Inspired by this, for the rational function field K=κ(u) over any finite field κ with characteristic ≠2, we construct an explicit 2-parameter family E_c,d of non-isotrivial elliptic curves over K(T) (depending on arbitrary c,d∈κ^×) such that, under the parity conjecture, each E_c,d has elevated rank.     

Lower-order branching and conjugate function discontinuities

An example is given of a fourth-order linear ordinary differential operator K on (? ∞, ∞) for which the higher-order conjugate point functions η₂ and η₃ are discontinuous. Introduced to settle the issue of discontinuity are the notions of lower-order branching and degenerate branching of boundary value problems of de la Vallée-Poussin type.     

Commutativity of set-valued cosine families

Let K be a closed convex cone with nonempty interior in a real Banach space and let cc(K) denote the family of all nonempty convex compact subsets of K. If {F _t : t ≥ 0} is a regular cosine family of continuous additive set-valued functions F _t : K → cc(K) such that x ∈ F _t (x) for t ≥ 0 and x ∈ K, then $F_t \circ F_s (x) = F_s \circ F_t (x)fors,t \geqslant 0andx \in K$ .     

A centerless representation of the Virasoro algebra associated with the unitary circular ensemble

We consider the 2-dimensional Toda lattice tau functions τ_n(t,s;η,θ) deforming the probabilities τ_n(η,θ) that a randomly chosen matrix from the unitary group U(n), for the Haar measure, has no eigenvalues within an arc (η,θ) of the unit circle. We show that these tau functions satisfy a centerless Virasoro algebra of constraints, with a boundary part in the sense of Adler, Shiota and van Moerbeke. As an application, we obtain a new derivation of a differential equation due to Tracy and Widom, satisfied by these probabilities, linking it to the Painlevé VI equation.     

Dimension polynomials of intermediate differential fields and the strength of a system of differential equations with group action

Let K be a differential field of zero characteristic with a basic set of derivations Δ = {δ ₁, …, δ _m } and let Θ denote the free commutative semigroup of all elements of the form \( \theta = \delta_1^{{k_1}} \cdots \delta_m^{{k_m}} \) where k _i ∈ ? (1 ≤ i ≤ m). Let the order of such an element be defined as ord \( \theta = \sum\limits_{i = 1}^m {{k_i}} \), and for any r ∈ ?, let Θ(r) = {θ ∈ Θ | ord θ ≤ r}. Let L = K〈η ₁, …, η _s 〉 be a differential field extension of K generated by a finite set η = {η ₁, …, η _s } and let F be an intermediate differential field of the extension L/K. Furthermore, for any r ∈ ?, let \( {L_r} = K\left( {\bigcup\limits_{i = 1}^s {\Theta (r){\eta_i}} } \right) \) and F _r = L _r ∩ F. We prove the existence and describe some properties of a polynomial ? _K,F,η (t) ∈ ?[t] such that ? _K,F,η (r) = trdeg _K F _r for all sufficiently large r ∈ ?. This result implies the existence of a dimension polynomial that describes the strength of a system of differential equations with group action in the sense of A. Einstein. We shall also present a more general result, a theorem on a multivariate dimension polynomial associated with an intermediate differential field F and partitions of the basic set Δ.     

Some well-posed functional equations which generate semigroups

Consider the abstract linear functional equation (FE) (Dx)(t) = f(t) (t ? 0), x(t) = ?(t) (t ? 0) in a Banach space B. A theorem is proven which contains the following result as a special case. Let Y(R; B; η) be a L^p-space or C₀-space on R = (?t8, ∞), with a suitable weight function η, and with values in B. Let D be a closed (unbounded) causal linear operator in Y(R; B; η), which commutes with translations. Suppose that D + λI has a continuous causal inverse for some complex λ, and that D restricted to those functions in Y(R;B;η) which vanish on R^? = (?∞, 0] has a continuous causal inverse. Then (FE) generates a strongly continuous semigroup of translation type on a Banach space, which is essentially the cross product of the restriction of the domain of D to R^? and Y(R⁺; B; η). Examples with B = Cⁿ on how the theory applies to a neutral functional differential equation, a difference equation, a Volterra integrodifferential equation (with nonintegrable kernel but integrable resolvent), and a fractional order functional differential equation are given. Also, an abstract neutral functional differential equation in a Hilbert space is studied and applications to an abstract Volterra integrodifferential equation in a Banach space are indicated.     

Agard’s η-distortion function and Schottky’s theorem

The monotoneity properties of certain functions defined in terms of the η-distortion function ηκ(t) in quasiconformal theory are studied and asymptotically sharp bounds are obtained for ηκ(t), thus proving some properties of the upper bound functionK(t, r) in Schottky’s theorem on analytic functions and improving the known explicit bounds forK (t, r).     

New families of graceful banana trees

Consider a family of stars. Take a new vertex. Join one end-vertex of each star to this new vertex. The tree so obtained is known as abanana tree. It is proved that the banana trees corresponding to the family of stars

1. (K_1,1, K_1,2,…, K_{1,t ?1}, (α + l) K_1,t, K_{1,t + 1}, …, K_1,n), α ? 0
2. (2K_1,1, 2K_1,2,…, 2K_{1,t? 1}, (α + 2)K_1,t, 2K_{1,t + 1, …}, 2K_1,n), 0 ? α <t and
3. (3K_1,t, 3K_1,2, …, 3K_1,n) are graceful.

     

On the Semicontinuity of Curvature Integrals

Let H_j(K, ·) be the j – th elementary symmetric function of the principal curvatures of a convex body K in Euclidean d – space. We show that the functionals ∫_bd f(H_j(K, x)) dℋ︁^d—1(x) depend upper semicontinuously on K, if f : [0, ∞) is concave, lim_t→0f(t) = 0, and lim_t→∞f(t)/t = 0. An analogous statement holds for integrals of elementary symmetric functions of the principal radii of curvature.     

A note on tunnel number of composite knots

Let K be a knot in a sphere S³. We denote by t(K) the tunnel number of K. For two knots K₁ and K₂, we denote by K₁?K₂ the connected sum of K₁ and K₂. In this paper, we will prove that if one of K₁ and K₂ has high distance while the other has distance at least 3 then t(K₁?K₂)=t(K₁)+t(K₂)+1.     

Kostka functions associated to complex reflection groups and a conjecture of Finkelberg-Ionov

Kostka functions K_(λ,μ)~±(t), indexed by r-partitions λ and μ of n, are a generalization of Kostka polynomials K_(λ,μ)(t) indexed by partitions λ,μ of n. It is known that Kostka polynomials have an interpretation in terms of Lusztig's partition function. Finkelberg and Ionov(2016) defined alternate functions K_(λ,μ)(t) by using an analogue of Lusztig's partition function, and showed that K_(λ,μ)(t) ∈Z≥0[t] for generic μ by making use of a coherent realization. They conjectured that K_(λ,μ)(t) coincide with K_(λ,μ)~-(t). In this paper, we show that their conjecture holds. We also discuss the multi-variable version, namely, r-variable Kostka functions K_(λ,μ)~±(t_1,…,t_r).     

On vanishing coefficients of algebraic power series over fields of positive characteristic

Let K be a field of characteristic p>0 and let f(t ₁,…,t _d ) be a power series in d variables with coefficients in K that is algebraic over the field of multivariate rational functions K(t ₁,…,t _d ). We prove a generalization of both Derksen’s recent analogue of the Skolem–Mahler–Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices (n ₁,…,n _d )∈? ^d for which the coefficient of \(t_{1}^{n_{1}}\cdots t_{d}^{n_{d}}\) in f(t ₁,…,t _d ) is zero is a p-automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to S-unit equations and more generally to the Mordell–Lang Theorem over fields of positive characteristic.     

Singly-implicit stabilized extended one-step methods for second-order initial-value problems with oscillating solutions

We introduce a new class of singly-implicit extended one-step methods for the numerical integration of second-order initial-value problems y″ = f(t, y), y(t₀) = η₀, y′(t₀) = η₁, with oscillating solutions. We first show that for third order, with two stages there exists a uniquely determined ‘almost’ P-stable method. We then investigate stability of the general class of fourth-order one-step methods. We first look for stabilized fourth-order methods with two stages, and show the interesting result that there exist families of two-stage fourth-order P-stable methods. We also obtain some families of three-stage fourth-order P-stable methods. The obtained methods are computationally tested on problems of practical interest.     

The growth series of H(ℤ × ℤ2)

Let H be a group with finite generating set A, and growth series η(t) with respect to A. Then the growth series of H?(?×?₂) with respect to the finite generating set A∪ {(1, 0), (0,1)} is explicitly calculated, in terms of η(t).     

Limit theorems for semigroups with perturbed generators,with applications to multiscaled random evolutions

For parameters η, let {B(η)} denote infinitesimal operators of strongly continuous semigroups, with resolvents R(λ; B(η)) satisfying λR(λ; B(η)) = P(η) + λV(η) + o(λ). For parameters α, let {A(α)} denote possibly unbounded, linear operators for which {A(α) + B(η)} are infinitesimal operators of strongly continuous semigroups {U_α·η(t)}. For α, η converging simultaneously, we show strong convergence of the semigroups U_α·η(t) to a strongly continuous semigroup U(t), with limiting infinitesimal operator characterized by lim_α·η ∑_jP(η) A(α) × (V(η) A(α))ⁱf. We give applications of the abstract perturbation theorems to limit theorems of random evolutions and associated abstract Cauchy problems, in which multiscaling occurs in the convergence.     

Discontinuities of approximating measures on constant width sets

SiaK un insieme piano ad ampiezza costante δ, ?K la sua frontiera ev _t (K) la misura approssimante la misura unidimensionale di Hausdorff μ¹(K), ottenuta con ricoprimento chiusi di diametro non superiore att. E′ noto che l'unica discontinuità perv _t (K) e perv _t (?K) si può avere pert=δ. In questo scritto si approfondisce lo studio di queste discontinuità e si dimostra tra l'altro che i salti in δ div _t (K) ev _t (?K) sono uguali.     

Concave iteration semigroups of linear continuous set-valued functions

Let {F ^t : t ≥ 0} be a concave iteration semigroup of linear continuous set-valued functions defined on a convex cone K with nonempty interior in a Banach space X with values in cc(K). If we assume that the Hukuhara differences F ⁰(x) ? F ^t (x) exist for x ∈ K and t > 0, then D _t F ^t (x) = (?1)F ^t ((?1)G(x)) for x ∈ K and t ≥ 0, where D _t F ^t (x) denotes the derivative of F ^t (x) with respect to t and $G(x) = \mathop {\lim }\limits_{s \to 0} {{\left( {F^0 \left( x \right) - F^s \left( x \right)} \right)} \mathord{\left/ {\vphantom {{\left( {F^0 \left( x \right) - F^s \left( x \right)} \right)} {\left( { - s} \right)}}} \right. \kern-0em} {\left( { - s} \right)}}$ for x ∈ K.     

Asymptotics of the heat exchange

Let K be a compact subset in Euclidean space , and let E_K(t) denote the total amount of heat in at time t, if K is kept at fixed temperature 1 for all t?0, and if has initial temperature 0. For two disjoint compact subsets K₁ and K₂ we define the heat exchange H_K1,K2(t)=E_K1(t)+E_K2(t)−E_K1∪K2(t). We obtain the leading asymptotic behaviour of H_K1,K2(t) as t→0 under mild regularity conditions on K₁ and K₂.     

A note on stability for parametric equilibrium problems

In this paper we consider equilibrium problems in vector metric spaces where the function f and the set K are perturbed by the parameters ε,η. We study the stability of the solutions, providing some results in the peculiar framework of generalized monotone functions, first in the particular case where K is fixed, then under both data perturbation.