From 16555851b6514a736c5c9d8e73de7da7fc9b6288 Mon Sep 17 00:00:00 2001 From: Prefetch Date: Thu, 20 Oct 2022 18:25:31 +0200 Subject: Migrate from 'jekyll-katex' to 'kramdown-math-sskatex' --- source/know/concept/holomorphic-function/index.md | 45 ++++++++++++----------- 1 file changed, 23 insertions(+), 22 deletions(-) (limited to 'source/know/concept/holomorphic-function') diff --git a/source/know/concept/holomorphic-function/index.md b/source/know/concept/holomorphic-function/index.md index e22799c..5dde240 100644 --- a/source/know/concept/holomorphic-function/index.md +++ b/source/know/concept/holomorphic-function/index.md @@ -8,7 +8,7 @@ categories: layout: "concept" --- -In complex analysis, a complex function $f(z)$ of a complex variable $z$ +In complex analysis, a complex function $$f(z)$$ of a complex variable $$z$$ is called **holomorphic** or **analytic** if it is complex differentiable in the neighbourhood of every point of its domain. This is a very strong condition. @@ -17,9 +17,9 @@ As a result, holomorphic functions are infinitely differentiable and equal their Taylor expansion at every point. In physicists' terms, they are extremely "well-behaved" throughout their domain. -More formally, a given function $f(z)$ is holomorphic in a certain region -if the following limit exists for all $z$ in that region, -and for all directions of $\Delta z$: +More formally, a given function $$f(z)$$ is holomorphic in a certain region +if the following limit exists for all $$z$$ in that region, +and for all directions of $$\Delta z$$: $$\begin{aligned} \boxed{ @@ -27,13 +27,13 @@ $$\begin{aligned} } \end{aligned}$$ -We decompose $f$ into the real functions $u$ and $v$ of real variables $x$ and $y$: +We decompose $$f$$ into the real functions $$u$$ and $$v$$ of real variables $$x$$ and $$y$$: $$\begin{aligned} f(z) = f(x + i y) = u(x, y) + i v(x, y) \end{aligned}$$ -Since we are free to choose the direction of $\Delta z$, we choose $\Delta x$ and $\Delta y$: +Since we are free to choose the direction of $$\Delta z$$, we choose $$\Delta x$$ and $$\Delta y$$: $$\begin{aligned} f'(z) @@ -44,8 +44,8 @@ $$\begin{aligned} = \pdv{v}{y} - i \pdv{u}{y} \end{aligned}$$ -For $f(z)$ to be holomorphic, these two results must be equivalent. -Because $u$ and $v$ are real by definition, +For $$f(z)$$ to be holomorphic, these two results must be equivalent. +Because $$u$$ and $$v$$ are real by definition, we thus arrive at the **Cauchy-Riemann equations**: $$\begin{aligned} @@ -56,7 +56,7 @@ $$\begin{aligned} } \end{aligned}$$ -Therefore, a given function $f(z)$ is holomorphic if and only if its real +Therefore, a given function $$f(z)$$ is holomorphic if and only if its real and imaginary parts satisfy these equations. This gives an idea of how strict the criteria are to qualify as holomorphic. @@ -64,8 +64,8 @@ strict the criteria are to qualify as holomorphic. ## Integration formulas Holomorphic functions satisfy **Cauchy's integral theorem**, which states -that the integral of $f(z)$ over any closed curve $C$ in the complex plane is zero, -provided that $f(z)$ is holomorphic for all $z$ in the area enclosed by $C$: +that the integral of $$f(z)$$ over any closed curve $$C$$ in the complex plane is zero, +provided that $$f(z)$$ is holomorphic for all $$z$$ in the area enclosed by $$C$$: $$\begin{aligned} \boxed{ @@ -78,7 +78,7 @@ $$\begin{aligned}