Difference between revisions of "Main Page"

From timescalewiki
Jump to: navigation, search
($\nabla$-calculus)
 
(40 intermediate revisions by 2 users not shown)
Line 1: Line 1:
This wiki is a resource for people who do research in <strong>time scale calculus</strong>. Time scale calculus is a unification and extension of differential and difference calculus in which one does calculus upon a set $\mathbb{T}$ of real numbers called a [[time scale]]. When [[Real_numbers | $\mathbb{T}=\mathbb{R}$]] the resulting theory becomes [http://en.wikipedia.org/wiki/Differential_calculus differential calculus] but when [[Multiples_of_integers | $\mathbb{T}=\mathbb{Z}$]] the resulting theory becomes [http://en.wikipedia.org/wiki/Difference_calculus difference calculus]. Time scales also include any closed subset of $\mathbb{R}$, so more exotic sets such as the [http://en.wikipedia.org/wiki/Cantor_set Cantor set] are also subsumed in the theory.
+
This wiki is a resource for <strong>time scale calculus</strong>. Time scale calculus is a unification and extension of differential and difference calculus in which one does calculus upon a set $\mathbb{T}$ of real numbers called a [[time scale]]. When [[Real_numbers | $\mathbb{T}=\mathbb{R}$]] the resulting theory becomes [http://en.wikipedia.org/wiki/Differential_calculus differential calculus], when [[Multiples_of_integers | $\mathbb{T}=\mathbb{Z}$]] the resulting theory becomes [http://en.wikipedia.org/wiki/Difference_calculus difference calculus], and when [[Quantum q greater than 1 | $\mathbb{T}=\{1,q,q^2,\ldots\}, q>1$]], the resulting theory becomes the [https://en.wikipedia.org/wiki/Quantum_calculus $q$-calculus]. Time scales also include any closed subset of $\mathbb{R}$, so more exotic sets such as the [http://en.wikipedia.org/wiki/Cantor_set Cantor set] are also subsumed in the theory.
  
 
A result proven in time scale calculus implies the result for all choices of $\mathbb{T}$ so a result in time scale calculus immediately implies the result in differential calculus, the same result in difference calculus, the same result in $q$-calculus, the same result in calculus on the Cantor set, and countless others. For an example of this phenomenon, see the familiar properties of the [[delta_derivative | $\Delta$-derivative]] to classical differentiation or to taking a forward difference.
 
A result proven in time scale calculus implies the result for all choices of $\mathbb{T}$ so a result in time scale calculus immediately implies the result in differential calculus, the same result in difference calculus, the same result in $q$-calculus, the same result in calculus on the Cantor set, and countless others. For an example of this phenomenon, see the familiar properties of the [[delta_derivative | $\Delta$-derivative]] to classical differentiation or to taking a forward difference.
  
=How to get access to edit this wiki=
+
See the Python library [https://github.com/tomcuchta/timescalecalculus timescalecalculus] on GitHub and its [[timescalecalculus python library documentation|documentation]].
In order to temper anonymous edits by web bots, I have restricted registration. Please send me an e-mail at tomcuchta.....at......gmail......dot.....com with the subject "Time scale wiki registration". When I receive the e-mail, I will enable registration for you.
 
  
=Calculus on time scales=
+
<b><u>Registration</u></b>
 +
Due to a resurgence of automated spam bots, account registration and anonymous editing is currently disabled. Please contact Tom Cuchta (tomcuchta@gmail.com) to gain access to edit the wiki.
 +
 
 +
=Time scales calculus=
 
<center>{{:Time scales footer}}</center>
 
<center>{{:Time scales footer}}</center>
 
<center>{{:Delta special functions footer}}</center>
 
<center>{{:Delta special functions footer}}</center>
 +
<center>{{:Hilger complex plane footer}}</center>
 +
{{:Delta inequalities footer}}
  
[[Abel's theorem]]<br />
 
 
[[Bilateral Laplace transform]]<br />
 
[[Bilateral Laplace transform]]<br />
 +
[[Unilateral Laplace transform]]<br />
 
[[Cauchy function]]<br />
 
[[Cauchy function]]<br />
[[Calculus of variations]]<br />
 
 
[[Chain rule]]<br />
 
[[Chain rule]]<br />
[[Convolution]]<br />
+
[[Unilateral convolution]]<br />
 
[[Dense point]]<br />
 
[[Dense point]]<br />
 
[[Disconjugate]]<br />
 
[[Disconjugate]]<br />
 
[[Dynamic equation]]<br />
 
[[Dynamic equation]]<br />
[[Circle minus]]<br />
+
[[Forward circle minus]]<br />
[[Circle plus]]<br />
+
[[Backward circle minus]]<br />
[[complex_calculus | Complex calculus on time scales]]<br />
+
[[Forward circle plus]]<br />
 +
[[Backward circle plus]]<br />
 
[[Convergence of time scales]]<br />
 
[[Convergence of time scales]]<br />
 
[[Dilation of time scales]]<br />
 
[[Dilation of time scales]]<br />
 
[[Duality of delta and nabla | Duality of $\Delta$ and $\nabla$]]<br />
 
[[Duality of delta and nabla | Duality of $\Delta$ and $\nabla$]]<br />
 
[[Fractional calculus]]<br />
 
[[Fractional calculus]]<br />
[[Function spaces]]<br />
+
[[Frequency roots]]<br />
 
[[Generalized square]]<br />
 
[[Generalized square]]<br />
 
[[Generalized zero]]<br />
 
[[Generalized zero]]<br />
[[Hilger alternating axis]]<br />
 
[[Hilger circle]]<br />
 
[[Hilger complex plane]]<br />
 
[[Hilger imaginary part]]<br />
 
[[Hilger pure imaginary]]<br />
 
[[Hilger real axis]]<br />
 
[[Hilger real part]]<br />
 
 
[[Induction on time scales]]<br />
 
[[Induction on time scales]]<br />
[[Laplace transform]]<br />
 
 
[[L'Hospital's Rule]]<br />
 
[[L'Hospital's Rule]]<br />
[[Mean value theorem]]<br />
+
[[First mean value theorem]]<br />
 
[[Pre-differentiable]]<br />
 
[[Pre-differentiable]]<br />
[[Fourier transform]]<br />
+
[[Marks-Gravagne-Davis Fourier transform]]<br />
 +
[[Cuchta-Georgiev Fourier transform]]<br />
 
[[rd-continuous]]<br />
 
[[rd-continuous]]<br />
[[Regressive function]]<br />
+
[[Forward regressive function]]<br />
 
[[Regulated function]]<br />
 
[[Regulated function]]<br />
 
[[Riccati equation]]<br />
 
[[Riccati equation]]<br />
[[Riesz representation theorem]]<br />
 
 
[[Scattered point]]<br />
 
[[Scattered point]]<br />
 
[[Self-adjoint]]<br />
 
[[Self-adjoint]]<br />
 
[[Shifting problem]]<br />
 
[[Shifting problem]]<br />
[[Substitution]]<br />
 
 
[[Variation of parameters]]<br />
 
[[Variation of parameters]]<br />
 
[[Wronskian]]<br />
 
[[Wronskian]]<br />
  
 
==$\Delta$-calculus==
 
==$\Delta$-calculus==
[[Completely delta differentiable]]<br />
 
[[Delta Bernoulli inequality | $\Delta$-Bernoulli inequality]]<br />
 
[[Delta Bihari inequality | $\Delta$-Bihari inequality]]<br />
 
[[Delta Cauchy-Schwarz inequality | $\Delta$-Cauchy-Schwarz inequality]]<br />
 
 
[[delta_derivative | $\Delta$-derivative]]<br />
 
[[delta_derivative | $\Delta$-derivative]]<br />
[[Delta Gronwall inequality | $\Delta$-Gronwall inequality]]<br />
 
 
[[Delta heat equation | $\Delta$ heat equation]]<br />
 
[[Delta heat equation | $\Delta$ heat equation]]<br />
[[Delta Hölder inequality | $\Delta$-Hölder inequality]]<br />
 
 
[[delta_integral | $\Delta$-integral]]<br />
 
[[delta_integral | $\Delta$-integral]]<br />
[[Delta Jensen inequality | $\Delta$-Jensen inequality]]<br />
 
[[Delta Lyapunov inequality | $\Delta$-Lyapunov inequality]]<br />
 
[[Delta Markov inequality | $\Delta$-Markov inequality]]<br />
 
[[Delta Minkowski inequality | $\Delta$-Minkowski inequality]]<br />
 
[[Delta Opial inequality | $\Delta$-Opial inequality]]<br />
 
 
[[Delta Taylor's formula|$\Delta$-Taylor's formula]]<br />
 
[[Delta Taylor's formula|$\Delta$-Taylor's formula]]<br />
[[Delta Tschebycheff inequality | $\Delta$-Tschebycheff inequality]]<br />
 
[[Delta Wirtinger inequality | $\Delta$-Wirtinger inequality]]<br />
 
 
[[Delta wave equation | $\Delta$ wave equation]]<br />
 
[[Delta wave equation | $\Delta$ wave equation]]<br />
 
[[Directional Delta Derivative | Directional $\Delta$ derivative]]<br />
 
[[Directional Delta Derivative | Directional $\Delta$ derivative]]<br />
Line 82: Line 64:
  
 
==$\Diamond_{\alpha}$-calculus==
 
==$\Diamond_{\alpha}$-calculus==
*[[diamond alpha derivative | $\Diamond_{\alpha}$-derivative]]
+
[[diamond alpha derivative | $\Diamond_{\alpha}$-derivative]]<br />
*[[diamond alpha holder inequality | $\Diamond_{\alpha}$-Hölder inequality ]]
+
[[diamond alpha holder inequality | $\Diamond_{\alpha}$-Hölder inequality ]]<br />
*[[diamond alpha Jensen's inequality | $\Diamond_{\alpha}$-Jensen's inequality]]
+
[[diamond alpha Jensen's inequality | $\Diamond_{\alpha}$-Jensen's inequality]]<br />
*[[diamond alpha Minkowski's inequality | $\Diamond_{\alpha}$-Minkowski's inequality]]
+
[[diamond alpha Minkowski's inequality | $\Diamond_{\alpha}$-Minkowski's inequality]]<br />
*[[diamond integral | $\Diamond$-integral]]
+
[[diamond integral | $\Diamond$-integral]]<br />
  
 
==Probability Theory==
 
==Probability Theory==
 
*[[Cumulant generating function]]
 
*[[Cumulant generating function]]
 
*[[Cumulative distribution function]]
 
*[[Cumulative distribution function]]
*[[Moments]]
 
 
*[[Probability density function]]
 
*[[Probability density function]]
 
*[[Joint time scales probability density function]]
 
*[[Joint time scales probability density function]]
Line 101: Line 82:
  
 
=Special functions on time scales=
 
=Special functions on time scales=
*[[Delta cpq|$\mathrm{c}_{pq}$]]
+
[[Delta cpq|$\mathrm{c}_{pq}$]]<br />
*[[Delta chpq|$\mathrm{ch}_{pq}$]]
+
[[Delta chpq|$\mathrm{ch}_{pq}$]]<br />
*[[Delta spq|$\mathrm{s}_{pq}$]]
+
[[Delta spq|$\mathrm{s}_{pq}$]]<br />
*[[Delta shpq|$\mathrm{sh}_{pq}$]]
+
[[Delta shpq|$\mathrm{sh}_{pq}$]]<br />
*[[Gamma function]]
+
[[Gamma function]]<br />
*[[hyperbolic_functions | Hyperbolic functions]]
+
[[Euler-Cauchy logarithm]]<br />
*[[Euler-Cauchy logarithm]]
+
[[Bohner logarithm]]<br />
*[[Bohner logarithm]]
+
[[Jackson logarithm]]<br />
*[[Jackson logarithm]]
+
[[Mozyrska-Torres logarithm]]<br />
*[[Mozyrska-Torres logarithm]]
+
[[gaussian_bell | Gaussian bell]]<br />
*[[gaussian_bell | Gaussian bell]]
+
[[Uniform distribution]]<br />
 +
[[Exponential distribution]]<br />
 +
[[Gamma distribution]]<br />
 +
 
  
 
==$\nabla$-calculus==
 
==$\nabla$-calculus==
*[[Nabla cosine | $\nabla \widehat{\cos}_p$]]
+
[[Nabla cosine | $\nabla \widehat{\cos}_p$]]<br />
*[[Nabla cosh | $\nabla \widehat{\cosh}_p$]]
+
[[Nabla cosh | $\nabla \widehat{\cosh}_p$]]<br />
*[[Nabla exponential | $\nabla \widehat{\exp}$]]
+
[[Nabla exponential | $\nabla \widehat{\exp}$]]<br />
*[[Nabla hk|$\nabla \hat{h}_k$]]
+
[[Nabla hk|$\nabla \hat{h}_k$]]<br />
*[[Nabla gk|$\nabla \hat{g}_k$]]
+
[[Nabla gk|$\nabla \hat{g}_k$]]<br />
*[[Nabla sine | $\nabla \widehat{\sin}_p$]]
+
[[Nabla sine | $\nabla \widehat{\sin}_p$]]<br />
*[[Nabla sinh | $\nabla \widehat{\sinh}_p$]]
+
[[Nabla sinh | $\nabla \widehat{\sinh}_p$]]<br />
 
 
==$\Diamond_{\alpha}$-calculus==
 
*[[Diamond alpha cosine | $\Diamond_{\alpha}$-$\cos_p$]]
 
*[[Diamond alpha cosh | $\Diamond_{\alpha}$-$\cosh_p$]]
 
*[[Diamond exponential | $\Diamond_{\alpha}$-$e_p$]]
 
*[[Diamond sine | $\Diamond$-$\sin_p$]]
 
*[[Diamond sinh | $\Diamond$-$\sinh_p$]]
 
 
 
==Probability Distributions on time scales==
 
*[[Uniform distribution]]
 
*[[Exponential distribution]]
 
*[[Gamma distribution]]
 
 
 
=Differential equations=
 
[[Hypergeometric differential equation]] <br />
 
[[Confluent hypergeometric differential equation]]<br />
 

Latest revision as of 01:55, 6 February 2023

This wiki is a resource for time scale calculus. Time scale calculus is a unification and extension of differential and difference calculus in which one does calculus upon a set $\mathbb{T}$ of real numbers called a time scale. When $\mathbb{T}=\mathbb{R}$ the resulting theory becomes differential calculus, when $\mathbb{T}=\mathbb{Z}$ the resulting theory becomes difference calculus, and when $\mathbb{T}=\{1,q,q^2,\ldots\}, q>1$, the resulting theory becomes the $q$-calculus. Time scales also include any closed subset of $\mathbb{R}$, so more exotic sets such as the Cantor set are also subsumed in the theory.

A result proven in time scale calculus implies the result for all choices of $\mathbb{T}$ so a result in time scale calculus immediately implies the result in differential calculus, the same result in difference calculus, the same result in $q$-calculus, the same result in calculus on the Cantor set, and countless others. For an example of this phenomenon, see the familiar properties of the $\Delta$-derivative to classical differentiation or to taking a forward difference.

See the Python library timescalecalculus on GitHub and its documentation.

Registration Due to a resurgence of automated spam bots, account registration and anonymous editing is currently disabled. Please contact Tom Cuchta (tomcuchta@gmail.com) to gain access to edit the wiki.

Time scales calculus

Examples of time scales

$\Huge\mathbb{R}$
Real numbers
$\Huge\mathbb{Z}$
Integers
$\Huge{h\mathbb{Z}}$
Multiples of integers
$\Huge\mathbb{Z}^2$
Square integers
$\Huge\mathbb{H}$
Harmonic numbers
$\Huge\mathbb{T}_{\mathrm{iso}}$
Isolated points
$\Huge\sqrt[n]{\mathbb{N}_0}$
nth root numbers
$\Huge\mathbb{P}_{a,b}$
Evenly spaced intervals
$\huge\overline{q^{\mathbb{Z}}}$
Quantum, $q>1$
$\huge\overline{q^{\mathbb{Z}}}$
Quantum, $q<1$
$\overline{\left\{\dfrac{1}{n} \colon n \in \mathbb{Z}^+\right\}}$
Closure of unit fractions
$\Huge\mathcal{C}$
Cantor set

$\Delta$-special functions on time scales


$\cos_p$

$\cosh_p$

$e_p$

$g_k$

$h_k$

$\sin_p$

$\sinh_p$

Hilger complex plane and friends

$\Huge\mathbb{A}_h$
Hilger alternating axis
$\Huge\mathbb{I}_h$
Hilger circle
$\Huge\mathbb{C}_h$
Hilger complex plane
$\Huge\mathrm{Im}_h$
Hilger imaginary part
$\Huge\mathring{\iota}$
Hilger pure imaginary
$\Huge\mathbb{R}_h$
Hilger real axis
$\Huge\mathrm{Re}_h$
Hilger real part

$\Delta$-Inequalities

Bernoulli Bihari Cauchy-Schwarz Gronwall Hölder Jensen Lyapunov Markov Minkowski Opial Tschebycheff Wirtinger

Bilateral Laplace transform
Unilateral Laplace transform
Cauchy function
Chain rule
Unilateral convolution
Dense point
Disconjugate
Dynamic equation
Forward circle minus
Backward circle minus
Forward circle plus
Backward circle plus
Convergence of time scales
Dilation of time scales
Duality of $\Delta$ and $\nabla$
Fractional calculus
Frequency roots
Generalized square
Generalized zero
Induction on time scales
L'Hospital's Rule
First mean value theorem
Pre-differentiable
Marks-Gravagne-Davis Fourier transform
Cuchta-Georgiev Fourier transform
rd-continuous
Forward regressive function
Regulated function
Riccati equation
Scattered point
Self-adjoint
Shifting problem
Variation of parameters
Wronskian

$\Delta$-calculus

$\Delta$-derivative
$\Delta$ heat equation
$\Delta$-integral
$\Delta$-Taylor's formula
$\Delta$ wave equation
Directional $\Delta$ derivative
Partial $\Delta$ derivative
Partial $\Delta$ dynamic equations

$\nabla$-calculus

$\nabla$-derivative
$\nabla$-integral

$\Diamond_{\alpha}$-calculus

$\Diamond_{\alpha}$-derivative
$\Diamond_{\alpha}$-Hölder inequality
$\Diamond_{\alpha}$-Jensen's inequality
$\Diamond_{\alpha}$-Minkowski's inequality
$\Diamond$-integral

Probability Theory

Examples of time scales

  1. The real line: $\mathbb{R}$
  2. The integers: $\mathbb{Z} = \{\ldots, -1,0,1,\ldots\}$
  3. Multiples of integers: $h\mathbb{Z} = \{ht \colon t \in \mathbb{Z}\}$
  4. Quantum numbers ($q>1$): $\overline{q^{\mathbb{Z}}}$
  5. Quantum numbers ($q<1$): $\overline{q^{\mathbb{Z}}}$
  6. Square integers: $\mathbb{Z}^2 = \{t^2 \colon t \in \mathbb{Z} \}$
  7. Harmonic numbers: $\mathbb{H}=\left\{\displaystyle\sum_{k=1}^n \dfrac{1}{k} \colon n \in \mathbb{Z}^+ \right\}$
  8. The closure of the unit fractions: $\overline{\left\{\dfrac{1}{n} \colon n \in \mathbb{Z}^+\right\}}$
  9. Isolated points: $\mathbb{T}=\{\ldots, t_{-1}, t_{0}, t_1, \ldots\}$

Special functions on time scales

$\mathrm{c}_{pq}$
$\mathrm{ch}_{pq}$
$\mathrm{s}_{pq}$
$\mathrm{sh}_{pq}$
Gamma function
Euler-Cauchy logarithm
Bohner logarithm
Jackson logarithm
Mozyrska-Torres logarithm
Gaussian bell
Uniform distribution
Exponential distribution
Gamma distribution


$\nabla$-calculus

$\nabla \widehat{\cos}_p$
$\nabla \widehat{\cosh}_p$
$\nabla \widehat{\exp}$
$\nabla \hat{h}_k$
$\nabla \hat{g}_k$
$\nabla \widehat{\sin}_p$
$\nabla \widehat{\sinh}_p$