Related papers: The cycloid as brachistochrone: A one-page proof, …
Consider the extreme value of a Bernoulli random walk on the one-dimensional integer lattice, with reflection at 0, over a finite discrete time interval. Only the asymmetric (biased) case is discussed. Asymptotic mean/variance results are…
From a multiple scale analysis, we find an analytic solution of spherical and cylindrical Poisson-Boltzmann theory for both a 1:2 (monovalent co-ions, divalent counter-ions) and a 2:1 (reversed situation) electrolyte. Our approach consists…
We present a new representation of solutions of the Benjamin-Ono equation that are periodic in space and time. Up to an additive constant and a Galilean transformation, each of these solutions is a previously known, multi-periodic solution;…
Some binary quadratic operads are endowed with anticyclic structures and their characteristic functions as anticyclic operads are determined, or conjectured in one case.
This is a survey on unramified cohomology with a view towards its applications to rationality problems.
The block-oriented models are usually based on linear dynamic and non-linear static blocks that are connected in various sequential/parallel ways. Some particular configurations of the involved blocks result in the well-known Hammerstein,…
We investigate basic features of Bianchi's B\"acklund transformation of quadrics to see if it can be obtained under weaker assumptions and if it can be generalized to deformations of other surfaces.
In this article, we give a simple proof of the comparison of nearby and vanishing cycles in the sense of Riemann-Hilbert correspondence following the idea of Beilinson and Bernstein, without using the Kashiwara-Malgrange $V$-filtrations.
A cyclic proof system is a proof system whose proof figure is a tree with cycles. The cut-elimination in a proof system is fundamental. It is conjectured that the cut-elimination in the cyclic proof system for first-order logic with…
We show that a complete Euclidean submanifold with minimal index of relative nullity $\nu_0>0$ and Ricci curvature with a certain controlled decay must be a $\nu_0$-cylinder. This is an extension of the classical Hartman cylindricity…
We will use analytic function theory and Fourier analysis to establish a characterization for some classical umbral calculus, which will focus on the generalization of the evaluation function. Although we cannot cover all the umbral…
Simple necessary and sufficient conditions for a $n$-tuple of noncommutative polynomials to be a cyclic gradient are given and similarly for a noncommutative polynomial to have a vanishing cyclic gradient. Connections with free probability…
Quasilinear systems with piecewise constant arguments of generalized type are under investigation from the asymptotic point of view. The systems have discontinuous right-hand sides which are identified via a discrete-time map. It is…
Isabel Martin-Lyons and Paul J.Truman generalized the definition of a skew brace to give a new algebraic object, which they termed a skew bracoid. Their construction involves two groups interacting in a manner analogous to the compatibility…
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…
A pedagogical derivation of the Huygens cycloidal pendulum, suitable for high-school students, is here presented. Our derivation rests only on simple algebraic and geometrical tricks, without the need of any Calculus concept.
We derive the Helmholtz theorem for Hamiltonian systems defined on time scales in the context of nonshifted calculus of variations which encompass the discrete and continuous case. Precisely, we give a theorem characterizing first order…
In 1874 Brill and Noether designed a seminal geometric method for computing bases of Riemann-Roch spaces. From then, their method has led to several algorithms, some of them being implemented in computer algebra systems. The usual proofs…
Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for…
Elliptic functions are largely studied and standardized mathematical objects. The two usual approaches are due to Jacobi and Weierstrass. From a contour integral which allowed us to unify many summation formulae (Euler-MacLaurin, Poisson,…