An integral representation for a generalised variation of a function

1974 ◽  
Vol 11 (2) ◽  
pp. 225-229 ◽  
Author(s):  
A.M. Russell

In this note we present sufficient conditions for the continuity of the total kth variation of a function defined on a closed interval [a, b]. We also give an integral representation for total feth variation, thus obtaining an extension of the classical result

1961 ◽  
Vol 13 ◽  
pp. 454-461
Author(s):  
P. G. Rooney

Let K be a subset of BV(0, 1)—the space of functions of bounded variation on the closed interval [0, 1]. By the Hausdorff moment problem for K we shall mean the determination of necessary and sufficient conditions that corresponding to a given sequence μ = {μn|n = 0, 1, 2, …} there should be a function α ∈ K so that(1)For various collections K this problem has been solved—see (3, Chapter III)By the trigonometric moment problem for K we shall mean the determination of necessary and sufficient conditions that corresponding to a sequence c = {cn|n = 0, ± 1, ± 2, …} there should be a function α ∈ K so that(2)For various collections K this problem has also been solved—see, for example (4, Chapter IV, § 4). It is noteworthy that these two problems have been solved for essentially the same collections K.


1967 ◽  
Vol 19 ◽  
pp. 757-763 ◽  
Author(s):  
Norman Y. Luther

Following (2) we say that a measure μ on a ring is semifinite ifClearly every σ-finite measure is semifinite, but the converse fails.In § 1 we present several reformulations of semifiniteness (Theorem 2), and characterize those semifinite measures μ on a ring that possess unique extensions to the σ-ring generated by (Theorem 3). Theorem 3 extends a classical result for σ-finite measures (3, 13.A). Then, in § 2, we apply the results of § 1 to the study of product measures; in the process, we compare the “semifinite product measure” (1; 2, pp. 127ff.) with the product measure described in (4, pp. 229ff.), finding necessary and sufficient conditions for their equality; see Theorem 6 and, in relation to it, Theorem 7.


2009 ◽  
Vol 16 (4) ◽  
pp. 597-616
Author(s):  
Shota Akhalaia ◽  
Malkhaz Ashordia ◽  
Nestan Kekelia

Abstract Necessary and sufficient conditions are established for the stability in the Lyapunov sense of solutions of a linear system of generalized ordinary differential equations 𝑑𝑥(𝑡) = 𝑑𝐴(𝑡) · 𝑥(𝑡) + 𝑑𝑓(𝑡), where and are, respectively, matrix- and vector-functions with bounded total variation components on every closed interval from . The results are realized for the linear systems of impulsive, ordinary differential and difference equations.


1985 ◽  
Vol 101 (3-4) ◽  
pp. 253-271 ◽  
Author(s):  
O. A. Arino ◽  
T. A. Burton ◽  
J. R. Haddock

SynopsisWe consider a system of functional differential equationswhere G: R × B → Rn is T periodic in t and B is a certain phase space of continuous functions that map (−∞, 0[ into Rn. The concepts of B-uniform boundedness and B-uniform ultimate boundedness are introduced, and sufficient conditions are given for the existence of a T-periodic solution to (1.1). Several examples are given to illustrate the main theorem.


1966 ◽  
Vol 62 (4) ◽  
pp. 637-642 ◽  
Author(s):  
T. W. Cusick

For a real number λ, ‖λ‖ is the absolute value of the difference between λ and the nearest integer. Let X represent the m-tuple (x1, x2, … xm) and letbe any n linear forms in m variables, where the Θij are real numbers. The following is a classical result of Khintchine (1):For all pairs of positive integers m, n there is a positive constant Г(m, n) with the property that for any forms Lj(X) there exist real numbers α1, α2, …, αn such thatfor all integers x1, x2, …, xm not all zero.


2018 ◽  
Vol 83 (04) ◽  
pp. 1667-1679
Author(s):  
MATÍAS MENNI

AbstractLet ${\cal E}$ be a topos, ${\rm{Dec}}\left( {\cal E} \right) \to {\cal E}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg \,\,\neg }} \to {\cal E}$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity ${\cal E} \to {\cal S}$ for the two subcategories of ${\cal E}$ above, making them Adjointly Opposite. Typical examples of such ${\cal E}$ include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.


2016 ◽  
Vol 37 (7) ◽  
pp. 2163-2186 ◽  
Author(s):  
ANNA GIORDANO BRUNO ◽  
SIMONE VIRILI

Let $G$ be a topological group, let $\unicode[STIX]{x1D719}$ be a continuous endomorphism of $G$ and let $H$ be a closed $\unicode[STIX]{x1D719}$-invariant subgroup of $G$. We study whether the topological entropy is an additive invariant, that is, $$\begin{eqnarray}h_{\text{top}}(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719}\restriction _{H})+h_{\text{top}}(\bar{\unicode[STIX]{x1D719}}),\end{eqnarray}$$ where $\bar{\unicode[STIX]{x1D719}}:G/H\rightarrow G/H$ is the map induced by $\unicode[STIX]{x1D719}$. We concentrate on the case when $G$ is totally disconnected locally compact and $H$ is either compact or normal. Under these hypotheses, we show that the above additivity property holds true whenever $\unicode[STIX]{x1D719}H=H$ and $\ker (\unicode[STIX]{x1D719})\leq H$. As an application, we give a dynamical interpretation of the scale $s(\unicode[STIX]{x1D719})$ by showing that $\log s(\unicode[STIX]{x1D719})$ is the topological entropy of a suitable map induced by $\unicode[STIX]{x1D719}$. Finally, we give necessary and sufficient conditions for the equality $\log s(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719})$ to hold.


1992 ◽  
Vol 34 (1) ◽  
pp. 1-9 ◽  
Author(s):  
Werner J. Ricker

Let Σ be a σ-algebra of subsets of some set Ω and let μ:Σ→[0,∞] be a σ-additive measure. If Σ(μ) denotes the set of all elements of Σ with finite μ-measure (where sets equal μ-a.e. are identified in the usual way), then a metric d can be defined in Σ(μ) by the formulahere E ΔF = (E\F) ∪ (F\E) denotes the symmetric difference of E and F. The measure μ is called separable whenever the metric space (Σ(μ), d) is separable. It is a classical result that μ is separable if and only if the Banach space L1(μ), is separable [8, p.137]. To exhibit non-separable measures is not a problem; see [8, p. 70], for example. If Σ happens to be the σ-algebra of μ-measurable sets constructed (via outer-measure μ*) by extending μ defined originally on merely a semi-ring of sets Γ ⊆ Σ, then it is also classical that the countability of Γ guarantees the separability of μ and hence, also of L1(μ), [8, p. 69].


Author(s):  
R. Suzuki

Non-negative post-blow-up solutions of the quasilinear degenerate parabolic equation in RN (or a bounded domain with Dirichlet boundary condition) are studied. Various sufficient conditions for complete blow-up of solutions are given.


1966 ◽  
Vol 18 ◽  
pp. 1261-1263 ◽  
Author(s):  
Amnon Jakimovski

With a holomorphic function f(z) defined in a domain H which includes the closed interval [—1, 1] we associate the Neumann series1where Pn(z), Qn(t) are, respectively, the nth Legendre polynomials of the first and second kind and γ is a closed and rectifiable Jordan curve which includes [— 1, 1] in its interior and is included, together with its interior, in H.


Sign in / Sign up

Export Citation Format

Share Document