DemonstraçõesEquação funcional de Cauchy - Soma Tópico resolvido

Fórum de coletânea das melhores demonstrações de teoremas de matemática.
Se você quiser postar uma demonstração aqui, poste, inicialmente, no fórum correspondente utilizando o título "Demonstração Teorema X" e substitua com o nome do teorema/fórmula que você postou e, depois, envie o link para um moderador pedindo para sua mensagem ser movida para o fórum "Demonstrações". Somente moderadores poderão mover sua mensagem para este fórum.

Moderador: [ Moderadores TTB ]

Autor do Tópico
Auto Excluído (ID:12031)
6 - Doutor
Última visita: 31-12-69
Abr 2019 28 03:24

Equação funcional de Cauchy - Soma

Mensagem não lida por Auto Excluído (ID:12031) »

Encontrar todas as funções [tex3]f: \mathbb Q \rightarrow \mathbb R[/tex3] tais que [tex3]f(x+y) = f(x) + f(y), \forall x, y \in \mathbb Q[/tex3] .

Solução

prova-se por indução que [tex3]f(\sum_{i=1}^n x_i) = \sum_{i=1}^n f(x_i)[/tex3] para qualquer conjunto de racionais [tex3]x_1,x_2,...x_n[/tex3] :

para [tex3]n=1[/tex3] temos que [tex3]f(x_1) = f(x_1)[/tex3] o que é tautologicamente verdade para qualquer [tex3]x_1[/tex3] racional.

Para qualquer racional [tex3]x_{n+1}[/tex3] temos que é verdade que:

[tex3]f(\sum_{i=1}^n x_i + x_{n+1}) = f(x_{n+1}) + f(\sum_{i=1}^nx_i)[/tex3]

Se tivermos que [tex3]f(\sum_{i=1}^n x_i) = \sum_{i=1}^n f(x_i)[/tex3] para algum [tex3]n[/tex3] então

[tex3]f(\sum_{i=1}^n x_i + x_{n+1}) = f(x_{n+1} + \sum_{i=1}^n f(x_i) = \sum_{i=1}^{n+1} f(x_i)[/tex3]

e completa-se a indução.

Agora tomamos o conjunto [tex3]x_1,x_2,...,x_n[/tex3] onde todos os elementos são iguais a [tex3]1[/tex3] ou seja: [tex3]x_i=1, \forall i \in \{1,2,...,n\}[/tex3]
neste caso [tex3]f(\underbrace{1+1+...+1}_\text{$n$ vezes}) = \underbrace{f(1)+f(1) +... + f(1)}_\text{$n$ vezes} \iff f(n) = n \cdot f(1)[/tex3] para todo [tex3]n[/tex3] inteiro positivo.

Como [tex3]f(0+0) = f(0) + f(0) \iff f(0) = f(0) + f(0) \implies f(0) = 0[/tex3] .

Portanto [tex3]f(1+(-1)) = f(1) + f(-1) \iff f(0) = f(1) + f(-1) \iff f(-1) = (-1) \cdot f(1)[/tex3] .

Tomando o conjunto [tex3]x_i=(-1)[/tex3] chegamos que [tex3]f(n) = n \cdot f(1)[/tex3] para todo [tex3]n[/tex3] INTEIRO (além dos positivos também vale para zero e para os negativos).

Por fim, tomemos [tex3]x_i = \frac1q[/tex3] com [tex3]q[/tex3] qualquer inteiro positivo. Então tomando um conjunto de [tex3]q[/tex3] [tex3]x_i[/tex3] s teremos que:

[tex3]f(\sum_{i=1}^q x_i) = \sum_{i=1}^q f(x_i) \iff f(q \cdot \frac1q) = q \cdot f(\frac1q) \iff f(\frac1q) = \frac1qf(1)[/tex3]

por fim, tomemos [tex3]x_i = \frac1q, \forall 1 \leq i \leq p[/tex3] então

[tex3]f(\sum_{i=1}^p \frac1q) = \sum_{i=1}^p f(\frac1q) \iff f(\frac pq) = p \cdot f(\frac1q) = p \cdot \frac1q f(1) = \frac pq f(1)[/tex3]

para qualquer [tex3]p,q>0[/tex3] portanto [tex3]f(x) = x \cdot f(1)[/tex3] para qualquer [tex3]x \in \mathbb Q^+[/tex3] basta observar que [tex3]f(0) = f(x) + f(-x)[/tex3] para perceber que [tex3]f(x) = x \cdot f(1) , \forall x \in \mathbb Q[/tex3]

portanto [tex3]f[/tex3] é uma função linear em [tex3]x[/tex3] cuja razão de proporção é [tex3]f(1)[/tex3] que é uma constante.

Não podemos generalizar este resultado para o domínio [tex3]\mathbb R[/tex3] ,ou seja: [tex3]f: \mathbb R \rightarrow \mathbb R, f(x+y) = f(x) + f(y)[/tex3]
Pois apesar de termos de fato que [tex3]f(x) = x \cdot f(1)[/tex3] quando [tex3]x[/tex3] é racional não podemos definir um valor para [tex3]f(\sqrt2)[/tex3] por exemplo sem nenhuma informação adicional.

Rigorosamente precisamos considerar o conjunto [tex3]\mathbb R[/tex3] como espaço vetorial sobre o corpo [tex3]\mathbb Q[/tex3] . O Axioma da escolha, que é equivalente ao Lema de Zorn, implica que todo espaço vetorial admite uma base. Esta base de números reais [tex3]r_1,r_2,...,r_n,..[/tex3] é chamada de Base de Hamel e podemos escrever qualquer número real [tex3]r[/tex3] como sendo [tex3]r = \sum_{i=1}^n q_i r_i[/tex3] com [tex3]q_i \in \mathbb Q, \forall i[/tex3] de onde [tex3]f(r) = \sum_{i=1}^n q_i f(r_i)[/tex3] então [tex3]f[/tex3] pode assumir diversas formas dependendo da escolha de [tex3]f(r_i)[/tex3] todas elas sendo descontínuas a menos que [tex3]f(r_i) =0, \forall i >1[/tex3] .

Felizmente, algumas condições extras à equação funcional aditiva de Cauchy em [tex3]\mathbb R[/tex3] fazem com que a solução de fato se torne linear: [tex3]f(x) = x \cdot f(1), \forall x \in \mathbb R[/tex3] . Seguem algumas dessas condições com suas respectivas provas:

1-) [tex3]f[/tex3] é contínua em [tex3]\mathbb R[/tex3] .

Prova: de fato se [tex3]f[/tex3] for contínua em [tex3]\mathbb R[/tex3] então para qualquer real [tex3]x[/tex3] podemos tomar uma sequência de racionais [tex3]q_1,q_2,...,q_n,...[/tex3] que convirja para [tex3]x[/tex3] ([tex3]\lim_{n\rightarrow +\infty} q_n = x[/tex3] ) como sabemos que [tex3]f(q_n) = q_n \cdot f(1)[/tex3] para todo [tex3]n \in \mathbb N[/tex3] então [tex3]f(x) = f(\lim_{n \rightarrow +\infty}q_n) =\lim_{n \rightarrow +\infty} f(q_n) = \lim_{n \rightarrow +\infty} q_n \cdot f(1) = f(1) \cdot \lim_{n \rightarrow +\infty} q_n = f(1) \cdot x[/tex3] .

2-) [tex3]f[/tex3] é contínua em um único ponto [tex3]r[/tex3] .

Prova: fixe [tex3]a \in \mathbb R[/tex3] então [tex3]\lim_{x \rightarrow a} f(x) = \lim_{x \rightarrow r}f(x-r+a)[/tex3] ( pois [tex3]|x-r| = |(x-r+a)-a|[/tex3] )
[tex3]=\lim_{x \rightarrow r}(f(x) - f(r) + f(a)) = \lim_{x \rightarrow r} f(x) + f(a) - f(r) [/tex3] da continuidade em [tex3]r[/tex3] temos que [tex3]\lim_{x \rightarrow r}f(x) = f(r)[/tex3] então [tex3]\lim_{x \rightarrow a} f(x) = f(a) + f(r) - f(r) = f(a)[/tex3] logo [tex3]f[/tex3] é contínua em todo [tex3]a \in \mathbb R[/tex3] e da prova anterior temos que [tex3]f[/tex3] é linear. Vale notar que esta condição é muito geral e implica também que se [tex3]f[/tex3] é diferenciável ou integrável então deve ser linear.

3-) [tex3]f[/tex3] é monótona em algum intervalo de [tex3]\mathbb R[/tex3] qualquer de extremos [tex3]x_1<x_2[/tex3] .

Prova: supondo sem perda de generalidade que [tex3]f[/tex3] é crescente no tal intervalo, isto é: se [tex3]x_1 < x < y < x_2 \implies f(x) < f(y)[/tex3] e que [tex3]f(1)>0[/tex3] . As provas para os demais casos são triviais ou análogas:
Suponha que [tex3]r[/tex3] seja um irracional qualquer no intervalo e que [tex3]f(r) = R \cdot f(1)[/tex3] com [tex3]R>r[/tex3] . Tomemos o racional [tex3]r<q<R[/tex3] tal que [tex3]q[/tex3] também esteja no intervalo [tex3]x_1,x_2[/tex3] . Então [tex3]f(r)<f(q) \iff R \cdot f(1) < q f(1) \iff R < q[/tex3] o que contraria a hipótese de [tex3]q<R[/tex3] . Analogamente se [tex3]R<r[/tex3] tome um racional no intervalo tal que [tex3]R<q<r[/tex3] e também chegará num absurdo. Sobrando a única opção que [tex3]R=r[/tex3] portanto [tex3]f(r) = r \cdot f(1)[/tex3] para todo [tex3]r[/tex3] real no intervalo [tex3]x_1,x_2[/tex3] .

Tome algum real [tex3]z[/tex3] fora do intervalo. Então existe um racional [tex3]q[/tex3] tal que [tex3]q \cdot z[/tex3] está no intervalo [tex3]x_1,x_2[/tex3] (basta tomar qualquer racional no intervalo [tex3]\frac{x_1}z,\frac{x_2}z[/tex3] ) portanto [tex3]f(q \cdot z) = q \cdot z \cdot f(1)[/tex3] mas da linearidade sabemos que [tex3]f(q \cdot z) = q \cdot f(z)[/tex3] logo [tex3]q \cdot f(z) = q \cdot z \cdot f(1) \iff f(z) = z \cdot f(1)[/tex3] para todo [tex3]z[/tex3] real.

4-) [tex3]f[/tex3] é limitada em algum intervalo de [tex3]\mathbb R[/tex3]
-> implica que [tex3]f[/tex3] é contínua em [tex3]0[/tex3]

5-) [tex3]f[/tex3] é positiva para valores reais positivos
vou ficar devendo essas provas por enquanto

Última edição: Auto Excluído (ID:12031) (Dom 28 Abr, 2019 03:37). Total de 5 vezes.



Avatar do usuário
MateusQqMD
5 - Mestre
Mensagens: 2693
Registrado em: Qui 16 Ago, 2018 19:15
Última visita: 21-02-24
Localização: Fortaleza/CE
Abr 2019 28 09:51

Re: Equação funcional de Cauchy - Soma

Mensagem não lida por MateusQqMD »

Agora sim ficou bem completo. Obrigado, sousóeu.



"Como sou pouco e sei pouco, faço o pouco que me cabe me dando por inteiro."

Movido de Ensino Médio para Demonstrações em Dom 28 Abr, 2019 09:52 por caju

Movido de Demonstrações para IME / ITA em Dom 12 Abr, 2020 11:18 por MateusQqMD

Autor do Tópico
Auto Excluído (ID:24303)
6 - Doutor
Última visita: 31-12-69
Abr 2020 12 16:12

Re: Equação funcional de Cauchy - Soma

Mensagem não lida por Auto Excluído (ID:24303) »

Errata:
Encontrar todas as funções [tex3]f: \mathbb Q \rightarrow \mathbb R[/tex3] tais que [tex3]f(x+y) = f(x) + f(y), \forall x, y \in \mathbb Q[/tex3] .

Solução

prova-se por indução que [tex3]f(\sum_{i=1}^n x_i) = \sum_{i=1}^n f(x_i)[/tex3] para qualquer conjunto de racionais [tex3]x_1,x_2,...x_n[/tex3] :

para [tex3]n=1[/tex3] temos que [tex3]f(x_1) = f(x_1)[/tex3] o que é tautologicamente verdade para qualquer [tex3]x_1[/tex3] racional.

Para qualquer racional [tex3]x_{n+1}[/tex3] temos que é verdade que:

[tex3]f(\sum_{i=1}^n x_i + x_{n+1}) = f(x_{n+1}) + f(\sum_{i=1}^nx_i)[/tex3]

Se tivermos que [tex3]f(\sum_{i=1}^n x_i) = \sum_{i=1}^n f(x_i)[/tex3] para algum [tex3]n[/tex3] então

[tex3]f(\sum_{i=1}^n x_i + x_{n+1}) = f(x_{n+1}) + \sum_{i=1}^n f(x_i) = \sum_{i=1}^{n+1} f(x_i)[/tex3]

e completa-se a indução.

Agora tomamos o conjunto [tex3]x_1,x_2,...,x_n[/tex3] onde todos os elementos são iguais a [tex3]1[/tex3] ou seja: [tex3]x_i=1, \forall i \in \{1,2,...,n\}[/tex3]
neste caso [tex3]f(\underbrace{1+1+...+1}_\text{$n$ vezes}) = \underbrace{f(1)+f(1) +... + f(1)}_\text{$n$ vezes} \iff f(n) = n \cdot f(1)[/tex3] para todo [tex3]n[/tex3] inteiro positivo.

Como [tex3]f(0+0) = f(0) + f(0) \iff f(0) = f(0) + f(0) \implies f(0) = 0[/tex3] .

Portanto [tex3]f(n+(-n)) = f(n) + f(-n) \iff f(0) = f(n) + f(-n) \iff f(-n) = (-1) \cdot n \cdot f(1)[/tex3] .

Chegamos então que [tex3]f(n) = n \cdot f(1)[/tex3] para todo [tex3]n[/tex3] INTEIRO (além dos positivos também vale para zero e para os negativos).

Por fim, tomemos [tex3]x_i = \frac1q[/tex3] com [tex3]q[/tex3] qualquer inteiro positivo. Então tomando um conjunto de [tex3]q[/tex3] [tex3]x_i[/tex3] s teremos que:

[tex3]f(\sum_{i=1}^q x_i) = \sum_{i=1}^q f(x_i) \iff f(q \cdot \frac1q) = q \cdot f(\frac1q) \iff f(\frac1q) = \frac1qf(1)[/tex3]

por fim, tomemos [tex3]x_i = \frac1q, \forall i \in \{1,2,3,..., p\}[/tex3] para algum [tex3]p >0 \in \mathbb N[/tex3] então

[tex3]f(\sum_{i=1}^p \frac1q) = \sum_{i=1}^p f(\frac1q) \iff f(\frac pq) = p \cdot f(\frac1q) = p \cdot \frac1q f(1) = \frac pq f(1)[/tex3]

para qualquer [tex3]p,q>0[/tex3] portanto [tex3]f(x) = x \cdot f(1)[/tex3] para qualquer [tex3]x \in \mathbb Q^+[/tex3] basta observar que [tex3]f(0) = f(x) + f(-x)[/tex3] para perceber que [tex3]f(x) = x \cdot f(1) , \forall x \in \mathbb Q[/tex3]

portanto [tex3]f[/tex3] é uma função linear em [tex3]x[/tex3] cuja razão de proporção é [tex3]f(1)[/tex3] que é uma constante.

Não podemos generalizar este resultado para o domínio [tex3]\mathbb R[/tex3] ,ou seja: [tex3]f: \mathbb R \rightarrow \mathbb R, f(x+y) = f(x) + f(y)[/tex3]
Pois apesar de termos de fato que [tex3]f(x) = x \cdot f(1)[/tex3] quando [tex3]x[/tex3] é racional não podemos definir um valor para [tex3]f(\sqrt2)[/tex3] por exemplo sem nenhuma informação adicional.

Rigorosamente precisamos considerar o conjunto [tex3]\mathbb R[/tex3] como espaço vetorial sobre o corpo [tex3]\mathbb Q[/tex3] . O Axioma da escolha, que é equivalente ao Lema de Zorn, implica que todo espaço vetorial admite uma base. Esta base de números reais [tex3]r_1,r_2,...,r_n,..[/tex3] é chamada de Base de Hamel e podemos escrever qualquer número real [tex3]r[/tex3] como sendo [tex3]r = \sum_{i=1}^{\infty} q_i r_i[/tex3] com [tex3]q_i \in \mathbb Q, \forall i[/tex3] de onde [tex3]f(r) = \sum_{i=1}^{\infty} q_i f(r_i)[/tex3] então [tex3]f[/tex3] pode assumir diversas formas dependendo da escolha de [tex3]f(r_i)[/tex3] . Boa parte destas escolhas geram funções descontínuas.

Felizmente, algumas condições extras à equação funcional aditiva de Cauchy em [tex3]\mathbb R[/tex3] fazem com que a solução de fato se torne linear: [tex3]f(x) = x \cdot f(1), \forall x \in \mathbb R[/tex3] . Seguem algumas dessas condições com suas respectivas provas:

1-) [tex3]f[/tex3] é contínua em [tex3]\mathbb R[/tex3] .

Prova: de fato se [tex3]f[/tex3] for contínua em [tex3]\mathbb R[/tex3] então para qualquer real [tex3]x[/tex3] podemos tomar uma sequência de racionais [tex3]q_1,q_2,...,q_n,...[/tex3] que convirja para [tex3]x[/tex3] ([tex3]\lim_{n\rightarrow +\infty} q_n = x[/tex3] ) como sabemos que [tex3]f(q_n) = q_n \cdot f(1)[/tex3] para todo [tex3]n \in \mathbb N[/tex3] então [tex3]f(x) = f(\lim_{n \rightarrow +\infty}q_n) =\lim_{n \rightarrow +\infty} f(q_n) = \lim_{n \rightarrow +\infty} q_n \cdot f(1) = f(1) \cdot \lim_{n \rightarrow +\infty} q_n = f(1) \cdot x[/tex3] .

2-) [tex3]f[/tex3] é contínua em um único ponto [tex3]r[/tex3] .

Prova: fixe [tex3]a \in \mathbb R[/tex3] então [tex3]\lim_{x \rightarrow a} f(x) = \lim_{x \rightarrow r}f(x-r+a)[/tex3] ( pois [tex3]|x-r| = |(x-r+a)-a|[/tex3] )
[tex3]=\lim_{x \rightarrow r}(f(x) - f(r) + f(a)) = \lim_{x \rightarrow r} f(x) + f(a) - f(r) [/tex3] da continuidade em [tex3]r[/tex3] temos que [tex3]\lim_{x \rightarrow r}f(x) = f(r)[/tex3] então [tex3]\lim_{x \rightarrow a} f(x) = f(a) + f(r) - f(r) = f(a)[/tex3] logo [tex3]f[/tex3] é contínua em todo [tex3]a \in \mathbb R[/tex3] e da prova anterior temos que [tex3]f[/tex3] é linear. Vale notar que esta condição é muito geral e implica também que se [tex3]f[/tex3] é diferenciável ou integrável em algum trecho de seu domínio então deve ser linear.

3-) [tex3]f[/tex3] é monótona em algum intervalo de [tex3]\mathbb R[/tex3] qualquer de extremos [tex3]x_1<x_2[/tex3] .

Prova: supondo sem perda de generalidade que [tex3]f[/tex3] é crescente no tal intervalo, isto é: se [tex3]x_1 < x < y < x_2 \implies f(x) < f(y)[/tex3] e que [tex3]f(1)>0[/tex3] . As provas para os demais casos são triviais ou análogas:
Suponha que [tex3]r[/tex3] seja um irracional qualquer no intervalo e que [tex3]f(r) = R \cdot f(1)[/tex3] com [tex3]R>r[/tex3] . Tomemos o racional [tex3]r<q<R[/tex3] tal que [tex3]q[/tex3] também esteja no intervalo [tex3]x_1,x_2[/tex3] . Então [tex3]f(r)<f(q) \iff R \cdot f(1) < q f(1) \iff R < q[/tex3] o que contraria a hipótese de [tex3]q<R[/tex3] . Analogamente se [tex3]R<r[/tex3] tome um racional no intervalo tal que [tex3]R<q<r[/tex3] e também chegará num absurdo. Sobrando a única opção que [tex3]R=r[/tex3] portanto [tex3]f(r) = r \cdot f(1)[/tex3] para todo [tex3]r[/tex3] real no intervalo [tex3]x_1,x_2[/tex3] . Então [tex3]f[/tex3] é contínua em todos os pontos do intervalo e de novo, [tex3]f[/tex3] é linear na reta inteira. Ou pode-se pensar em:

Tome algum real [tex3]z[/tex3] fora do intervalo. Então existe um racional [tex3]q[/tex3] tal que [tex3]q \cdot z[/tex3] está no intervalo [tex3]x_1,x_2[/tex3] (basta tomar qualquer racional no intervalo [tex3]\frac{x_1}z,\frac{x_2}z[/tex3] ) portanto [tex3]f(q \cdot z) = q \cdot z \cdot f(1)[/tex3] mas da linearidade sabemos que [tex3]f(q \cdot z) = q \cdot f(z)[/tex3] logo [tex3]q \cdot f(z) = q \cdot z \cdot f(1) \iff f(z) = z \cdot f(1)[/tex3] para todo [tex3]z[/tex3] real.

4-) [tex3]f[/tex3] é limitada em algum intervalo de [tex3]\mathbb R[/tex3] .
Se [tex3]f[/tex3] é limitada num intervalo [tex3][x_1,x_2][/tex3] qualquer então podemos tomar [tex3]q[/tex3] racional em [tex3][-x_2,-x_1][/tex3] tal que [tex3]0 \in [x_1+q,x_2+q][/tex3] e então [tex3]f[/tex3] é limitada em um intervalo que contém o zero e portanto [tex3]f[/tex3] é limitada em um intervalo da forma [tex3][-a,a], a>0[/tex3] ([tex3]a = \frac{x_2-x_1}2[/tex3] por exemplo). Seja [tex3]0 < M \in \mathbb N[/tex3] e [tex3]|f(x)| < M, \forall x \in [-a,a][/tex3] e [tex3]0< N \in \mathbb N[/tex3] um natural tal que [tex3]\frac M N < \epsilon[/tex3] (mais explicitamente, tome [tex3]N = \lceil \frac{M} {\epsilon}\rceil[/tex3] - a função teto de [tex3]\frac{M}{\epsilon}[/tex3] ) então tome [tex3]\delta = \frac a N[/tex3] e teremos:

[tex3]|x| < \delta \iff |x| < \frac {a}{N} \iff N |x| < a \implies f(N|x|) < M \iff N \cdot f(|x|) < M \iff f(|x|) < \epsilon[/tex3]

portanto [tex3]f[/tex3] é contínua em [tex3]x=0[/tex3] e então das condições anteriores temos que [tex3]f[/tex3] é linear.

5-) [tex3]f[/tex3] é positiva (ou negativa) para valores reais positivos.
Então tome [tex3]a >0[/tex3] qualquer e [tex3]b>a[/tex3] então [tex3]f[/tex3] é monótona no intervalo [tex3][a,b][/tex3] pois se [tex3]a \leq x < y \leq b[/tex3] teremos [tex3]f(y) = f(x) + f(y-x)[/tex3] mas [tex3]y-x>0 \implies f(x-y) > 0 \implies f(y) > f(x)[/tex3] .

Última edição: Auto Excluído (ID:24303) (Dom 12 Abr, 2020 16:56). Total de 11 vezes.



Movido de IME / ITA para Demonstrações em Dom 12 Abr, 2020 22:24 por MateusQqMD

Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última msg

Voltar para “Demonstrações”