User:GFauxPas/Sandbox

Welcome to my sandbox, you are free to play here as long as you don't track sand onto the main wiki. --GFauxPas 09:28, 7 November 2011 (CST)

Sandbox
If anyone would like to answer my question about Laplace transforms, that would be nice:

http://math.stackexchange.com/questions/2021954/laplace-transform-of-power


 * Someone answered it! If I were to put it on PW, how much explicit justification is needed for the indentation of the contour around the branch point to not contribute to the integral? --GFauxPas (talk)


 * Enough to make it rigorous. :-) The boilerplate should of course be in place in Complex Analysis -- if not, then it is recommended that this is the case. Most of the reason for the fact that a lot of the Complex Analysis work has not been filled in is purely the technical detail has not been completed. (For some reason the Signature button is not working for me.) -- Prime.mover

Theorem
Let $f: \left[{0\,.\,.\,\to}\right) \to \mathbb F:t \mapsto t^q$ be a function that maps $t$ to the power of $q$, where $q \in \R$.

Then $f$ is of [[Definition:Exponential Order a|exponential order $\operatorname{Re}\left({q}\right) - 1$.

Proof
If $q = 0$, then $t^q = 1$ and the result follows from Constant Function is of Exponential Order Zero.

Let $q > 0$.

Then $t^q = e^{q \ln t}$ by the definition of power.

by Exponential is of Exponential Order Real Part of Index, $e^{t \ln q}$ is of exponential order $\operatorname{Re}\left({\ln q}\right)$.

Eventually
User:GFauxPas/Sandbox/Zeta2/lnxln1-x/existence

User:GFauxPas/Sandbox/Zeta2/lnxln1-x/integrand

User:GFauxPas/Sandbox/Zeta2/lnxln1-x/evaluation

User:GFauxPas/Sandbox/Zeta2/FourierSeries/

User:GFauxPas/Sandbox/Zeta2/Informal Proof

User:GFauxPas/Sandbox/NumberTheory