Tricki
a repository of mathematical know-how
Add article
Navigate
Tags
Search
Forums
Help
Top level
›
Different kinds of Tricki article
›
Front pages for different areas of mathematics
›
Analysis front page
›
Differential equations front page
View
Edit
Revisions
Wick-type rotations
Title:
*
Area of mathematics:
*
A comma-separated list of areas of mathematics to which this article applies. Use ">" to tag in a subcategory. Example: Analysis > Harmonic analysis, Combinatorics
Keywords:
A comma-separated list of keywords associated with this article. Example: free group
Used in:
A comma-separated list of examples of where this technique is used. Example: Cauchy-Schwarz inequality
Parent articles:
Order
-1
0
1
-1
0
1
Body:
[QUICK DESCRIPTION] When trying to compute a quantity (or find an identity) regarding an evolution equation or a field theory, try formally multiplying the time variable by $i$. This can transform the theory to one which is easier to solve, e.g. from a dispersive PDE to a parabolic one, or from a hyperbolic PDE to an elliptic one. Then, divide the time variable by $i$ again to recover the solution to the original problem. (Actually establishing your answer is, in fact, a rigorous solution to the problem may however require additional effort.) This method is widely used in relativistic physics, where it is called [[w:Wick rotation]]. [PREREQUISITES] Complex analysis; PDE. [EXAMPLE] (fundamental solution of Schrodinger equation as Wick rotation of fundamental solution of heat equation.) More examples needed! [EXAMPLE] Any identity involving trigonometric functions such as $\sin(x), \cos(x)$ can be converted into one involving the hyperbolic functions $\sinh(x), \cosh(x)$ using [http://mathworld.wolfram.com/OsbornesRule.html Osborn's rule], e.g. [math] \cos^2(x) + \sin^2(x) = 1 \implies \cosh^2(x) - \sinh^2(x) = 1.[/math] This follows from the Wick-type rotation identities [math]\cosh(x) = \cos(ix); \quad \sinh(x) = i \sin(ix)[/math] and analytic continuation. [EXAMPLE] (Use Wick rotation to derive identities for the Laplace transform from those for the Fourier transform) [GENERAL DISCUSSION] This trick works well for algebraic identities (since the formal substitution is easily justified in this case), or for manipulations involving complex-analytic functions (as one can use analytic continuation). But it tends to fail terribly for establishing qualitative results, such as existence or uniqueness to a Cauchy problem, once one leaves the analytic category. For instance, the heat equation is solvable in the smooth category forward in time but not backwards in time, whereas the Schrodinger equation, which is a Wick rotation of the heat equation, is time-reversible.
This is a stub
A stub is an article that is not sufficiently complete to be interesting.
Notifications
File attachments
Changes made to the attachments are not permanent until you save this post. The first "listed" file will be included in RSS feeds.
Attach new file:
Images are larger than
640x480
will be resized. The maximum upload size is
1 MB
. Only files with the following extensions may be uploaded:
jpg jpeg gif png svg
.
Revision information
Log message:
An explanation of the additions or updates being made to help other authors understand your motivations.
Search this site:
Recent articles
View a list of all articles.
Littlewood-Paley heuristic for derivative
Geometric view of Hölder's inequality
Diagonal arguments
Finding an interval for rational numbers with a high denominator
Try to prove a stronger result
Use self-similarity to get a limit from an inferior or superior limit.
Prove a consequence first
Active forum topics
Plenty of LaTeX errors
Tutorial
A different kind of article?
Countable but impredicative
Tricki Papers
more
Recent comments
I don't think this statement
choice of the field
Incorrect Image
Article classification
Higher dimensional analogues
more