Difference between revisions of "Nabla exponential"
(→Properties of $\nabla$-exponential functions) |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | __NOTOC__ | ||
The $\nabla$-exponential functions are examples of [[exponential functions]] on a [[time scale]]. Define the function $\hat{\xi}_{h} \colon \mathbb{C}_h \rightarrow \mathbb{Z}_h$ by | The $\nabla$-exponential functions are examples of [[exponential functions]] on a [[time scale]]. Define the function $\hat{\xi}_{h} \colon \mathbb{C}_h \rightarrow \mathbb{Z}_h$ by | ||
| − | $$\hat{\xi}_h(z) = \dfrac{1}{h} \log(1-zh).$$ | + | $$\hat{\xi}_h(z) = -\dfrac{1}{h} \log(1-zh).$$ |
Define the $\nabla$ exponential function for $s,t \in \mathbb{T}$ by | Define the $\nabla$ exponential function for $s,t \in \mathbb{T}$ by | ||
$$\hat{e}_p(t,s) = \exp \left( \displaystyle\int_s^t \hat{\xi}_{\nu(\tau)}(p(\tau)) \nabla \tau \right).$$ | $$\hat{e}_p(t,s) = \exp \left( \displaystyle\int_s^t \hat{\xi}_{\nu(\tau)}(p(\tau)) \nabla \tau \right).$$ | ||
| Line 28: | Line 29: | ||
</div> | </div> | ||
| − | + | [[Relationship between delta exponential and nabla exponential]]<br /> | |
| − | + | [[Relationship between nabla exponential and delta exponential]]<br /> | |
=Examples= | =Examples= | ||
| Line 44: | Line 45: | ||
|- | |- | ||
|[[Integers | $\mathbb{Z}$]] | |[[Integers | $\mathbb{Z}$]] | ||
| − | | | + | | |
| − | |||
| − | |||
| − | |||
| − | |||
|- | |- | ||
|[[Multiples_of_integers | $h\mathbb{Z}$]] | |[[Multiples_of_integers | $h\mathbb{Z}$]] | ||
| − | | | + | | |
| − | |||
| − | |||
| − | |||
| − | |||
|- | |- | ||
| [[Square_integers | $\mathbb{Z}^2$]] | | [[Square_integers | $\mathbb{Z}^2$]] | ||
| Line 81: | Line 74: | ||
|- | |- | ||
|[[Integers | $\mathbb{Z}$]] | |[[Integers | $\mathbb{Z}$]] | ||
| − | | | + | | |
|- | |- | ||
|[[Multiples_of_integers | $h\mathbb{Z}$]] | |[[Multiples_of_integers | $h\mathbb{Z}$]] | ||
| − | | | + | | |
|- | |- | ||
| [[Square_integers | $\mathbb{Z}^2$]] | | [[Square_integers | $\mathbb{Z}^2$]] | ||
| Line 90: | Line 83: | ||
|- | |- | ||
|[[Quantum_q_greater_than_1 | $\overline{q^{\mathbb{Z}}}, q > 1$]] | |[[Quantum_q_greater_than_1 | $\overline{q^{\mathbb{Z}}}, q > 1$]] | ||
| − | | | + | | |
|- | |- | ||
|[[Quantum_q_less_than_1 | $\overline{q^{\mathbb{Z}}}, q < 1$]] | |[[Quantum_q_less_than_1 | $\overline{q^{\mathbb{Z}}}, q < 1$]] | ||
Latest revision as of 01:11, 19 December 2016
The $\nabla$-exponential functions are examples of exponential functions on a time scale. Define the function $\hat{\xi}_{h} \colon \mathbb{C}_h \rightarrow \mathbb{Z}_h$ by $$\hat{\xi}_h(z) = -\dfrac{1}{h} \log(1-zh).$$ Define the $\nabla$ exponential function for $s,t \in \mathbb{T}$ by $$\hat{e}_p(t,s) = \exp \left( \displaystyle\int_s^t \hat{\xi}_{\nu(\tau)}(p(\tau)) \nabla \tau \right).$$
Properties of $\nabla$-exponential functions
The function $\hat{e}_p(\cdot,s)$ is the unique solution of the initial value problem $$y^{\nabla} = py; y(s)=1.$$ For all $p,q \in \mathcal{R}_{\nu}$ and $t,s \in \mathbb{T}$,
- $\hat{e}_p(t,r)\hat{e}_p(r,s)=e_p(t,s)$ (semigroup property)
- $\hat{e}_0(t,s)=1, \hat{e}_p(t,t)=1$
- $\hat{e}_p(\rho(t),s)=(1-\nu(t)p(t))\hat{e}_p(t,s)$
- $\dfrac{1}{\hat{e}_p(t,s)}=\hat{e}_{\ominus_{\nu} p}(s,t)$
- $\hat{e}_p(t,s)\hat{e}_q(t,s)=\hat{e}_{p \oplus_{\nu} q}(t,s)$
- $\dfrac{\hat{e}_p(t,s)}{\hat{e}_q(t,s)} = \hat{e}_{p \ominus_{\nu} q}(t,s)$
- $\left( \dfrac{1}{\hat{e}_p(\cdot,s)} \right)^{\nabla} = -\dfrac{p(t)}{\hat{e}_p^{\rho}(\cdot,s)}$
Theorem: (Sign of the Nabla Exponential Function) Let $p \in \mathcal{R}_{\nu}$ and $s \in \mathbb{T}$.
i.) If $p \in \mathcal{R}_{\nu}^+$, then $\hat{e}_{p}(t,s) > 0$ for all $t \in \mathbb{T}$.
ii.) If $1-\nu(t)p(t) < 0$ for some $t \in \mathbb{T}_{\kappa}$, then
$$\hat{e}(\rho(t),s)\hat{e}_{p}(t,s)<0.$$
iii.) If $1-\nu(t)p(t) < 0$ for all $t \in \mathbb{T}$, then $\hat{e}_p(t,s)$ changes sign at every point of $\mathbb{T}$.
iv.) The exponential function $\hat{e}_p(\cdot,s)$ is a real-valued function that is never equal to zero.
Proof: proof goes here █
Relationship between delta exponential and nabla exponential
Relationship between nabla exponential and delta exponential
Examples
Let $p$ be a $\nu$-regressive function.
| $\mathbb{T}=$ | $\hat{e}_{p}(t,s)=$ |
| $\mathbb{R}$ | |
| $\mathbb{Z}$ | |
| $h\mathbb{Z}$ | |
| $\mathbb{Z}^2$ | |
| $\overline{q^{\mathbb{Z}}}, q > 1$ | |
| $\overline{q^{\mathbb{Z}}}, q < 1$ | |
| $\mathbb{H}$ |
Let $\alpha$ be a regressive constant.
| $\mathbb{T}=$ | $\hat{e}_{\alpha}(t,s)=$ |
| $\mathbb{R}$ | $\hat{e}_{\alpha}(t,s)=e^{\alpha(t-s)}$ |
| $\mathbb{Z}$ | |
| $h\mathbb{Z}$ | |
| $\mathbb{Z}^2$ | |
| $\overline{q^{\mathbb{Z}}}, q > 1$ | |
| $\overline{q^{\mathbb{Z}}}, q < 1$ | |
| $\mathbb{H}$ |
References
Nabla dynamic equations on time scales
