The Cauchy problem for the system of linear generalized ordinary differential equations in the J. Kurzweil sense $\mathrm{d}x\left(t\right)=\mathrm{d}{A}_0\left(t\right)·x\left(t\right)+\mathrm{d}{f}_0\left(t\right)$, $x\left(t_0\right)=c_0$ $(t\in I)$ with a unique solution $x_0$ is considered. Necessary and sufficient conditions are obtained for a sequence of the Cauchy problems $\mathrm{d}x\left(t\right)=\mathrm{d}{A}_k\left(t\right)·x\left(t\right)+\mathrm{d}{f}_k\left(t\right)$, $x\left(t_k\right)=c_k$ $(k=1,2,\cdots )$ to have a unique solution $x_k$ for any sufficiently large $k$ such that $x_k\left(t\right)\to x_0\left(t\right)$ uniformly on $I$. Presented results are analogous to the sufficient conditions due to Z. Opial for linear ordinary differential systems....

It is known that there is no natural Banach norm on the space $\mathrm{\mathscr{H}𝒦}$ of $n$-dimensional Henstock-Kurzweil integrable functions on $[a,b]$. We show that the $\mathrm{\mathscr{H}𝒦}$ space is the uncountable union of Fréchet spaces $\mathrm{\mathscr{H}𝒦}\left(X\right)$. On each $\mathrm{\mathscr{H}𝒦}\left(X\right)$ space, an $F$-norm ${\parallel ·\parallel }^X$ is defined. A ${\parallel ·\parallel }^X$-convergent sequence is equivalent to a control-convergent sequence. Furthermore, an $F$-norm is also defined for a ${\parallel ·\parallel }^X$-continuous linear operator. Hence, many important results in functional analysis hold for the $\mathrm{\mathscr{H}𝒦}\left(X\right)$ space. It is well-known that every...

We give existence theorems for weak and strong solutions with trichotomy of the nonlinear differential equation $$\dot{x}\left(t\right)=ℒ\left(t\right)x\left(t\right)+f(t,x\left(t\right)),t\in ℝ\left(\mathrm{P}\right)$$ where $\left\{ℒ\right(t):t\in ℝ\}$ is a family of linear operators from a Banach space $E$ into itself and $f:ℝ\times E\to E$. By $L\left(E\right)$ we denote the space of linear operators from $E$ into itself. Furthermore, for $a<b$ and $d>0$, we let $C\left(\right[-d,0],E)$ be the Banach space of continuous functions from $[-d,0]$ into $E$ and $f^d:[a,b]\times C([-d,0],E)\to E$. Let $\widehat{ℒ}:[a,b]\to L\left(E\right)$ be a strongly measurable and Bochner integrable operator on $[a,b]$ and for $t\in [a,b]$ define ${\tau }_{t}x\left(s\right)=x(t+s)$ for each $s\in [-d,0]$. We prove that, under certain...

For any $\alpha ,\beta >0$ with $\alpha +\beta <1$ we provide a simple construction of an $\alpha$-Hölde function $f:[0,1]\to ℝ$ and a $\beta$-Hölder function $g:[0,1]\to ℝ$ such that the integral ${\int }_0^{1}f\mathrm{d}g$ fails to exist even in the Kurzweil-Stieltjes sense.

We consider the equation $$-r\left(x\right)y^{\text{'}}\left(x\right)+q\left(x\right)y\left(x\right)=f\left(x\right),x\in ℝ$$ where $f\in L_p\left(ℝ\right)$, $p\in [1,\infty ]$ ($L_{\infty }\left(ℝ\right):=C\left(ℝ\right)$) and $$0<r\in C^{}\left(ℝ\right),0\le q\in L_1^{}\left(ℝ\right).$$ We obtain minimal requirements to the functions $r$ and $q$, in addition to (), under which equation () is correctly solvable in $L_p\left(ℝ\right)$, $p\in [1,\infty ]$.

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators ${ℳ}^{+}$ and ${ℳ}^{-}$. More precisely, we prove that ${ℳ}^{+}$ and ${ℳ}^{-}$ map $W^{1,p}\left(ℝ\right)\to W^{1,p}\left(ℝ\right)$ with $1<p<\infty$, boundedly and continuously. In addition, we show that the discrete versions $M^{+}$ and $M^{-}$ map $\mathrm{BV}\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ boundedly and map $l^1\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ continuously. Specially, we obtain the sharp variation inequalities of $M^{+}$ and $M^{-}$, that is, $$\mathrm{Var}\left(M^{+}\left(f\right)\right)\le \mathrm{Var}\left(f\right)\text{and}\mathrm{Var}\left(M^{-}\left(f\right)\right)\le \mathrm{Var}\left(f\right)$$ if $f\in \mathrm{BV}\left(\mathbb{Z}\right)$, where $\mathrm{Var}\left(f\right)$ is the total variation of $f$ on $\mathbb{Z}$ and $\mathrm{BV}\left(\mathbb{Z}\right)$ is the set of all functions $f:\mathbb{Z}\to ℝ$ satisfying $\mathrm{Var}\left(f\right)<\infty$.

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem $$\mathrm{d}x=\mathrm{d}A\left(t\right)·f(t,x),h\left(x\right)=0$$ is established, where $f:[a,b]\times {ℝ}^n\to {ℝ}^n$ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function $A:[a,b]\to {ℝ}^{n\times n}$ with bounded total variation components, and $h:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition $x\left(t_1\left(x\right)\right)=ℬ\left(x\right)·x\left(t_2\left(x\right)\right)+c_0,$ where $t_i:{BV}_s([a,b],{ℝ}^n)\to [a,b]$ $(i=1,2)$ and $ℬ:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ are continuous...