# Thread:

1. ## Analytic Functions

How would I prove that the sum and product of analytic functions are analytic?

With an analytic function being defined as...
A function $f$ is (real) analytic on an open set D in the real line if for any $x_0$ in D one can write...
$f(x) = \sum_{n=0}^\infty a_n \left( x-x_0 \right)^n = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots$
in which the coefficients $a_0$, $a_1$, ... are real numbers and the series is convergent to f for x in a neighborhood of $x_0$.

Thinking something along the lines of grouping the x terms together, then can find epsilon so that it converges after the nth term..? This along the right lines?

2. You can use that $f$ is analytic on $D\subseteq\mathbb{R}$ if and only if there exists an open set $G\subseteq C$ containing $D$ such that
there exists $g$ holomorphic on $G$ extending $f$. Then the assertion follows from the fact that sums and products of holomorphic functions are holomorphic.

Also you can use that $f$ is analytic on $D\subseteq\mathbb{R}$ if and only if for each compact subset
$K$ of $D$ there exists $M>0$ such that $\left|\frac{f^{(n)}(x)}{k!}\right|\leq M^k$ for each $k\in\mathbb{N}, x\in K$. Here the sum is almost immediate but for the product you will need Leibnitz rule.

If you want a direct proof for the product, puff, let say using Cauchy Series could be done, but anyway you will need the fact that every analytic expansion converges absolutely, which follows from the characterization above.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 20, "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": 10, "end_threshold": 5, "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.9252558350563049, "perplexity_flag": "head"}