Search

A classical result of K. L. Chung and W. Feller deals with the partial sums S k S_k arising in a fair coin-tossing game. If N n N_n is the number of “positive” terms among S 1 S_1 , S 2 S_2 , …, S n S_n then the quantity P ( N 2 n = 2 r ) P(N_{2n} = 2r) takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for P ( N 2 n + 1 = r ) P(N_{2n+1} = r) , r = 0 r = 0 , 1 1 , 2 2 , …, 2 n + 1 2n+1 . We get to this ansatz by adaptating the Feynman–Kac methodology.

Let l be a Banach sequence space with a monotone norm in which the canonical system (e_{n}) is an unconditional basis. We show that if there exists a continuous linear unbounded operator between l-K\"{o}the spaces, then there exists a continuous unbounded quasi-diagonal operator between them. Using this result, we study in terms of corresponding K\"{o}the matrices when every continuous linear operator between l-K\"{o}the spaces is bounded. As an application, we observe that the existence of an unbounded operator between l-K\"{o}the spaces, under a splitting condition, causes the existence of a common basic subspace.

In 1903, Epstein published his proof of meromorphic continuation and a functional equation for Dirichlet series associated with quadratic forms, now called Epstein zeta-functions. However, already in 1889 (or even earlier) Hurwitz was aware of these results as his mathematical diaries and some unpublished notes (in an almost final form) found in his estate at the ETH Zurich show. In this article we present and analyze Hurwitz's notes and compare his reasoning with Epstein's paper in detail.

We complete a gap in the proof that exceptional polynomials are complete orthogonal systems in the associated Hilbert spaces.

In this paper author was proved the boundedness of the multidimensional Hardy type operator in weighted Lebesgue spaces with a variable exponent. As an application we prove the boundedness of certain sublinear operators on the weighted variable Lebesgue space. Note that the proof of multidimensional Hardy type operator in weighted Lebesgue spaces with a variable exponent don't contained any mistakes. But at the proving of the boundedness of certain sublinear operators on the weighted variable Lebesgue space Georgian colleagues discovered a small but significant error in this paper. This result is assigned as Theorem 5 in noted paper. In other words, sufficient conditions for general weights ensuring the validity of the two-weight strong type inequalities for some sublinear operator was found. In this theorem the inequality (9) isn't true. In this note we give the details of the correct argument. We presume that the reader is familiar with the contents and notation of our original paper. At the heart of our correction is the following Theorem which replaces Theorem 5.

In the paper (HA14), unfortunately, a computational error occurred in one estimate. Although the wrong estimate does not affect the main results, we want to present the necessary corrections. Essentially, Lemma 5.2 has to be corrected and, since it is used in the proof of Theorem 5.1, the proof of this theorem also requires an adaptation. (i) The corrected formulation of Lemma 5.2 is as follows. Lemma 5.2 For Lagrange finite elements with a shape-regular family of affine meshes { T n h } h>0 there is a constant C > 0 independent of q and h such that for all w ∈ Wh and q = 2m, m ∈N: CΛq−2 p (∇w,∇Ip h (wq−1))T ∫ T ‖∇w‖l2‖w‖ q−2 0,∞,T dx, ∀T ∈ T n h , (5.1) where Λp = ‖ ∑ndof i=1 |φi|‖0,∞,T is the Lebesgue constant.

This article reviews Albert Einstein's first published paper, submitted for publication in 1900. At that time, Einstein was 21 and a recent college graduate. His paper uses modeling and least squares to analyze data in support of a scientific proposition. Einstein is shown to be well trained, for his day, in using statistics as a tool in his scientific research. This paper also shows his ability to make trivial arithmetic mistakes and some clumsiness in data recording. A major aim of this article is to help provide a better appreciation of Einstein as an active user of statistical arguments in this and other of his important publications.

Sandor Szab6 (sszabo7@hotmail.com) was born and grew up in Hungary and graduated from E6tv6s University in Budapest. He has taught at the Technical University in Budapest, has held a variety of visiting positions, and currently is on the faculty of the University of Pecs in Hungary. His main mathematical interests are in algebra and its applications. He has written two monographs, Algebra and Tilingq with S. K. Stein, and Topics in Factorization of Abelian Groups.

This paper presents a sufficient condition for a one-dimensional Dirac operator with a potential tending to infinity at infinity to have no eigenvalues. It also provides a quick proof (and suggests variations) of a related criterion given by Evans and Harris.

Let S be a surface obtained from a plane polygon by identifying infinitely many pairs of segments along its boundary. A condition is given under which the complex structure in the interior of the polygon extends uniquely across the quotient of its boundary to make S into a closed Riemann surface. When this condition holds, a modulus of continuity is obtained for a uniformizing map on S., 36 pages, 11 figures

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

The spectral gap conjecture of M. van den Berg [2, formula (65)] asserts that λ2 − λ1 ≥ 3π for all convex euclidean domains of diameter 1, where λ1 and λ2 denote the first two eigenvalues of the Dirichlet Laplacian. Notice that equality holds for the 1-dimensional unit interval, which can be regarded also as a degenerate n-dimensional rectangular box. The gap estimate is conjectured to hold more generally for Schrodinger operators with convex potentials, under Dirichlet boundary conditions; see the work of S.-T. Yau and collaborators [9, 11]. This Schrodinger gap conjecture was proved some time ago in 1 dimension by R. Lavine [8], and more recently in all dimensions by B. Andrews and J. Clutterbuck [1]. The proof in this journal by H. Donnelly [3] of the original gap conjecture in 2 dimensions (for the Dirichlet Laplacian with zero potential) is not correct. The Editors of Mathematische Zeitschrift have asked us to describe the flaws in the proof, in order to clarify the state of the literature. Donnelly’s approach to the problem is a natural one: first perform a shape optimization to rule out a non-degenerate minimizing domain, and then analyze the spectral gap for a sequence of domains degenerating to an interval, with the help of results by D. Jerison [5]. (For some history on this approach, and on the gap conjecture more generally, see the report on the AIM meeting “Low Eigenvalues of Laplace and Schrodinger Operators” [10], especially page 12 of the open problems list.) The error lies in the proof of the shape optimization step, as we now explain. Donnelly wishes to prove that no minimizing domain can exist for

The date of publication of Helmholtz's first paper on the foundations of geometry is discussed.

The concepts of parallel transport and intrinsic (Gaussian) curvature arising in the differential geometry of surfaces may be pleasantly and concretely investigated using paper models and f...

Let E be a real Banach space. A norm-one element e in E is said to be an isometric reflection vector if there exist a maximal subspace M of E and a linear isometry F : E → E fixing the elements of M and satisfying F (e) = −e. We prove that each of the conditions (i) and (ii) below implies that E is a Hilbert space. (i) There exists a nonrare subset of the unit sphere of E consisting only of isometric reflection vectors, (ii) There is an isometric reflection vector in E, the norm of E is convex transitive, and the identity component of the group of all surjective linear isometries on E relative to the strong operator topology is not reduced to the identity operator on E.

We disagree with Bucy’s comments (Bucy 1994) on our (Udwadia &; Kalaba 1992) paper. The reasons are as follows. 1. Just as the Gibbs-Appell equations (which use quasi-coordinates) are not the same as the Lagrange equations (which use Lagrange multipliers), the equations of motion obtained by us are not the same as the Gibbs-Appell equations. Some of the steps required to obtain the Gibbs-Appell equations are (Pars 1979; Whittaker 1937): (1) choice of quasi-coordinates; (2) elimination of certain quasicoordinates in terms of other preferred quasi-coordinates; (3) setting up of the Gibbs function; and (4) differentiation of the Gibbs function with respect to the preferred quasi-coordinates. None of these steps is used in obtaining our equations of motion. 2. Yet, the equations of motion obtained by us are equivalent to the Lagrange equations with multipliers (Kalaba et al. 1995) and to the Gibbs-Appell equations (Udwadia & Kalaba 1996). By equivalent we mean each set of equations implies the other. In fact all these different sets of equations are simply different, yet equivalent, ways of stating D’Alembert’s principle for bilinear constraints. Thus what applies to one set of equations applies to the others. Any deficiency in the equations derived in our paper (say regarding rank changes of the matrix A) is therefore present in the Gibbs-Appell equations and Lagrange’s equations as well, because of their equivalence.

In this paper, we analyze the complexity of an eco-epidemiological model for phytoplankton–zooplankton system in presence of toxicity and time delay. Holling type II function response is incorporated to address the predation rate as well as toxic substance distribution in zooplankton. It is also presumed that infected phytoplankton does recover from the viral infection. In the absence of time delay, stability and Hopf-bifurcation conditions are investigated to explore the system dynamics around all the possible equilibrium points. Further, in the presence of time delay, conditions for local stability are derived around the interior equilibria and the properties of the periodic solution are obtained by applying normal form theory and central manifold arguments. Computational simulation is performed to illustrate our theoretical findings. It is explored that system dynamics is very sensitive corresponding to carrying capacity and toxin liberation rate and able to generate chaos. Further, it is observed that time delay in the viral infection process can destabilize the phytoplankton density whereas zooplankton density remains in its old state. Incorporation of time delay also gives the scenario of double Hopf-bifurcation. Some control parameters are discussed to stabilize system dynamics. The effect of time delay on (i) growth rate of susceptible phytoplankton shows the extinction and double Hopf-bifurcation in the zooplankton population, (ii) a sufficiently large value of carrying capacity stabilizes the chaotic dynamics or makes the whole system chaotic with further increment.

Månsson and Shukur (Econ Model 28:1475–1481, 2011) proposed a Poisson ridge regression estimator (PRRE) to reduce the negative effects of multicollinearity. However, a weakness of the PRRE is its relatively large bias. Therefore, as a remedy, Türkan and Özel (J Appl Stat 43:1892–1905, 2016) examined the performance of almost unbiased ridge estimators for the Poisson regression model. These estimators will not only reduce the consequences of multicollinearity but also decrease the bias of PRRE and thus perform more efficiently. The aim of this paper is twofold. Firstly, to derive the mean square error properties of the Modified Almost Unbiased PRRE (MAUPRRE) and Almost Unbiased PRRE (AUPRRE) and then propose new ridge estimators for MAUPRRE and AUPRRE. Secondly, to compare the performance of the MAUPRRE with the AUPRRE, PRRE and maximum likelihood estimator. Using both simulation study and real-world dataset from the Swedish football league, it is evidenced that one of the proposed, MAUPRRE ($$ \hat{k}_{q4} $$ k ^ q 4 ) performed better than the rest in the presence of high to strong (0.80–0.99) multicollinearity situation.

That Euler was quite aware of the subtleties of assigning a sum to a divergent series is amply demonstrated in his paper De seriebus divergentibus which appeared in Novi commentarii academiae scientiarum Petropolitanae 5 (1754/55), 205–237 (= Opera Omnia (1) 14, 585–617) in the year 1760. The first half of this paper contains a detailed exposition of Euler's views which should be more readily accessible to the mathematical community.The authors present here a translation from Latin of the summary and first twelve sections of Euler's paper with some explanatory comments. The remainder of the paper, treating Wallis' hypergeometric series and other technical matter, is described briefly. Appended is a short bibliography of works concerning Euler which are available to the English-speaking reader.

This paper deals with Schrodinger operators as they were treated by Kato - Ikebe [3]. It is shown that every element of the domain of definition of the adjoint of such an operator has locally square integrable distributional derivatives up to the order 2. For this the potential of the Schrodinger operator must fulfil a local Stummel condition; if the potential is only locally square integrable a somewhat weaker statement is possible for three dimensions (see remark 2 at the end of this paper).

Recently Cameron and Storvick introduced and studied an operator valued function space integral related to the Feynman integral. The main theorems of their study establish the existence of the function space integral as a weak operator limit of operators defined at the first stage by finite-dimensional integrals. This paper provides a substantial strengthening of their existence theorem giving the function space integrals as strong operator limits rather than as weak operator limits.

The article deals with the analysis of the fractional COVID‐19 epidemic model (FCEM) with a convex incidence rate. Keeping in view the fading memory and crossover behavior found in many biological phenomena, we study the coronavirus disease by using the noninteger Caputo derivative (CD). Under the Caputo operator (CO), existence and uniqueness for the solutions of the FCEM have been analyzed using fixed point theorems. We study all the basic properties and results including local and global stability. We show the global stability of disease‐free equilibrium using the method of Castillo‐Chavez, while for disease endemic, we use the method of geometrical approach. Sensitivity analysis is carried out to highlight the most sensitive parameters corresponding to basic reproduction number. Simulations are performed via first‐order convergent numerical technique to determine how changes in parameters affect the dynamical behavior of the system.

n/a

The Centre for Kentish Studies in Maidstone, Kent holds the mathematical manuscripts of Philip Stanhope (1714–1786), second Earl of Stanhope. He was an active and capable amateur mathematician. Although the manuscripts cover a wide range of mathematical topics, the current article focuses only on Stanhope's work in probability, where his interests appear to be on the theoretical rather than the applied side of the subject. His work, mainly derived from De Moivre's The Doctrine of Chances and Montmort's Essay d'analyse sur les jeux de hazard, touches on the major probability problems of the day. Among the notes on these two authors there is work that includes an alternate solution to the theory of runs and a simplified solution to a special case of the problem of the duration of play, related to the gambler's ruin problem. In addition, the manuscript collection contains Stanhope's transcription of an incorrect solution to the theory of runs by Thomas Bayes. There is also some correspondence with Sir Alexander Cuming that touches on George Berkeley's criticism of Isaac Newton's development of the calculus.

© 2019, Pleiades Publishing, Ltd. It is well known that the classical and Sobolev wave fronts were extended to nonequivalent global versions by the use of the short-time Fourier transform. In this very short paper, we give complete characterizations of the former wave front sets in terms of the short-time Fourier transform.

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages

The "exact subgraph" approach was recently introduced as a hierarchical scheme to get increasingly tight semidefinite programming relaxations of several NP-hard graph optimization problems. Solving these relaxations is a computational challenge because of the potentially large number of violated subgraph constraints. We introduce a computational framework for these relaxations designed to cope with these difficulties. We suggest a partial Lagrangian dual, and exploit the fact that its evaluation decomposes into several independent subproblems. This opens the way to use the bundle method from non-smooth optimization to minimize the dual function. Finally computational experiments on the Max-Cut, stable set and coloring problem show the excellent quality of the bounds obtained with this approach., arXiv admin note: substantial text overlap with arXiv:1902.05345

We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.

We propose a complete-search algorithm for solving a class of non-convex, possibly infinite-dimensional, optimization problems to global optimality. We assume that the optimization variables are in a bounded subset of a Hilbert space, and we determine worst-case run-time bounds for the algorithm under certain regularity conditions of the cost functional and the constraint set. Because these run-time bounds are independent of the number of optimization variables and, in particular, are valid for optimization problems with infinitely many optimization variables, we prove that the algorithm converges to an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon $$\end{document}ε-suboptimal global solution within finite run-time for any given termination tolerance \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon > 0$$\end{document}ε>0. Finally, we illustrate these results for a problem of calculus of variations.

M. Rosenblum in [2] presented a most ingenious proof of the Fuglede and Putnam Theorems by means of entire vector valued functions [1, p. 59]. We will demonstrate that some curious properties of bounded Hilbert space operators can be derived from Rosenblum's argument and similar arguments. Throughout this text we mean by an "operator" a bounded linear transformation of a Hilbert space into itself. Given an operator A we mean by "exp A " the uniform limit of the series I+A +A 2/2 1 +A3/3! +A4/4! + * * * . We let A * denote the adjoint of the operator A, and let z* denote the complex conjugate of the complex number z. A "normal" operator is an operator which commutes with its adjoint. A critical fact in the Rosenblum proof is that given a normal operator A and any complex number z, exp (izA) exp (iz*A *) exp (izA +iz*A *) = exp (iz*A *) exp (izA), and this operator is unitary because i(zA +z*A *) is skew hermitian. Our first result states, among other things, that the converse is true; if the above equations hold for a fixed operator A and all complex numbers z, then A is normal.

Let f(x) and F(x) be polynomials which are supposed to be decomposed into a series of n terms asFurther let θ be a distributive operation and φ(x) be a given function. Then the functional equationhas a solution of the formwhere yν (x) (ν = 1, 2, … n) is the solution of the equation