# Sum of periodic functions

Printable View

• June 28th 2009, 08:00 PM
Bruno J.
Sum of periodic functions
This theorem was inspired to me by this thread. I have found a proof of it but I'll post it later; I want to see if somebody can find another one!

Let $m(x), n(x)$ be continuous real-valued functions having periods $p,q$. Show that $m(x)+n(x)$ is periodic if and only if $p,q$ are linearly dependent over $\mathbb{Q}$.
• June 29th 2009, 01:59 AM
malaygoel
Quote:

Originally Posted by Bruno J.
This theorem was inspired to me by this thread. I have found a proof of it but I'll post it later; I want to see if somebody can find another one!

Let $m(x), n(x)$ be continuous real-valued functions having periods $p,q$. Show that $m(x)+n(x)$ is periodic if and only if $p,q$ are linearly dependent over $\mathbb{Q}$.

If $m(x) + n(x)$ has period T, then
$T=ap$
$T=bq$
where a,b are natural numbers.

hence, $ap=bq$
or,
$p=\frac{b}{a}q$

now, what is meant by linear independence here?
• June 29th 2009, 08:31 AM
Bruno J.
How can you be sure that the period of the sum is a multiple of both $p,q$? You need to show that this is true; it's the hard part of the problem.

If $x_1,...,x_n$ are linearly independent over $K$, then whenever $k_1x_1+...+k_nx_n=0$ with $k_1,...,k_n \in K$ we must have $k_1=...=k_n=0$. If they are linearly dependent then they are not linearly independent. In your post, $p-\frac{b}{a}q=0$ is a linear dependence relation over the rationals.

But you have to show that we must have $T=ap=bq$ for some integers $a,b$.
• June 29th 2009, 02:15 PM
pedrosorio
For a,b integers:

m(x + ap) + n(x + bq) = m(x) + n(x) (1)

Therefore ap=bq defines all periods of the sum function.

If the sum is periodic, p = b/a * q, where b/a obviously belongs to Q.

Alas c1*p + c2*q = (c1 * b/a + c2) * q, for c1=-a/b and c2=1 (both € Q) it is 0, that is if the sum is periodic p,q are linearly dependent over Q (2)

If p,q are linearly dependent over Q, p = -c2/c1 * q for c1,c2 rational numbers, then expressing c1,c2 as c1N/c1D and c2N/c2D, where c1N,c1D,c2N,c2D are integers, we get c1N*c2D*p = -c2N*c1D*q.

Taking (1) and making a=c1N*c2D and b=-c2N*c1D, ab=pq, so If p,q are linearly independent over Q, the sum function is periodic (3).

m(x) + n(x) is periodic If(3) and only if(2) p,q are linearly independent over Q.

(Sorry for the ugly proof) (Thinking)
• June 29th 2009, 02:51 PM
Bruno J.
Quote:

For a,b integers:

m(x + ap) + n(x + bq) = m(x) + n(x) (1)

Ok so far.

Quote:

Therefore ap=bq defines all periods of the sum function.
How so? If $T$ is the period of $m(x)+n(x)$, then $m(x)+n(x)=m(x+T)+n(x+T)$; but that does NOT imply $m(x)=m(x+T)$ and $n(x)=n(x+T)$. You are making a huge leap here.

If you do not use the continuity of $m,n$ your proof is certainly flawed because we can construct non-continuous $m,n$ whose sum is periodic, but whose periods are linearly independent over $\mathbb{Q}$.
• June 29th 2009, 05:12 PM
pedrosorio
Quote:

Originally Posted by Bruno J.
Ok so far.

How so? If $T$ is the period of $m(x)+n(x)$, then $m(x)+n(x)=m(x+T)+n(x+T)$; but that does NOT imply $m(x)=m(x+T)$ and $n(x)=n(x+T)$. You are making a huge leap here.

If you do not use the continuity of $m,n$ your proof is certainly flawed because we can construct non-continuous $m,n$ whose sum is periodic, but whose periods are linearly independent over $\mathbb{Q}$.

Ups (Surprised) I'll try it later...
• September 24th 2009, 11:22 AM
Bruno J.
Bump. Nobody has solved this one yet... last call! I'll give the solution soon.
All times are GMT -8. The time now is 10:27 AM.
{"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": 40, "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": 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.9342576861381531, "perplexity_flag": "middle"}