# Example of a simple pole

I was told that $\operatorname{sech} x$ has a simple pole. Could someone please explain what that means? I have looked up the definition but it involves too much jargon like holomorphic, etc. Is there a simple definition and why is this true? Thanks.

-

2
For an even simpler example of a simple pole: $x=0$ is a simple pole for the function $\dfrac1{x}$. – J. M. Oct 25 '11 at 15:26

1
Stanisław Łojasiewicz was a fantastic mathematician who proved very difficult inequalities about the growth of functions on complex analytic spaces , and yet he was very modest and always behaved like a simple Pole. – Georges Elencwajg Oct 25 '11 at 16:17
@GeorgesElencwajg: Haha :D – simpleton Oct 25 '11 at 23:45
– Qmechanic Nov 19 '12 at 19:16

## 1 Answer

Recall that $\operatorname{sech}(x) = \frac{1}{\cosh(x)}$. When $x \in \mathbb{R}$, hyperbolic cosine is non-negative, so $\operatorname{sech}(x)$ has no poles on the real axis.

Zeros of the hyperbolic cosine are all along the imaginary axis at $z_n = i \frac{\pi}{2} + i \pi n$. Consider a vicinity of such a zero: $$\begin{align} \frac{1}{\cosh(z_n + \epsilon)} &= \frac{1}{\cosh(z_n) \cosh(\epsilon) + \sinh(z_n) \sinh(\epsilon)}\\ &= \frac{1}{\sinh(z_n)} \frac{1}{\sinh(\epsilon)}\\ &\sim \frac{1}{\sinh(z_n)} \left( \frac{1}{\epsilon} + o(1) \right) \end{align}$$ The order of the pole is one, so it is called simple. But as you see, $\operatorname{sech}(x)$ has infinitely many simple poles.

Added: The series expansion for $\frac{1}{\sinh(\epsilon)}$ follows from series expansion for $\sinh(\epsilon) \sim \epsilon + \frac{\epsilon^3}{3!} + \ldots + \frac{1}{(2n+1)!}\epsilon^{2n+1} + o(\epsilon^{2n+2})$.

-

1
– J. M. Oct 25 '11 at 15:13
Thanks, Sasha and @J.M. ! – simpleton Oct 25 '11 at 15:22
@simpleton: Because of those poles, $\mathrm{sech}$ is what would be termed as a meromorphic function. – J. M. Oct 25 '11 at 15:25
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9314473271369934, "perplexity_flag": "head"}