Away from , divide by the coefficient of to obtain the normal form
Thus are the only finite singular points. For a second-order linear differential equation, is a regular singular point if and extend analytically to . At these functions are
and at they are
Each pair is analytic at its respective point. Therefore .
Put and . Partial fraction decomposition gives
Both terms admit a geometric series at . The local Laurent series is actually a Taylor series, since the center is regular:
The nearest pole is , a distance from the center; the other pole is at distance . Thus the requested local radius of convergence is .
For completeness, specifying a Laurent series without a region can also mean either of the other maximal annuli. Expanding the first fraction in inverse powers and the second in positive powers gives
Expanding both fractions in inverse powers instead gives
These are different Laurent series on different annuli, rather than extensions of the local Taylor series beyond its radius of convergence.
For the first function, the complex exponential has no zeros, while the denominator has three distinct simple zeros. Thus there are . To examine infinity, substitute :
The factor has an essential singularity at zero, and multiplication by a nonzero finite-order factor cannot remove it. Therefore of the first function.
For the second function, has simple zeros at . At zero, its Taylor series gives
so . Every other is a double pole, since the numerator is nonzero there. There are no finite zeros, including after removal at zero.
At infinity the double poles accumulate. Equivalently, after , the function has double poles at tending to zero. Hence . The removable/pole/essential trichotomy for isolated singularities does not apply there; calling this an isolated essential singularity would be incorrect.
The Cauchy-Riemann equations determine the harmonic conjugate. First
so integrates with respect to to
Now
and the second Cauchy-Riemann equation, , forces . Hence
The normalization at zero gives , so the required entire function is
For a holomorphic function, the derivative supplied by complex differentiability must have the same value along real and imaginary increments. Those two computations give
Equating real and imaginary parts proves the Cauchy-Riemann equations:
Conversely, if the first partial derivatives are continuous near a point and obey these equations there, real differentiability gives
which proves complex differentiability under this regularity assumption.
The gradients of the real and imaginary parts have dot product
and . At every point with , the two level sets are regular curves, their gradients are nonzero normal vectors, and their tangent directions are therefore perpendicular.
The printed phrase "at every point" needs this regular-point qualification. At a critical point with , the level sets may cross or fail to have a unique tangent. For example, gives and : at the origin the zero level sets are respectively the diagonals and the coordinate axes. Thus the valid conclusion is .
The anticommutator condition and invertibility give the matrix similarities
Since matrix trace is invariant under matrix similarity,
Hence . Taking determinants in the first matrix similarity also gives
Since is an invertible matrix, , and . In terms of eigenvalues, the same matrix similarity pairs each nonzero eigenvalue with , with the same algebraic multiplicity, so an odd number of them is impossible.
The cyclic property of the trace implies
Taking the matrix trace of the asserted equality therefore gives . For a positive integer over the complex numbers this requires . It is also sufficient: choose , or any two commuting matrices. Thus a finite-dimensional operator commutator cannot be a nonzero scalar multiple of the identity matrix.
For every vector , the Hermitian inner product gives
The norm vanishes only on the zero vector, so for every and . In contrast,
is a nonzero nilpotent matrix. Multiplying a matrix by its conjugate transpose detects column norms; multiplying it by itself has no corresponding positivity property.
The matrix sending the standard basis vectors to the given columns is
With the Hermitian inner product, the squared column norms are , , and . The off-diagonal products are
Thus the columns form an orthonormal basis, so and is a unitary matrix. Here the operation maps the old basis vectors to the new vectors; the inverse coordinate change of basis uses .
The Translation property of the Fourier transform gives
For the remaining integral, the same Translation property of the Fourier transform identifies as the Fourier transform of . By the product form of the convolution theorem, with inverse normalization ,
But is supported in , whereas the four translated triangular functions making up are all supported in . Their product is identically zero. Therefore the requested integral is for every real .
The convolution is the length of the overlap of with . This overlap has length when and zero otherwise, so . The convolution theorem now gives
The value at zero is also the area of the triangular function, providing a normalization check on its Fourier transform.
Direct evaluation of the Fourier transform gives, for ,
At the defining integral is the interval length, so . This also equals the continuous limit of the displayed formula.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact