View source for Talk:Fractional calculus

{{merged-from|Draft:Coimbra derivative|23 November 2024}}
{{User:MiszaBot/config
| algo=old(365d)
| archive=Talk:Fractional calculus/Archive%(counter)d
| counter=1
| maxarchivesize=75K
| archiveheader={{Automatic archive navigator}}
| minthreadsleft=5
| minthreadstoarchive=1
}}
{{User:MiszaBot/config
| algo = old(365d)
| archive  = Talk:Fractional calculus/Archive %(counter)d
| counter  = 1
| maxarchivesize  = 150K
| archiveheader  = {{Automatic archive navigator}}
| minthreadstoarchive = 1
| minthreadsleft = 10
}}
{{WikiProject banner shell|class=C|
{{WikiProject Mathematics|priority=Mid}}
}}
{{Archive box |search=yes |bot=Lowercase sigmabot III |age=12 |units=months |auto=yes }}

== ambiguous "Fractional derivative of a basic power function" section hiding the most important formula ==

AFAIK (and understand from the text), the last part of this section starting with "For a general function f(x)" is really about any kind of f() and not only for f() being a basic power function, as expected by the section title.

Also, this general formula is probably the most important part of this page since it explain how to practically compute it (when you don't want to do it in Fourier or Laplace space ).

So I guess it should deserve its own paragraph.  <!-- Template:Unsigned --><span class="autosigned" style="font-size:85%;">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Fabrice.Neyret|Fabrice.Neyret]] ([[User talk:Fabrice.Neyret#top|talk]] • [[Special:Contributions/Fabrice.Neyret|contribs]]) 17:40, 9 May 2022 (UTC)</span> <!--Autosigned by SineBot-->

:I take issue with this section, but not for the same reasons you do. This wording implies that this is ''the'' way of computing the fractional derivative of a power function, which it is not. There are many different fractional derivatives as detailed in the later in the page under "Fractional integrals" and "Fractional derivative" and they do not follow this form. As well as saying that was ''the'' general formula for fractional derivatives is also misleading if not false. The formula in this section is pretty much the same as the Riemann-Liouville fractional integral.
:I do however think that it would make more sense if it were tweaked and moved as a "Special case of basic power functions" section in the [[Riemann%E2%80%93Liouville_integral]] article.
:Same with the Laplace transform section. I think it can be moved the Riemann-Liouvile integral article as motivation for it's definition alongside the Cauchy repeated integral rule. [[User:Coffeevector|Coffeevector]] ([[User talk:Coffeevector|talk]]) 06:52, 2 September 2022 (UTC)

== Which character does the article use for the index of differentiation? ==

The nice illustration with caption "The animation shows the derivative operator oscillating ..."
appears to use a Greek lowercase alpha for the index, whereas the article appears to use a Roman lowercase A. (Unless my eyes are deceiving me.) 

It's probably best if they both use the same character, especially because the caption does not define the meaning of that character but assumes it is understood. [[Special:Contributions/2601:200:C000:1A0:9D6A:3426:156B:13FB|2601:200:C000:1A0:9D6A:3426:156B:13FB]] ([[User talk:2601:200:C000:1A0:9D6A:3426:156B:13FB|talk]]) 23:36, 17 June 2022 (UTC)

== Two equivalent definitions of Caputo fractional derivative ==

There seem to be two equivalent definitions given of the Caputo fractional derivative, one using {{math|α}} and one using {{math|ν}}, which is confusing. One of them should be removed. Since {{math|α}} seems to be used consistently throughout the article, I would suggest removing the definition that uses {{math|ν}}. Some editing of the surrounding text will also be required. [[User:Benjamin Rich|Benjamin Rich]] ([[User talk:Benjamin Rich|talk]]) 15:10, 22 December 2023 (UTC)

== Proposal for the Addition of Information on Fractional Operators ==

'''Considering the following references:''' 

Acceleration of the order of convergence of a family of fractional fixed-point methods and its implementation in the solution of a nonlinear algebraic system related to hybrid solar receivers  <ref>{{Cite journal|url=https://doi.org/10.1016/j.amc.2022.127231|title=Acceleration of the order of convergence of a family of fractional fixed-point methods and its implementation in the solution of a nonlinear algebraic system related to hybrid solar receivers|first1=A.|last1=Torres-Hernandez|first2=F.|last2=Brambila-Paz|first3=R.|last3=Montufar-Chaveznava|date=September 29, 2022|journal=Applied Mathematics and Computation|volume=429|pages=127231|doi=10.1016/j.amc.2022.127231|arxiv=2109.03152 }}</ref> 

Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods <ref>{{Cite journal|title=Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods|first1=A.|last1=Torres-Hernandez|first2=F.|last2=Brambila-Paz|date=December 29, 2021|journal=Fractal and Fractional|volume=5|issue=4|pages=240|doi=10.3390/fractalfract5040240|doi-access=free }}</ref> 

'''Would it be possible to add the following information on fractional operators?'''

{{reflist-talk}}

== Set <math>O_{x,\alpha}^n(h)</math> of Fractional Operators == 

Fractional calculus, a branch of mathematics dealing with derivatives of non-integer order, emerged nearly simultaneously with traditional calculus. This emergence was partly due to Leibniz's notation for derivatives of integer order: <math>\frac{d^n}{dx^n}</math>. Thanks to this notation, L'Hopital was able to inquire in a letter to Leibniz about the interpretation of taking <math>n = \frac{1}{2}</math> in a derivative. At that moment, Leibniz couldn't provide a physical or geometric interpretation for this question, so he simply replied to L'Hopital in a letter that "... is an apparent paradox from which, one day, useful consequences will be drawn". The name "fractional calculus" originates from a historical question, as this branch of mathematical analysis studies derivatives and integrals of a certain order <math>\alpha \in \mathbb{R}</math>. Currently, fractional calculus lacks a unified definition of what constitutes a fractional derivative. Consequently, when the explicit form of a fractional derivative is unnecessary, it is typically denoted as follows: {{center|1=<math>\frac{d^\alpha}{dx^\alpha}. </math>}} Fractional operators have various representations, but one of their fundamental properties is that they recover the results of traditional calculus as <math>\alpha \to n</math>. Considering a scalar function <math>h: \mathbb{R}^m \to \mathbb{R}</math> and the canonical basis of <math>\mathbb{R}^m</math> denoted by <math>\{\hat{e}_k\}_{k \geq 1}</math>, the following fractional operator of order <math>\alpha</math> is defined using [[Einstein notation]] <ref>[https://www.sciencedirect.com/science/article/pii/S0898122102002109 Einstein summation for multidimensional arrays]</ref>: {{center|1=<math> o_x^\alpha h(x) := \hat{e}_k o_k^\alpha h(x). </math>}} Denoting <math>\partial_k^n</math> as the partial derivative of order <math>n</math> with respect to the <math>k</math>-th component of the vector <math>x</math>, the following set of fractional operators is defined: <div style="text-align: center;"> <math> O_{x,\alpha}^n(h) := \left\{ o_x^\alpha : \exists o_k^\alpha h(x) \text{ and } \lim_{\alpha \to n} o_k^\alpha h(x) = \partial_k^n h(x) \ \forall k \geq 1 \right\}, </math> </div> with its complement: <div style="text-align: center;"> <math> O_{x,\alpha}^{n,c}(h) := \left\{ o_x^\alpha : \exists o_k^\alpha h(x) \ \forall k \geq 1 \text{ and } \lim_{\alpha \to n} o_k^\alpha h(x) \neq \partial_k^n h(x) \text{ for at least one } k \geq 1 \right\}. </math> </div> Consequently, the following set is defined: {{center|1=<math> O_{x,\alpha}^{n,u}(h) := O_{x,\alpha}^{n}(h) \cup O_{x,\alpha}^{n,c}(h). </math>}} 

=== Extension to Vectorial Functions === 

For a function <math>h: \Omega \subset \mathbb{R}^m \to \mathbb{R}^m</math>, the set is defined as: {{center|1=<math> {}_mO_{x,\alpha}^{n,u}(h) := \left\{ o_x^\alpha : o_x^\alpha \in O_{x,\alpha}^{n,u}([h]_k) \ \forall k \leq m \right\}, </math>}} where <math>[h]_k: \Omega \subset \mathbb{R}^m \to \mathbb{R}</math> denotes the <math>k</math>-th component of the function <math>h</math>. [[User:Calfracsets|Calfracsets]] ([[User talk:Calfracsets|talk]]) 06:27, 12 August 2024 (UTC)