Difference between revisions of "Abel's theorem"
From timescalewiki
(Created page with "Let $\mathbb{T}$ be a time scale and consider the dynamic equation defined by the linear operator $$L_2 y(t) = y^{\Delta \Delta}(t) + p(t) y^{\Delta}(t) + q(t)y(t),$$ wher...") |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | Let $\mathbb{T}$ | + | ==Theorem== |
− | $ | + | Let $t_0 \in \mathbb{T}^{\kappa}$ and assume $y^{\Delta \Delta}(t) + p(t) y^{\Delta}(t) + q(t)y(t) = 0$ is regressive, where $p$ and $q$ are [[rd continuous]]. Suppose that $y_1$ and $y_2$ are two solutions of $L_2 y=0$. Then their [[Wronskian]] satisfies |
− | |||
− | |||
− | |||
$$W(t) = e_{-p+\mu q}(t,t_0)W(t_0)$$ | $$W(t) = e_{-p+\mu q}(t,t_0)W(t_0)$$ | ||
− | for $t \in \mathbb{T}^{\kappa}$. | + | for $t \in \mathbb{T}^{\kappa}$, where $e_{-p+\mu q}$ denotes the [[delta exponential]]. |
− | + | ||
− | + | ==Proof== | |
− | + | ||
− | + | ==References== | |
+ | |||
+ | [[Category:Theorem]] | ||
+ | [[Category:Unproven]] |
Latest revision as of 12:48, 16 January 2023
Theorem
Let $t_0 \in \mathbb{T}^{\kappa}$ and assume $y^{\Delta \Delta}(t) + p(t) y^{\Delta}(t) + q(t)y(t) = 0$ is regressive, where $p$ and $q$ are rd continuous. Suppose that $y_1$ and $y_2$ are two solutions of $L_2 y=0$. Then their Wronskian satisfies $$W(t) = e_{-p+\mu q}(t,t_0)W(t_0)$$ for $t \in \mathbb{T}^{\kappa}$, where $e_{-p+\mu q}$ denotes the delta exponential.