Intereting Posts

Proving that $\arctan(x)+\arctan(1/x)=\pm \pi/2$, could this line of reasoning possibly be correct?
Prove $x_n$ converges IFF $x_n$ is bounded and has at most one limit point
Show that a Sophie Germain prime $p$ is of the form $6k – 1$ for $p > 3$
Projective closure in the Zariski and Euclidean topologies
Reference Text that develops Linear Algebra with Knowledge of Abstract Algebra
Graph Theory Path Problem
Limit of this recursive sequence and convergence
Inversion of matrices is a diffeomorphism.
Cramér's Model – “The Prime Numbers and Their Distribution” – Part 1
Norm of an inverse operator: $\|T^{-1}\|=\|T\|^{-1}$?
Is the infinitesimal generator for Lie groups the same as the infinitesimal generator of a Markov semigroup?
Finding all integer solutions of $5^x+7^y=2^z$
False proof: $\pi = 4$, but why?
how can we convert sin function into continued fraction?
How to integrate $\frac{1}{(1 + x^5)(1 + x^7)}$

I was looking at fractional calculus on Wikipedia, specifically this section and came across the half derivative of the function $y=x$ which is $y=\frac{2\sqrt{x}}{\sqrt{\pi}}$ . **The derivative tells the slope at any point on the curve, but what does the “half derivative” mean** – it’s obviously not $\frac{1}{2}$ the derivative of $y=x$ which would be just $\frac{1}{2}$.

I do not have a very deep understanding of calculus – I have just taken Calc 1 & 2 out of a 4 series, but anything helps!

Also, I have checked similar questions, but they did not seem to answer my question that I have **bolded**.

- A Mathematical Coincidence, or more?
- understanding integration by change of variables
- Basic Taylor expansion question
- $\lim_{n\to \infty }\frac{a_{n+1}}{a_{n}}< 1$, $a_{_{n}}> 0$- does $a_{_{n}}$ converge?
- The value of $\sqrt{1-\sqrt{1+\sqrt{1-\sqrt{1+\cdots\sqrt{1-\sqrt{1+1}}}}}}$?
- Finding the maximum value of a function on an ellipse

- $\int_0^1 {\frac{{\ln (1 - x)}}{x}}$ without power series
- Can $f(x)=|x|^3$ be differentiated
- Area of the field that the cow can graze.
- Prove that $a^2+ab+b^2\ge 0$
- Integral $\int_0^1 \frac{\ln|1-x^a|}{1+x}\, dx$
- Why does $\sum_{n=1}^{\infty}\frac{\cos\frac{1}{n}}{n}$ diverge but $\sum_{n=1}^{\infty}\frac{\sin\frac{1}{n}}{n}$ converges?
- How do we calculate the area of a region bounded by four different curves?
- Help evaluating $\int_{-1/2}^{1/2}\sin^2(2^{j-1}\pi f)\prod_{i=0}^{j-2} \cos^2(2^i\pi f)$
- Prove by induction $ \sin x + \sin 2x + … + \sin nx = \frac {\sin (\frac {n + 1} {2} x)} {\sin \frac{x}{2}} \sin \frac{nx}{2} $
- Evaluate $\lim_{x \to 0} (x\lfloor\frac{1}{x}\rfloor)$

The half derivative itself doesn’t have much physical interpretation (though I believe there is a field called fractional quantum mechanics which may use it)

So why does it exist if its not any real physical thing.

I will explain.

Lets consider the idea of counting children at a school. We use whole numbers (positive integers) to count children. The statements are 5,6…201992 children each are meaningful in the sense that they exist mathematically AND have a physical interpretation.

But the set of Numbers isn’t just whole numbers. It includes numbers like $1/2$ and $2^{1/2}$. So we could try to ask well what’s half a child or square root of 2 children?

These are meaningless questions in the sense that you can’t have half a child (contrary to popular belief disassembly and reassembly of children is not an easy or practical thing to do). Irrational quantities are even harder to produce. Put simply, they just DO NOT appear in that context.

So why am I telling you this? Here’s why, lets ask the question not what 1/2 means in therms of children but how it came along. It came along because we wanted to generalize the set of numbers to include stuff in between the integers. It came along for applications besides counting children and is in fact most specifically an “accidental-byproduct” of the existence of division.

So what’s a fractional derivative? We can easily answer the question that the nth derivative is the “rate of change of the rate of change … (Repeat n times) of the rate of change of the function”. This like children is a discrete structure. Only whole numbers (and if you include integrals then negative integers as well (like a backwards derivative)) work.

The fractional derivative is a consequence of the question “what is the function whom I apply twice to get a first derivative”. Rather than “what is the rate of… Rate of change of the function”

So in short. It’s an interesting question where we extend our level of control and understanding of calculus but it shares little similarity with the more physical forms that calculus originally had.

Short answer: The half-derivative $H$ is some sort of operator (it isn’t uniquely defined by this property) such that $H(Hf) = f’$.

Long answer: We can think of the derivative as a linear operator $D:X \to X$, where $X$ is some convenient (say, smooth) space of functions. The $n$th order derivative is then, by definition, the $n$-fold composition $D^n = D\circ \cdots \circ D:X \to X$. Clearly $D^n D^m = D^{n+m}$. Here we’ve restricted the index $n$ to an integer, but what if we allowed it to be a real number? That is, we want a family of operators $D_t$, with $t\geq 0$ real, such that

- $D_t$ behaves nicely with respect to $t$;
- $D_1$ is just the ordinary derivative $D$;
- $D_t D_s = D_{t + s}$.

(I’m not going to make the first point more precise here, but we ideally want something analogous to continuity or smoothness in $t$. I haven’t defined what exactly the space $X$ is or what its geometry looks like, so I’m going to evade the point for now.) Thus, for example, we get an operator $D_{1/2}$ with $D_{1/2} D_{1/2} f = D_1 f = f’$ for suitable $f$.

Where do we get such an operator $D_t$? One place to start is Cauchy’s integral formula:

\begin{align*}

f^{(-n)}(x) = \frac{1}{(n-1)!}\int_0^x (x – \xi)^{n-1} f(\xi)\, d\xi,

\end{align*}

where $f^{(-n)}(x)$ denotes the antiderivative of $f$, all normalized to have $f^{(-n)}(0)$ for $n > 0$. The factorial above is only defined for positive integers $n$, but we can use the relation $\Gamma(n) = (n – 1)!$ to define something similar for arbitrary $t\geq 0$:

\begin{align*}

I_t f(x) = \frac{1}{\Gamma(t)}\int_0^x (x – \xi)^{t-1} f(\xi)\, d\xi,

\end{align*}

Clearly $I_t f(x)$ is just $f^{(-t)}$ if $t$ is a positive integer, and we can show with a bit of work that $I_t(I_s f) = I_{t+s} f$.

Now, that’s for an antiderivative. In order to get to the derivative $D_t$ for non-integer $t$, we can use the definition above to get rid of the fractional part. Since $D(If) = f$, we can define

\begin{align*}

D_t f= \frac{d^n}{dx^n} \left(I_\tau f\right)

\end{align*}

for $t = n – \tau$ with $n$ an integer and $\tau\in [0, 1)$. This is not the only possible construction of a fractional derivative $D_t$, though.

- HINT for summing digits of a large power
- Which trigonometric identities involve trigonometric functions?
- Confused by the Bolzano Weierstrass Theorem
- consider the group $G=\mathbb Q/\mathbb Z$. For $n>0$, is there a cyclic subgroup of order n
- Do maximal proper subfields of the real numbers exist?
- Proving that the algebraic multiplicity of an eigenvalue $\lambda$ is equal to $\dim(\text{null}(T-\lambda I)^{\dim V})$
- What are some good examples for suggestive notation?
- Cube stack problem
- Math Major: How to read textbooks in better style or method ? And how to select best books?
- Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. How to prove that $G$ is an abelian group?
- Computing $ \int_0^\infty \frac{\log x}{\exp x} \ dx $
- small o(1) notation
- A general formula for $n$ distinguishable arrangements of length $\ell$ of a sequence of a given size?
- Entire function with prescribed values
- Does a Fourier transformation on a (pseudo-)Riemannian manifold make sense?