Related papers: Variations on Barbalat's Lemma
In the past decades, weak convergence theory for stochastic processes has become a standard tool for analyzing the asymptotic properties of various statistics. Routinely, weak convergence is considered in the space of bounded functions…
A paper, entitled "Uniform stabilization for the Timoshenko beam by a locally distributed damping" was published in 2003, in the journal Electronic Journal of Differential Equations. Its title concerns exclusively its Section 3, devoted to…
Consider a sequence of polynomials of bounded degree evaluated in independent Gaussian, Gamma or Beta random variables. We show that, if this sequence converges in law to a nonconstant distribution, then (i) the limit distribution is…
We give a version of the Borel-Cantelli lemma. As an application, we prove an almost sure local central limit theorem. As another application, we prove a dynamical Borel-Cantelli lemma for systems with sufficiently fast decay of…
Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…
The classical sharp Hardy-Littlewood-Sobolev inequality states that, for $1<p, t<\infty$ and $0<\lambda=n-\alpha <n$ with $ 1/p +1 /t+ \lambda /n=2$, there is a best constant $N(n,\lambda,p)>0$, such that $$ |\int_{\mathbb{R}^n}…
The Clark theorem is important in critical point theory. For a class of even functionals it ensures the existence of infinitely many negative critical values converging to $0$ and it has important applications to sublinear elliptic…
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
We present a complete characterization of the asymptotic behaviour of a correlated Bernoulli sequence { which depends on the parameter $\theta \in [0,1]$. A martingale theory based approach will allow} us to prove versions of the law of…
Let $s: [1, \infty) \to \C$ be a locally integrable function in Lebesgue's sense on the infinite interval $[1, \infty)$. We say that $s$ is summable $(L, 1)$ if there exists some $A\in \C$ such that $$\lim_{t\to \infty} \tau(t) = A, \quad…
Contrary to what Lambare [arXiv:2008.00369] assumes, in non-Newtonian calculus (a calculus based on non-Diophantine arithmetic) an integral is typically given by a nonlinear map. This is the technical reason why all the standard proofs of…
We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This…
We show that the existence of a strictly compatible pair of control Lyapunov and control barrier functions is equivalent to the existence of a single smooth Lyapunov function that certifies both asymptotic stability and safety. This…
A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many…
The failure of Bell's theorem for Clifford algebra valued local variables is further consolidated by proving that the conditions of remote parameter independence and remote outcome independence are duly respected within the recently…
This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…
Let $X=\{X_n: n\in\mathbb{N}\}$ be a long memory linear process in which the coefficients are regularly varying and innovations are independent and identically distributed and belong to the domain of attraction of an $\alpha$-stable law…
Feedback asymptotic stabilization of control systems is an important topic of control theory and applications. Broadly speaking, if the system $\dot{x} = f(x,u)$ is locally asymptotically stabilizable, then there exists a feedback control…
A quantitative form of the Nullity Theorem is presented, which establishes a linear relation between the singular values of the two submatrices involved in the theorem up to the first order. The theorem is then extended to function spaces…