Difference between revisions of "Jackson logarithm"

From timescalewiki
Jump to: navigation, search
 
(6 intermediate revisions by the same user not shown)
Line 1: Line 1:
This definition attempts to define the logarithm as the inverse of an [[exponential_functions | exponential function]]. Let $\mathbb{T}$ be a time scale. Let $p \in \mathcal{R}(\mathbb{T},\mathbb{R})$ be [[regressive_function | regressive]]. Define $F \colon \mathcal{R}(\mathbb{T},\mathbb{R}) \rightarrow C_n^1(\mathbb{T},\mathbb{R})$ by $F(p)=e_p(t,s)$, where $C_n^1$ denotes nonvanishing continuously $\Delta$-differentible functions. Let $g \in C_n^1(\mathbb{T},\mathbb{R})$. Define
+
Let $\mathbb{T}$ be a time scale. Let $p \in \mathcal{R}(\mathbb{T},\mathbb{R})$ be [[regressive_function | regressive]]. Let $g \colon \mathbb{T} \rightarrow \mathbb{R}$ be nonvanishing. Define the Jackson logarithm of $g$ by
 
$$\log_{\mathbb{T}}g(t)=\dfrac{g^{\Delta}(t)}{g(t)}.$$
 
$$\log_{\mathbb{T}}g(t)=\dfrac{g^{\Delta}(t)}{g(t)}.$$
  
 
=Properties=
 
=Properties=
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
[[Jackson logarithm of delta exponential]]<br />
<strong>Theorem:</strong> The following formula holds:
+
[[Delta exponential of Jackson logarithm]]<br />
$$\log_{\mathbb{T}} e_p(t,s) = \dfrac{(e_p(t,s))^{\Delta}}{e_p(t,s)} = p(t).$$
+
[[Jackson logarithm of a product]]<br />
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
  
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
=See also=
<strong>Theorem:</strong> For nonvanishing $\Delta$-differentiable functions $f,g$,
+
[[Bohner logarithm]]<br />
$$\log_{\mathbb{T}} \dfrac{f(t)}{g(t)} = \log_{\mathbb{T}} f(t) \ominus \log_{\mathbb{T}} g(t).$$
+
[[Euler-Cauchy logarithm]]<br />
<div class="mw-collapsible-content">
+
[[Mozyrska-Torres logarithm]]<br />
<strong>Proof:</strong> █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem:</strong> If $f$ $\Delta$-differentiable nonvanishing function then
 
$$e_{\log_{\mathbb{T}}f}(t,s)=\dfrac{f(t)}{f(s)}.$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem:</strong> For nonvanishing $\Delta$-differentiable functions $f,g$,
 
$$\log_{\mathbb{T}} f(t)g(t) = \log_{\mathbb{T}} f(t) \oplus \log_{\mathbb{T}} g(t).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
  
 
=References=
 
=References=
*{{PaperReference|The time scale logarithm|2008|Billy Jackson|prev=findme|next=findme}}: $(1.1)$
+
*{{PaperReference|The time scale logarithm|2008|Billy Jackson|next=Jackson logarithm of delta exponential}}: Definition $1.1$, $(1.1)$

Latest revision as of 17:43, 11 February 2017

Let $\mathbb{T}$ be a time scale. Let $p \in \mathcal{R}(\mathbb{T},\mathbb{R})$ be regressive. Let $g \colon \mathbb{T} \rightarrow \mathbb{R}$ be nonvanishing. Define the Jackson logarithm of $g$ by $$\log_{\mathbb{T}}g(t)=\dfrac{g^{\Delta}(t)}{g(t)}.$$

Properties

Jackson logarithm of delta exponential
Delta exponential of Jackson logarithm
Jackson logarithm of a product

See also

Bohner logarithm
Euler-Cauchy logarithm
Mozyrska-Torres logarithm

References