Escolar Documentos
Profissional Documentos
Cultura Documentos
CURITIBA
2019
IZABELA PATRICIO BASTOS
Tese apresentada ao
Programa de Pós-Graduação em
Matemática, Setor de Ciências
Exatas, Universidade Federal
do Paraná, como requisito
para a obtenção do título de
Doutora em Matemática.
CURITIBA
2019
Agradecimentos
Key words: Internal waves; dispersive models; Boussinesq type system; Inter-
mediate Long Waves equation; Benjamin equations; well-posedness for PDEs;
pseudodierential operator; special functions; leapfrog ; Runge-Kutta.
Lista de Figuras
6
7
Lista de Figuras 6
Sumário 11
1 Introdução 14
2 Teoria Preliminar 21
2.1 Transformada de Fourier e Espaço de Sobolev . . . . . . . . . 21
2.2 Semigrupos de Operadores Lineares . . . . . . . . . . . . . . . 23
11
12
Referências 199
Capítulo 1
Introdução
14
15
quais não possuem viscosidade, imisíveis aqueles que não se misturam entre
si, irrotacionais aqueles cujas partículas, numa certa região, não apresentam
rotação em relação a um eixo qualquer e incompressíveis, segundo [11], aque-
les nos quais a densidade de massa é constante ao longo das trajetórias das
partículas do uido.
Na redução das equações de Euler que descrevem a evolução dessas ondas
internas, sob as hipóteses descritas anteriormente, aparece o operador pseu-
dodiferencial, muitas vezes denominado de Transformada de Hilbert na faixa.
No processo de redução das equações de Euler se faz necessário transformar
a informação sobre a derivada normal na interface para derivada tangencial,
e é o operador da Transformada de Hilbert na faixa que faz a troca na geo-
metria mencionada acima. Como resultado da redução são obtidos sistemas
do tipo Boussinesq, especicamente tem-se o seguinte sistema bidirecional
fracamente dispersivo e não linear, [10, 12, 22]:
$
& ηt p1 αηqu x 0
a ρ2 (1.1)
% ut αu ux ηx β T ruxx s ,
ρ 1
z η(x, t)
ρ1 h1
ρ2 h2
Entende-se por sistema fracamente não-linear aquele cujo termo não linear
tem parâmentro α pequeno, enquanto que o sistema fortemente não-linear
não tem o parâmetro α multiplicando o termo não linear, como em [12]. Já
17
Tp pk q i cothphk q, (1.2)
T ruxx s 0.
1
ut ux 2uux (1.3)
h
No caso não periódico, tem-se um par de Fourier, a saber,
? πx
2π
2h
coth
2h
e i cothphk q, (1.4)
por essa razão, o operador T é dado por uma convolução da função cotangente
hiperbólica com a função que aparece no argumento do operador:
»8 π
T ruspxq px yq upyqdy,
1
coth (1.5)
2h 8 2h
onde a integral deve ser interpretada como valor principal de Cauchy. Por
valor principal de Cauchy entende-se:
»8 »a »8
f pxqdx alim
Ñ0
f pxqdx lim
Ñ0
f pxqdx.
8 8 a a
para k P R. Onde
»8
Hruspxq upy qdy,
1 1
(1.6)
π 8 x y
no domínio real. Pela escolha da Transformada de Fourier, o par de Fourier
é: c
π2 x1 e i sgnpkq. (1.7)
ω pk q a
|k | ,
1 b |k | ak 2
se L H e
ω pk q a
|k | ,
1 bk cothphk q ak 2
se L T .
Agora, considera-se a família de equações de Benjamin regularizada dada
por
ηt ηx αηηx bL η xt aηxxt 0,
3
(1.9)
2
?
onde os parâmetros α, a, b são positivos e a relação entre os parâmetros
α é da mesma ordem de a enquanto b é da ordem de a, com b 2 a.
? é:
ω pk q
k
b |k |
,
1 ak 2
se L H e
ω pk q
k
bk cothphk q
,
1 ak 2
se L T .
Em 1992, Benjamin, [6], estudou a equação da forma
de Hilbert.
No capítulo 6 faz-se a abordagem numérica da solução da família de equa-
ções de Benjamin a partir do método de linhas comparando o método leapfrog
com o método de Runge-Kutta de quarta ordem na discretização temporal.
No capítulo 7 são apresentadas as conclusões e trabalhos futuros. No apên-
dice A encontra-se um teorema da boa colocação local da solução w que será
utilizado para garantir a boa colocação global da família de equações de Ben-
jamin em H s para 0 ¤ s ¤ 1, com s 12 , usando a teoria de semigrupos.
No apêndice B encontram-se os algoritmos desenvolvidos para este trabalho
tanto da implementação dos operadores e seus respectivos núcleos, quanto
da solução numérica da família de equações de Benjamin.
Capítulo 2
Teoria Preliminar
21
22
k P R.
" »8 *
Também, dene-se em H s
f P L pRq ;2
p1 k q pq
2 s p 2
f k dk 8 ,
8
o produto interno
»8
xf, gys p1 k 2 qs fppk qgppk qdk,
8
e a norma »8
}f }
2
s p1 k q pq
2 s p 2
f k dk.
8
# +
8̧ 2
Já em Hper
s
f P L2 pRq ; p1 q pq 8
2 sp
k f k dene-se o produto
k 8
interno e a norma por:
8̧
xf, gys p1 k 2 qs fppk qgppk q,
k 8
8̧ 2
}f }2s p1 k 2 qs fppk q ,
k 8
respectivamente. Neste trabalho, as demonstrações presentes serão feitas no
espaço H s , mas também podem ser mostradas em Hpers
de maneira análoga.
@t P r0, as.
Ax lim Ah x.
h Ñ0
Nota-se que
S pt hq S ptq
h
AhS ptq S ptqAh, @t ¥ 0, h ¡ 0.
Teorema 2.2.5. Seja A o operador innitesimal do semigrupo tS ptqut¥0 de
classe C0 .
1. Se x P DpAq, então S ptqx P DpAq, @t ¥ 0 e
A S pτ qxdτ S ptqx x.
0
Observação 2.2.6. A mesma teoria vale par t P R, nesse caso S ptq é chamado
de grupo.
25
26
27
γ P C, então
pApγf g qq p pk q iφj pk qpγf g q p pk q
γiφj pkqfppkq iφj pkqgppkq
γ Af
x pk q Agx pk q
e portanto, A é linear.
Observa-se que, a partir do sistema (3.3) obtem-se uma família de equa-
ções diferenciais ordinárias (EDO) no domínio da frequência, cujas soluções
são:
ηppk, tq ηp0 pk qeiφj pkqt ,
para j 1, 2, então, |ηppk, tq| |ηp0pkq|, @k P Z ou @k P R, @t P R. Logo,
}ηp, tq}s }η0}s , @t P R. (3.4)
então a igualdade (3.4) indica que tS ptqutPR deve ser um grupo unitário. Para
mostrar que de fato A é gerador de um grupo unitário usa-se o teorema de
Stone 2.2.8.
1. A é densamente denido:
P H s; Af P H su
DpAq tf
Suponha-se L H, assim,
»8 2
}Af } 2
s p1 k q
2 s x
pq
Af k dk
8
»8
p1 k q |φ1pkq| p q
2 s 2 p 2
f k dk
8
» 8 2
¤ C p1 k2qs 3 fppkq dk
8
C }f }2s 3 8,
pois como φ1 pk q k bk |k | ak 3 , então lim
pφ1pkqq2 a2 e se
kÑ8 p1 k 2 q3
P rδ, δs, δ ¡ 0, ppφ1 1 pkk2qqq3 é limitado por ser contínua no intervalo
2
k
fechado. Portanto, existe uma constante C ¡ 0 tal que pφ1 pkqq2 C,
p1 k2 q3
@k P R.
Agora, se L T , então φ2 pk q k bk 2 cothphk q ak 3 , como vale a
desigualdade, [22]:
segue que
»8 2
}Af }
2
s p1 k q
2 s x
pq
Af k dk
8
»8
p1 k q pφ2pkqq p q
2 s 2 p 2
f k dk
8
»8 2
p1 k q
2 s k
h bhk cothphk q ahk 2 p 2
f k dk pq
8 h
p3.5q 1 » 8
¤ h2 8
p1 k qk
2 s 2
h b |kh| b ahk 2 2
pq
p 2
f k dk
»
1 8 2 2
h2 8
p1 k 2 qs hk bk |k | h bk ahk 3 pq
fp k dk
»
1 8 phk bk |k | h bk ahk 3 q p 2
2
¤ h2 8
p1 k q
2 s 3
p1 k 2 q3 f pk q dk
¤ C
h2
}f }2s 3 8,
30
pois lim
phk
bk |k | h bk ahk 3 q2
pahq2, logo existe C ¡ 0 tal
kÑ8 p1 k 2 q3
que phk bk |k | h bk ahk 3 q2 ¤ C p1 k 2 q3 , @k P R.
Portanto, A : H s Ñ H s é linear e limitado.
3
p1 k2q3 1 ,
kÑ8 pφ1 pk qq2
lim
a2
(1+k2 ) 3
7
φ 21 (k)
φ 21 (k)+1
6
φ 21 (k)+2
5
0
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
Isto é, f P H s 3 .
Caso L T , então φ2 pk q k bk 2 cothphk q ak 3 . Observa-se que
para todo k ¥ 0:
e
p1 k2q3 1
Ñ8 phk bk |hk | bk q pahq2 ,
lim
k ahk 3 2
@k ¥ 0. Assim, lim
p1 k2q3 1 . Logo, dado ¡ 0, existe
kÑ0 phφ2 pk qq2 M M
32
C1 ¡ 0 tal que
p1 k2q3 ¤ C1h2φ22pkq C1 M, @k P R tal que |k| ¤ . (3.8)
Conclui-se que f P H s 3 .
Sendo assim, em ambos os casos, DpAq H s 3
H s, e como, H s 3 Ñ ã
2. A A:
Para mostrar essa igualdade é necessário vericar que A é anti-simétrico
e que existe λ P R tal que pλ AqDpAq H s , isto é, a imagem de
pλ Aq aplicado em DpAq é H s. De fato, sejam f, g P DpAq H s 3,
então
»8
xAf, gys p1 k 2 qs Af
x pk qg
ppk qdk
»8
8
p1 k 2 qs piφj pk qqfppk qgppk qdk
8
» 8
p1 k 2 qs fppk qpiφj pk qqgppk qdk
8
»8
p1 k2qsfppkqAg
x pk qdk
8
xf, Agys
xf, Agys ,
33
fppk q
λ iφj pkq gppkq.
1
(3.10)
8
»8
|λ iφ1 pk q|
p1 k 2 qs
p1 k 2 q3
|gppkq|2 dk
8 λ2 φ21 pk q
» 8
¤ C p1 k2qs |gppkq|2 dk
8
C }g}2s 8,
onde p1 k 2 q3 ¤ C pλ2 φ21 pk qq, com C ¡ 0.
Caso L T , então:
»8
}f } 2
s 3 p1 k q
2 s 3
pq
p 2
f k dk
8
»8
p1 k 2 qs 3 1
2 |g
ppk q| dk
2
8
»8
|λ iφ2 pk q|
p1 k 2 qs
p1 k 2 q3
|gppkq|2 dk
8» λ2 φ22 pk q
8 p1 k2q3 |gppkq|2 dk
h2 p1 k 2 qs 2 2
h2 φ22 pk q
8 λh
¤ h C̄ }g}2s 8,
2
Além disso, como ηpt pk, tq iφj pk qηppk, tq, então ηppk, tq ηp0 pk qeiφ pkqt , j
logo _ _
η px, tq ηp0 pk qeiφj pkqt η0pxq eiφj pkqt .
1 b |k | ak 2 ¤1 bk cothphk q ak 2 ,
isto é, Apk q ¥ Apk q, para todo k P R. Isso implica que L T será um caso
particular do caso L H.
Sendo assim, dene-se para todo k P R, k 0,
# k
pq 1 k
|| , se j 1
ϕj pk q A k b k ak2
(3.13)
k
pq
A k
1 k
p q
bk coth hk ak2
, se j 2,
estendida por continuidade para k 0. Donde,
ηpt pk, tq iϕj pk qηppk, tq, (3.14)
e portanto, A1 é linear.
Do sistema (3.14) obtem-se uma família de equações diferenciais ordiná-
rias (EDO) no domínio da frequência, cujas soluções são:
então a igualdade (3.16) indica que tS ptqutPR deve ser um grupo unitário.
Dessa forma, para mostrar que A1 é gerador de um grupo unitário usa-se o
teorema de Stone 2.2.8.
Para garantir isso, primeiramente, mostra-se no próximo lema uma limi-
tação inferior para Apk q.
?
Lema 3.2.1. Apkq ¥ Apkq ¥ pb 2 aq |k| ¥ b |k|, @k P R.
Demonstração: ?
Para demonstrar a desigualdade Apk q ¥ pb 2 aq |k |, encontra-se a reta
tangente a Apk q e que passa pela origem. Dessa forma, considera-se o ponto
1
k0 , Apk0 q que pertence à reta que passa pela origem e tem inclinação A pk0 q.
37
r : y pk q p b 2ak0 qk,
como k0 , Apk0 q P r, então
1 bk0 ak02bk0 2ak02
ak021
k0 ? ,
1
a
?a
mas como k0 ¡ 0, então k0 ?1a a
. Portanto,
?
r : y pk q pb 2 aqk, @k ¡ 0.
Agora se k 0, então A1pkq pb 2ak q e a reta tangente é:
1
r : y pk q A pk0 qk,
isto é, ?
r : y pk q p b 2 aqpk q, @k 0.
Assim, ?
r : y pk q pb 2 aq | k | , @ k P R.
2
Além disso, como A pk q 2a ¡ 0, então Apk q tem concavidade para cima
para todo k , e portanto, a reta tangente está abaixo da curva. Dessa forma,
38
segue que:
?
Apk q ¥ Apk q 1 b |k |
¥ pb 2 aq |k| , @k P R.
ak 2
?
Finalmente, como pb 2 aq |k | ¥ b |k |, @k P R, conclui-se que:
?
Apk q ¥ Apk q 1 b |k | ak 2 ¥ pb 2 aq |k | ¥ b |k | , @k P R.
Desigualdade para A
35
1+bkcoth(kh)+ak 2
1+b|k|+ak2
30
y=(b+2sqrt(a))k
y=bk
25
20
15
10
0
-10 -8 -6 -4 -2 0 2 4 6 8 10
Nota-se que o lema 3.2.1 pode ser aplicado tanto para o caso não perió-
dico (k P R) quanto para o caso periódico (k P?Z). A Figura 3.2 ilustra a
desigualdade do lema 3.2.1, para a 0, 25, b a e h 1. Além disso, do
lema 3.2.1 segue que
|ϕ2pkq| ¤ |ϕ1pkq| ¤ b 1
? .
2 a
(3.17)
1. A1 é densamente denido:
DpA1 q tf P H s; A1f P H su .
39
para j 1, 2.
Portanto, em ambos os casos, A1 é limitado e contínua. Dessa forma,
se f P H s , então f P DpA1 q. Portanto, DpA1 q H s , em particular, A1
é densamente denido e é um operador contínuo.
2. A1 A1:
Para mostrar essa igualdade é necessário vericar apenas que A1 é anti-
simétrico. De fato, sejam f, g P DpA1 q H s , então
»8
xA1f, gys p1 k 2 qs A
y ppk qdk
1 f pk qg
8
»8
p1 k 2 qs piϕj pk qqfppk qgppk qdk
8
» 8
p1 k 2 qs fppk qpiϕj pk qqgppk qdk
8
»8
p1 k2qsfppkqAy
1 g pk qdk
8
xf, A1gys ,
para j 1, 2. Assim, A1 é anti-simétrico.
Nessas condições, pelo teorema de Stone, 2.2.8, A1 é gerador de um grupo
de classe C0 unitário. Portanto, do teorema 2.2.9 segue que:
Teorema 3.2.2. Sejam s P R e η0 P H s , então o problema de Cauchy
$
& η P C pR, H sq ,
ηt ηx bLrηxt s aηxxt 0 em H s ,
η px, 0q η0 pxq P H s ,
%
40
Além disso, como ηpt pk, tq iϕj pk qηppk, tq, tem-se ηppk, tq ηp0 pk qeiϕj pkqt ,
logo _ _
η px, tq ηp0 pk qeiϕj pkqt η0 pxq eiϕj pkqt .
_
ptqpkq eiϕj pkqt.
Assim, S ptqη0 pxq η0 pxq eiϕj pkqt , portanto, Sy
Na Tabela 3.2 verica-se o resumo das equações apresentadas neste capí-
tulo com a expressão da sua solução.
41
42
Nesta seção será feito o estudo da boa colocação local do problema de Cauchy,
baseado em [23]. Dessa forma, considera-se o problema de Cauchy:
ηt Gη.
Para encontrar o operador G, escolhe-se inicialmente L H. Da equação
(4.1) tem-se que:
1 bH rBx s aB ηx α pη 2 qx ,
2 3
x ηt
4
1 bpik qpi sgnpk qq apik q ik ηp α pη 2 q ,
2 3 y
ηpt
4
b |k | ik ηp αpη 2 q .
2 3 y
1 ak ηpt
4
Dene-se como na seção 3.2, Apk q 1 b |k | ak 2 . Portanto,
Sendo assim,
1 bT rBxs aBx ηx αpη 2 qx .
2 3
ηt
4
1 bpik qpi cothphk qq apik q ik ηp α pη 2 q ,
2 3 y
ηpt
4
bk cothphk q ik ηp αpη 2 q .
2 3 y
1 ak ηpt
4
43
y
tal que M η pk, tq mpk qηppk, tq, onde mpk q ik
e Apk q 1 b cothphk q
pq
A k
ak .
2
Gη M η
3α 2
4
η P H s.
n
lim sup
Ñ8 rT ,T s
}ηnptq ηptq}Y 0.
Demonstração: Da equação
ηx αηηx bL η xt aηxxt 0,
3
ηt
2
45
tem-se que
ηt Gη M η
3 2
4
αη ,
donde »t
P C prT, T s , H sq ; dpv, Φq ¤ Ru .
Λ ΛpT, R, η0 q tv
»
t 3 2
¤b 1
?
2 a 0 4
α v p, τ qs }v p, τ q}s dτ (4.7)
» t
¤b 1
?
2 a 0 4
3
αC s } v p , τ q}2
s }v p , τ q} s dτ
(4.8)
» t
b 1
?
2 a 0 4
3
αC s } v p , τ q}s 1 } v p , τ q}s dτ
(4.9)
» t
¤b 1
?
2 a 0
pR }η0 }s q
3
4
αCs pR }η0 }s q 1 dτ (4.10)
¤b 1
? T pR }η0}sq 4 αCs pR }η0}sq 1 .
2 a
3
(4.11)
¤b 1
?
2 a
t pR
t r }η0}sq 3
4
αCs pR }η0}sq 1 .
Assim, se t r t Ñ 0, então Jv p, tq Jv p, r
tqs Ñ 0. Portanto, Jv P
C prT, T s , H q e Jv P Λ, @v P Λ.
s
¤ dpu, vq b 1
?
2 a
3
2
αCs pR }η0}sq 1 T,
T2,
2 s 0 s
»t
1 h
lim
hÑ0 h
M
4
αη p, τ q η p, τ q dτ
3 2
M αη p, tq η p, tq
3 2
4
0,
t s
Assim,
@t P rTr, Trs, onde Tr min tT1, T2u, Cs é uma constante positiva tal que
}vp, τ qvp, τ q}s ¤ Cs }vp, τ q}s }vp, τ q}s, pois s ¡ 21 e
$ ,
& .
r max
R sup p q
η1 , t η01 s , sup p q
η2 , t η02 s .
%tP
rTr,Trs PrTr,Trs
t
-
Portanto,
1
}η1p, tq η2p, tq}s ¤ η
0 exp βr dτ
η02 s
0
η01 2 r||
η0 s exp β t .
logo
» t
C0 ηn , τ } p q ηp, τ q}s C1 }ηn p, τ q η p, τ q}2s dτ ,
0
onde R sup }ηp, tq}s, C0 b 21?a 32 αCsR 1 , C1 b 21?a 34 αCs
tPrT ,T s
e Cs é uma constante positiva tal que }v p, τ qv p, τ q}s ¤ Cs }v p, τ q}s }v p, τ q}s ,
pois s ¡ 21 .
Dene-se
» t
Ψn ptq } η0n η}0 s
} p
C0 ηn , τ q ηp, τ q} s C1 ηp , τ q ηp, τ q2s dτ .
0
Assim,
C0 Ψn ptq C0 Ψn p0q
ln
C0 C1 Ψn ptq
ln
C0 C1 Ψn p0q
¤ C0 |t|
C1 }η0n η0 }s eC0 |t|
¤ C C0 C}η0}ηn η0 }ηs}
n
Ψn ptq 1 eC0 |t|
C0 C1 }η0n η0 }s 0 1 0 0 s
Ψn ptq
C0 C1 η0n } η0}s 1 eC0|t| ¤ C } C}ηη0n}s eη} .
C0 η0n C |t| 0
C0 C1 }η n η }
0 0 s 0 1 0 0 s
C |t|
}η η } ¡ e ,
C0
1 n
0
C1 0 0 s
}
} C0 C1 η0n η0 s
¡ C0 |t| ,
ln
} } C1 η0n η0 s
C0 C1 }η0n η0 }s
|t| C ln C }ηn η}
1
.
0 1 0 0 s
Assim, a desigualdade
(4.12)
0 C }η η } n. 0 0 s
1 0 0
nÑ8
s
Nesta seção será feito o estudo da boa colocação local a partir da teoria de
semigrupos baseado em [7, 13, 20, 21, 23]. Para tal, considera-se a equação
dada em (4.1),
p1 L rBxs aBxxq ηt 34 α η2 x
ηx . (4.13)
1 bpik qi sgnpk q apik q ik αη ηp ,
2 3 p2
ηpt
4
logo
ηpt 1 ik
b |k | ak 2
ηp
3 p2
4
αη .
1 bpik qi cothphk q apik q ik αη ηp ,
2 3 p2
ηpt
4
53
logo
ηpt 1 ik
bk cothphk q ak 2
ηp
3 p2
4
αη .
1 pa bq2
¤ 1 2a2 2b2 2 2a2 2b2
2 2a2 2b2 2a2b2 2p1 a2 b2 a2 b 2 q
2p1 a2qp1 b2q.
Portanto, se a k k1 e b k1 , segue que
1 k 2 1 rpk k1 q k1 s2 ¤ 2 1 pk k1 q2 1 k12 .
Como s ¥ 0, então
s{2 s{2
p1 k 2 qs{2 ¤ 2s{2 1 k12 1 pk k1q2 ,
¤a 1 1
b |k |
dk
8 1
»8
ak 2
a 1
?a |k |
1
2 dk 8,
8 ?b
2 a
1 b2
4a
pois 1 4a
b2
¡ 0, isto é, 2?b a 1 uma vez que b é da mesma ordem de a, com ?
?
b 2 a. Caso j 2, como |ϕ2 pk q| ¤ |ϕ1 pk q| segue que }ϕ2 }L2 ¤ }ϕ1 }L2 8.
Dessa forma se u, v P H s , então:
»8 2
}ϕj pDxqpuvq} 2
p1 k 2 qs ϕj p{
Dx qpuv qpk q dk
8
s
»8
2
p
1 k 2 qs{2 ϕj pk qpu
x v qpk q dk
»8
8
2
|ϕj pkq|2 p1 k 2 qs{2 pu
x v qpk q dk
8
55
p4.17q ? »8
¤ 2πC s |ϕj pkq|2 . . .
8
» 8 2
2 s{2
1 p k 2 qs{2 1
1 k k1 p q p k1 v
u p qp q
p k k1 dk1 dk
8
? »8 » 8
2
2πC s | p q|
2
ϕj k p q p q
up1 k1 vp1 k k1 dk1 dk
8 8
? »8
2πC s |ϕj pkq|2 |up1 vp1pkq|2 dk
8
? »8
¤ 2πC s }up1 vp1 }8 2
|ϕj pkq|2 dk
8 »
p4.18q ? 8
¤ 2πC s }up1}2L }vp1}2L |ϕj pkq|2 dk
2 2
? 8
2πC s }up1}L }vp1}L }ϕj }2L
2 2
2 2 2
Ks }u}2s }v}2s ,
?
onde Ks 2πC s }ϕj }2L .
Sendo assim, existe uma constante Cs ¡ 0 tal que
2
k2 k4
como lim
k Ñ8 p1 b |k | ak 2 q2
1
a2
2 4
e p1 bk|k| kak2 q2 é contínua num compacto
56
@t P I e j 1, 2.
Nota-se que se 12 s ¤ r, então pelos teoremas 2.1.5 e 2.1.6, existe uma
constante Ks K psq ¡ 0 tal que
8 p1 k1 q
2 r
u
dade (4.17). Dessa forma, pela desigualdade de Cauchy-Schwarz, teorema
2.1.2, segue que
? » 8 » 8
¤ 2πM p1 q |vppk1q|
k12 r 2
dk1
» 8 8 8
p1 k 2 qs
|uppk k1q|2 dk1 dk
8 p1 k12 qr
? »8 »8
p 1 k 2 qs
2πM }v p, tq}r2
| ppk k1 q| dk1 dk.
2
8 8 p1 k1 q
2 r
u
Dessa forma, via teoria de semigrupos, [13, 20, 21], o problema (4.23)
pode ser reescrito como a equação integral:
»t
η px, tq S ptqη0 pxq S pt t1 qϕj pDx qη 2 px, t1 qdt1 ,
3iα
(4.25)
4 0
}S pqη0}X
s sup }S ptqη0}s }η0}s .
T
t PrT,T s
Para mostrar a boa colocação local é necessário mostrar duas desigualda-
des. Nota-se que o segundo termo da equação (4.25) é limitado, pois:
» »
3iα t 3α t 1 qϕ pD qη 2 p, t1 q dt1
4 p
S t t1qϕj pDxqη2p, t1qdt1 ¤ 4 0
S pt t j x s
0 s
» t
3α
¤ ϕj pDx qη 2 p, t1 qs dt1 .
4 0
0 0
s
»
3α t 1
¤ 4
Cs }η }X s dt
2
T
0
59
» t
3α
Cs }η }2X s dt1
4 T
0
3α
4
Cs }η }2X s
T
|t| ,
logo
»
3iα t
sup S t p t1qϕj pDxqη2p, t1qdt1 ¤ 3α Cs }η }2X
s T. (4.26)
PrT,T s
t 4 0 s 4 T
¤ 3α
4
Cs }η ν }X }η s
T
ν }X s T.
T
(4.27)
J: Λ Ñ Λ
v ÞÑ Jv : rT, T s Ñ H s ,
60
denida por
»t
Jv px, tq S ptqη0 pxq S pt t1 qϕj pDx qv 2 px, t1 qdt1 .
3iα
(4.28)
4 0
M2 3α
4
Cs }v }2X s T
T
¤ M2 3α
4
Cs M 2 T
M
2
1
3α
2
Cs M T .
}Jv}X ¤ M2 p1
s
T
1q M.
»t
S ptqη0 S pt t1 qf p, t1 qdt1
3iα
S r
t η0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 0
»t
S ptq S pt t1 q S pr
t t1 q f p, t1 qdt1
3iα
S r
t η0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 t
»t
S ptq S pt r t t1 qf p, t1 qdt1
tq I S pr
3iα
S r
t η0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 t
»t
3iα
S ptq S r
t η0 S pt r
tq I t t1 qf p, t1 qdt1
S pr
4 0
» tr
3iα t t1 qf p, t1 qdt1 .
S pr
4 t
quando t Ñ r
t. Dessa forma, segue que no limite para t Ñ r
t tem-se que
T f p, tq T f
, rt Jvp, tq Jv , rt Ñ 0 P H s.
Conclui-se então que Jv P C prT, T s, H s q e Jv P Λ, se v P Λ.
Além disso, existe T2 ¡ 0 tal que para todo T T2 , J : Λ Ñ Λ é uma
contração. De fato, se u, v P Λ, então da desigualdade (4.27), existe uma
constante Cs ¡ 0 tal que
»
3iα t
}Ju Jv}X s
sup S t p t1qϕj pDxq u2p, t1q v2p, t1q dt1
T
PrT,T s
t 4 0 s
p4.27q 3α
¤ 4
Cs }u v }X s }u
T
v }X s T
T
62
¤ 3α
4
Cs }u v }X s }u}X s }u}X s T
T T T
¤ 3α
4
Cs 2M }u v }X s T
T
3α
2
Cs M }u v }X s T.
T
}Ju Jv}X ¤ 3α
2
Cs M T2 }u v }X qT }u v }X
T
s
T
T
s
T
s
T
,
2
lim
p
S t hqη0 S ptqη0 3iα 1
pS phq I q S pt t1qϕj pDxqη2p, t1qdt1
hÑ0 h 4 h 0
h»t
S phqS pt t1 qϕj pDx qη 2 p, t1 qdt1 iϕj pDx qη p, tq
3iα 1
4 h t
4 ϕj pDxqη p, tq
3iα 2
s
63
»t
lim
p q I S ptqη
S h 3iα S phq I
S pt t1 qϕj pDx qη 2 p, t1 qdt1
hÑ0
0
h 4 h 0
»t h
S phqS pt t1 qϕj pDx qη 2 p, t1 qdt1 iϕj pDx qη p, tq
3iα 1
4 h t
4 ϕj pDxqη p, tq
3iα 2
s »
S phq I 3iα t 1 1 1
hlim
Ñ0 h
S ptqη0
4 0
S pt t qϕj pDx qη p, t qdt
2
»
3iα 1 t h
S ph t t1 qϕj pDx qη 2 p, t1 qdt1 iϕj pDx qη p, tq
4 h t
4 ϕj pDxqη p, tq
3iα 2
s
S phq I
hlim
Ñ0 h
η p, tq iϕj pDx qη p, tq
»
3iα 1 t h 1 1 1
S ph t t qϕj pDx qη p, t qdt ϕj pDx qη p, tq .
2 3iα 2
4 h t 4 s
Nota-se, pela teoria de semigrupos, pela denição 2.2.4 e pelo teorema 2.2.5,
que
S phq I hÑ0
η p, tq ÝÑ A1 η p, tq iϕj pDx qη p, tq,
h
onde A1 é o gerador do grupo tS ptqutPR . Além disso, pelo teorema do valor
médio, tem-se que
»
3iα 1 t h
S h t t1 ϕj Dx η 2 , t1 dt1
p q p q p q ϕj pDx qη 2 p, tq
3iα
4 h 4
t s
»
3iα 1 t h
4 h S h t t1 ϕj Dx η 2 , t1
p q p q p q ϕj pDxqη p, tq dt1
2
t
»t h s
¤ 3α 1 S h t t1 ϕj Dx η 2 , t1
p q p q p q p q p q ϕj Dx η 2 , t s dt1
4 h t
3α h
¤ 4 h
p q p q p
S h θh h ϕj Dx η 2 , t θh h q p q p q
ϕj Dx η , t s ,
2
¤ 3α
4
S ph θh hqϕj pDx qη 2 p, t θh hq ϕj pDx qη 2 p, tqs
hÑ0 3α
ÝÑ 4
S p0qϕj pDx qη 2 p, tq ϕj pDx qη 2 p, tqs 0,
para s ¥ 0.
Agora será mostrado o item (ii) da denição 4.1.3, isto é, que o pro-
blema (4.23) tem no máximo uma solução no intervalo rT, T s. Para isso,
consideram-se ηi P C prTi , Ti s, H s q, para s ¥ 0, com seus respectivos dados
iniciais η0i , i 1, 2. Logo,
»t
ηi px, tq S ptq S pt t1 qϕj pDx qηi2 px, t1 qdt1 .
3iα
η0i
4 0
Assim, pela desigualdade (4.27), no intervalo rTr, Trs, onde Tr min tT1 , T2 u,
existe uma constante Cs ¡ 0 tal que
»
1 3α t
¤ η
0 η02 s Cs }η1 p, t1 q η2 p, t1 q}s }η1 p, t1 q η2 p, t1 q}s dt1
4
»0
3α t 1 1 1 2 1
¤ η01 η02s 4
Cs }η1 p, t q η2 p, t q}s 2M
η0 s η0 s dt ,
0
! )
onde M max }η1p, tq } η01 XsTr , }η2 p, tq }
η02 XsTr . Portanto,
1
}η1p, tq η2p, tq}s ¤ 0 η η02 s exp β dt1
0
η01 η02s exp pβ |t|q .
Em particular, se η01 η02 e ambas as soluções estão denidas em rT, T s, en-
tão η1 η2 . Portanto, a solução do problema (4.23) é única em C prT, T s, H s q,
para s ¥ 0.
Finalmente, para mostrar o item (iii) da denição 4.1.3, considera-se
pηn0 qnPN H s tal que ηn0 Ñ η0 em H s e η P C prT , T s, H s q é solução
com a condição inicial η0 , onde T ¡ 0. Seja ηn P C ppTn , Tn q , H s q a solu-
ção com condição inicial η0n e Tn min tTn , T u, n P N, onde Tn ¡ 0 é tal
que pTn , Tn q é o maior intervalo
simétrico onde a solução ηn está denida.
Então para t P Tn , Tn segue que da desigualdade (4.27) que existe
uma constate Cs ¡ 0 tal que
Dene-se
ψn ptq
» t
} η0n η}
0 s
C0 ηn , t1
} p q ηp, t1q}
s C1 }ηn p, t1 q η p, t1 q}s dt1 .
2
0
66
|ψn1 ptq| C0 }ηnp, tq ηp, tq}s C1 }ηn p, tq η p, tq}2s
¤C0ψnptq C1ψn2 ptq
1 t
| p q|
e ψn p0q }η0n η0 }s , logo C0 ψn
pq 2 t
C0 ψn t C1 ψn pq ¤ C0 . Integrando de zero a t
obtem-se:
»t
C0 ψn1 pτ q
dτ ¤ C0 |t|
0 C0 ψn pτ q C1 ψn2 pτ q
»t
C0 C1 ψn pτ q C02 ψn1 pτ q
dτ ¤ C0 |t|
0 C0 ψn pτ q pC0 C1 ψn pτ qq2
»t
C02 ψn1 pτ q
2 dτ ¤ C0 |t|
1
C0 ψn pτ q
0 C C ψ pτ q pC0 C 1 ψn pτ qq
0 n 1
C0 ψn ptq C0 ψn p0q
ln
C0 C1 ψn ptq
ln
C0 C1 ψn p0q
¤ C0 |t|
C0 C1 }η0n η0 }s 0 1 0 0 s
C |t|
} η0}s ¡ e ,
C0
1 0
C1 η0n
C0 C1 }η0n η0 }s
ln
C1 }η0n η0 }s
¡ C0 |t| ,
C0 C1 }η0n η0 }s
|t| C ln C }ηn η}
1
.
0 1 0 0 s
Assim, a desigualdade
(4.29)
0 C }η η } n
0
. 0 s
1 0 0
nÑ8
s
C2 p1 k 2 q C2 C2 k 2 ¤1 ak 2
¤1 b |k | ak 2 Apkq.
Logo C2 }f }1 ¤ |}f }|1 .
Agora, considera-se C1 tal que C1 ¡ max ta b, 1 bu, de tal forma que
b2 ¤ 4pC1 aqpC1 1q. Assim,
?
2
pois C1 a |k | 2?Cb1 a ¥ 0, @k P R e como b2 ¤ 4pC1 aqpC1 1q,
segue que 4pCb1 aq C1 1 ¥ 0. Logo, Apk q ¤ C1 p1 k 2 q e portanto,
2
C2 p1 k 2 q ¤ Apk q ¤ Apk q.
Além disso,
Apk q 1
b
hk coth hk ak 2
h
¥1 b
h
|hk| ak2
1 b |k | ak 2 .
? 2
Nota-se que C1 a |k | 2?Cb a
1
¥ 0, @k P R e como b2 ¤ 4pC1
aq pC1 1q, então 4pC aq C1 1 ¥ 0. Logo, C1p1
b2
1
k 2 q Apk q ¥ 0, isto
é, Apk q ¤ C1 p1 k 2 q e portanto, |}f }|1 ¤ C1 }f }1 .
Lema 4.3.2. Se η satisfaz o problema de Cauchy (4.30) no sentido das dis-
tribuições e η P C prT, T s, H s q com s ¡ 1, então para todo t P rT, T s
tem-se que
|}ηp, tq}|1 |}η0}|1 .
pηnqnPN C 1 prT, T s , H 8q ,
convergindo para a solução η P C 1 prT, T s , H s q. Dene-se
F : C 1 prT, T s , H s q Ñ C rT, T s , H s2
8
@ D
De maneira análoga, ηn , Bx pηn q2 0. Assim, calculando a parte real,
denotada por <, de xηn , F pηn qy, tem-se que
para t P I .
Demonstração: Seguindo a demonstração feita em [3], como η p, tq P H s ,
logo η p, tq é contínua e limitada. Considera-se R ¡ 0 de modo que
8 »
|ηpx, tq| ¤ ?1 |η̂pk, tq| dk
2π 8
»R »
1 |k | p1 |k|qs |η̂pk, tq| dk,
?1
|η̂pk, tq| dk ?1
2π R 1 |k | 2π |k|¥R p1 |k|qs
pela desigualdade de Cauchy-Schwarz, teorema 2.1.2, tem-se que
» R 1{2 » R 1{2
|ηpx, tq| ¤ ?1 1
p1 |k|q |η̂pk, tq|
2 2
R p1 |k|q2 dk dk
2π R
» 1{2 » 1{2
?1 1
p1 |k|q |η̂pk, tq|
2s 2
|k|¥R p1 |k|q2s dk dk .
2π |k|¥R
Nota-se que p1 k q2 ¥1 2k , logo
»R »R
1
2 1
R p 1 |k|q p1 k q2
2
dk dk
0
»R
¤ 2 1 1 2k dk
0
ln p1 2Rq
72
e
» »8
1
¤2 1
|k|¥R p1 |k|q2s dk R p1 2k qs
dk
1 1
s 1 p1 2Rqs1
,
pois s ¡ 1. Portanto,
a
|ηpx, tq| ¤ ?1 ln p1 2Rq }η p, tq}1 a
1
b
1
}ηp, tq}s .
2π 2π ps 1q p1 2Rqs1
Escolhe-se R 1
2
p1 }ηp, tq}sq2{ps1q 12 , assim,
}ηp, tq}8c
¤ ?1 s 2 1 ln p1 }ηp, tq}sq }ηp, tq}1 a
1
}ηp, tq}s }ηp, tq}s
1
2π 2π ps 1q 1
c
¤ ?1 2
s1
ln p1 }ηp, tq}sq }ηp, tq}1 a
1
2π 2π ps 1q
b
¤C 1 ln p1 }ηp, tq}sq }ηp, tq}1 ,
?
@t P I , onde C ¥ ?2πp2s1q ¡ ?2π1ps1q .
»8 »
1d 8
Lema 4.3.4. Se L H ou L T , então fx Lrf st dx fx Lrf sdx,
8 2 dt 8
desde que as integrais façam sentido.
Demonstração: Segundo [22] esse lema é válido para L T , nesse caso
será provado também para L H. Inicialmente, tem-se que
»8 »8
Lrf sgdx Lrg sf dx. (4.34)
8 8
73
»8
De fato, se L H, então Hrf spxq f py qdy , disso segue que
1 1
8 x y
π
»8 » »
1 8 8 1
Hrf sgdx f py qg pxqdydx
8 π 8 8 x y
» »8
1 8
π y 1 x gpxqf pyqdxdy
8 8»8
Hrg sf dx.
8
»8
π px y q
Se L T , então T rf spxq 1
coth f py qdy , logo
8
2h
2h
»8 » »
1 8 8 π px y q
T rf sgdx coth f py qg pxqdydx
8 2h 8 8
» »8
2h
1 8 π py xq
2h coth
1
g pxqf py qdxdy
»8
8 8 2h 2h
T rg sf dx.
8
Dessa forma, da igualdade (4.34) e pelo teorema 2.1.8 segue que
»8 »8
fx Lrf st dx Lrf sx ft dx
8 »8
8
ftx Lrf sdx
8
»8
fxt Lrf sdx.
8
Portanto,
» » »8
d 8 8
fx Lrf sdx fxt Lrf sdx fx Lrf st dx
dt 8 8 8
» 8
2 fx Lrf st dx.
8
Isto é, »8 »
1d 8
fx Lrf st dx fx Lrf sdx.
8 2 dt 8
74
onde }M f }s ¤b ? }f }s . Portanto,
1
2 a
» t
3 2
}ηp, tq}s ¤ }η0}s b
1
?
2 a
αη , τ
4 p q p q
η , τ dτ .
0 s
Desde que }η 2 p, tq}s ¤ 2Cs }ηp, tq}s }ηp, tq}8, segundo [17] tem-se que
» t
}ηp, tq}s ¤ }η0}s b
1
?
2 a
3
4
α2Cs }η p, τ q}s }η p, τ q}8 }ηp, τ q}s dτ
0
para todo t P rT, T s. Logo, }η p, tq}s ¤ Φptq. Derivando (4.35), pelo Teo-
rema Fundamental do Cálculo, se t ¥ 0, então
b
Φ1 ptq C0 2 ln p1 }ηp, tq}sq }ηp, tq}s
a
¤C0 2 ln p1 Φptqq Φptq
¤C0 r3 ln p1 Φptqqs pΦptq 1q ,
?
pois se x ¥ 0, então x ¤ x 1. Se t 0, então
b
Φ1 ptq C0 2 ln p1 }ηp, tq}sq }ηp, tq}s ,
logo,
|Φ1ptq| ¤ C0 r3 ln p1 Φptqqs pΦptq 1q ,
assim,
r3 ln p1
1
Φptqqs pΦptq 1q
|Φ1ptq| ¤ C0
donde
d
ln 3
dt p ln p1 Φptqqq
¤ C0 .
76
ln p3 ln p1 ln p1 }η0 }s qq ¤ C0 |t| ,
Φptqqq ln p3
p p qq
¤ eC0|t|,
3 ln 1 Φ t
Do lema 4.3.3
}ηp, tq}s ¤ » t
¤ }η0}s 2 pb 2?aq }ηp, t q}s }ηp, t q}8 dt
3αCs 1 1 1
»0t b
3αCs C
¤ }η0}s p
2 b 2 a 0
?q η , t1} p q}s 1 ln p1 }ηp, t1q} qs }ηp, t1q}1 dt1 .
Do lema 4.3.2 e como }}1 e |}}|1 são equivalentes, existe D ¡ 0 tal que
}ηp, tq}1 ¤ D }η0}1, logo
}ηp, tq}s ¤ »
b
3αCs C t
¤ }η0}s 2 pb 2?aq }ηp, t1q}s 1 ln p1 }ηp, t1q}sqD }η0}1 dt1 .
0
» t b
}ηp, tq}s ¤ }η0}s C0 1 ln p1 }ηp, t1q} s q }ηp, t1q}s dt1 .
0
Dene-se
» t b
Φptq }η0 }s C0 1 ln p1 }ηp, t1q} s q }ηp, t1q}s dt1 , (4.36)
0
para todo t P rT, T s. Logo, }η p, tq}s ¤ Φptq e Φp0q }η0 }s . Derivando
(4.36), pelo Teorema Fundamental do Cálculo, se t ¥ 0, então
b
Φ1 ptq C0 1 ln p1 }ηp, tq}sq }ηp, tq}s
a
¤C0 1 ln p1 Φptqq Φptq
¤C0 r2 ln p1 Φptqqs p1 Φptqq ,
?
pois se x ¥ 0, então x ¤ x 1. Se t 0 então
b
Φ1 ptq C0 1 ln p1 }ηp, tq}sq }ηp, tq}s ,
78
portanto,
b
|Φ1ptq| C0 1 ln p1
}ηp, tq}sq }ηp, tq}s
a
¤C0 1 ln p1 Φptqq Φptq
¤C0 r2 ln p1 Φptqqs p1 Φptqq .
Assim,
d
ln 2
dt p ln p1 Φptqqq
¤ C0 .
Integrando de zero a t, e se C1 ln p2 ln p1 }η0}sqq segue que
ln p2 ln p1 Φptqqq ln p2 ln p1 }η0 }s qq ¤ C0 |t| ,
p p qq
¤ eC |t|,
2 ln 1 Φ t 0
||
Φptq ¤ 1 Φptq ¤ eC e ,
C0 t
1
Como C0 e C1 não dependem de t P rT, T s, isto prova que }η p, tq}s é limi-
tado para todo intervalo da forma rT, T s, assim, pelo Princípio da Extensão
de [14], a solução pode ser estendida em R.
Pelo teorema anterior, a boa colocação global é garantida para s ¡ 1. No
entanto, é possível demonstrar que a boa colocação do problema de Cauchy
também vale para 0 ¤ s ¤ 1, com s 12 pela teoria de semigrupos, como
segue no próximo teorema.
tal que » 2
p1 |k|2qs |ηp0pkq|2 dk ¤ CT 2 ,
|k|¥N
com C 1
6αCs
,
este Cs é a constante da demonstração do teorema 4.2.4.
Nota-se que existe N ¡ 0 uma vez que p1 |k |2 qs{2 |ηp0 pk q| P L2 pRq. Além
disso, seja w0 η0 v0 , donde
»
N
w0 pxq ?1
eikx ηp0 pk qdk.
2π N
6αC
1 1
¥ 1 T
T.
s }v0 }s
τv
6αCs C
De fato,
R̄ min tR, Au, uma vez que }v p, tq}s é limitada no intervalo rT, T s e
R min tT, τη u.
Para mostrar a boa colocação global, será garantida uma limitação para
wp, tq na norma em H 1 para t P rT, T s. Observa-se que v p, tq P H s , para
s ¥ 0, logo v p, tq P L2 pRq e assim, }v p, tq}L2 é nita para t P rT, T s.
Como o problema (4.39) está denido em H s pRq para s ¥ 0, então está
denido em L2 pRq, dessa forma é possível utilizar a identidade de Parseval,
teorema 2.1.8 e ainda, do lema 4.3.4 tem-se
»8 »
1d 8
fx Lrf st dx fx Lrf sdx.
8 2 dt 8
2 α pw qxdx 2 α wpvwqxdx 0.
1 3 3
8 8
Isto é,
» »8 »8 »
1d 8 2 8
wx L rwst dx vwwx dx 0,
3
w dx a wx wxt dx b α
2 dt 8 8» 8 » 2 8
» »8
1d 8 2 ad 8 8
2 dt 8
w dx
2 dt 8
pwx q2 dx
b d
2 dt 8
wx L rws
3
α
2 8
vwwx dx 0.
Portanto,
» »8
1d 8
bwx L rws dx vwwx dx 0,
3
w2 awx2 α (4.41)
2 dt 8 2 8
w p,tq
@t P r R̄, R̄s. Como
wp, tq P H , @t P rR̄, R̄s, então
1
2
P H1 e 2
w p,tq w p,tq
2
2
x L
¤
2
2
2 e utilizando a desigualdade de Cauchy-Schwarz,
1
82
¤ C2
2
}vp, tq}L2 }wp, tq}21 , (4.42)
@t P rR̄, R̄s. Das equações (4.41), (4.42) e (4.43) conclui-se que existe uma
83
d
|}wp, tq}|
2
1
d
w px, tq
2
awx2 px, tq bwx px, tqL rwpx, tqs dx
dt dt 8
»8
3α vwwxpx, tqdx
8
¤ 3αK }vp, tq}L }wp, tq}21 ,
2
@t P rR̄, R̄s. Pelo lema 4.3.1 as normas }}1 e |}}|1 são equivalentes, então
existe uma constante K1 tal que
d
dt
|}wp, tq}|21 ¤ K1 }vp, tq}L |}wp, tq}|21 ,
2
85
86
z η(x, t)
ρ1 h1
ρ2 h2
φz (x, 0)
φ x (x, 0)
x , x P Πrπ, π s.
πx
L
Assim, x Lπ x, Φpx, z q φpx, z q e o problema descrito acima ca:
$
'
'
π 2
Φxx Φzz 0, h z 0, x P Πrπ, πs,
&
Φpπ, z q Φpπ, z q, h z 0,
L
'
' Φ
% z
p x, 0q Gpx q g px q, G P C 1,
Φz px, hq 0.
88
logo $
'
& Φ
p 2 k2 π 2 Φ
L
p 0, h z 0,
'
Φ 1
p 0 p q
p
G,
% p1
Φ h p q
0.
Para cada k tem-se um problema de valor de contorno, cuja equação
característica é dada por r2 kLπ2 0 com raízes r1 kπ e r2 kπ
2 2
L L
.
Portanto, a solução geral da EDO tem a forma:
p q c1 exp
p k, z
Φ
kπ
L
z c2 exp z , k
kπ
L
1, 2, . . . (5.2)
p 1 pk, z q c1 kπ exp kπ z
Φ c2 kπ exp z ,
kπ
L L L L
logo,
p 1 pk, 0q pc1 c2 q
Φ
kπ
Gppkq (5.3)
L
p 1 k,
Φ p hq c1 kπ exp kπh c2 kπ exp
kπh
0 (5.4)
L L L L
Da expressão (5.4), segue que c1 c2 exp 2kπh e substituindo na expres-
kπ L
são (5.3), tem-se que c2 exp L 1 L G
2kπh ppk q.
Se k 0, tem-se
c2 kπ
L
exp
1
2kπh
1 Gpkq
p
L
e
L exp 2kπh
c1 kπ exp 2kπh
L
1
ppk q.
G
L
89
Portanto,
p pk, z q L exp 2kπh exp kπz L exp kπz ppk q.
L L L
Φ
kπ exp 2kπhL
1 kπ exp 2kπh
L
1
G
Multiplicando e dividindo por exp kπh
L
, tem-se a seguinte expressão para
p pk, z q:
Φ
kπh kπz
exp kπh kπz Gpk q.
exp L p
L L L L
exp kπh
L
exp kπh
L
exp L exp L
kπh kπh kπ
θ eθ
Utilizando as funções hiperbólicas senh θ e 2e e cosh θ e
θ θ
2
segue
que
cosh kπphL zq L
p pk, z q
Φ ppk q.
G
senh kπh
L
kπ
Por outro lado, representando a Série de Fourier da função Φpx, z q por:
8̧
Φpx, z q p pk, z qeikx
Φ c
k 8
k 0
L cosh
φpx, z q ppk q exp
L ikπx
g c
k8
kπ senh kπhL
L
k 0
L cosh
φx px, z q ppk q exp
L ikπx ikπ
kπh
g
k8
kπ senh L
L L
k 0
8̧ cosh kπphL zq
i senh kπh
gppk q exp
ikπx
L
. (5.6)
k 8 L
k 0
A derivação termo a termo pode ser feita porque a série dada por (5.6)
é uniformemente convergente @px, z q P rL, Ls rh, 0s. De fato: como
coshpxq é crescente para x ¡ 0 e decrescente para x 0 segue que:
cosh kπ h z
p q ¤ cosh kπh
L
kπh
senh L
senh
L
kπh
coth kπh
L
¤ M,
L
Trpx; h, Lq i
kπh ikπx
coth exp , (5.8)
k 8 L L
k 0
É possível escrever o núcleo (5.8) usando funções elípticas segundo [1]. Para
isso, dene-se tais funções conforme [2, 8].
Dene-se, inicialmente, o parâmetro m tal que m sen2 α k2 , onde k
é o módulo e α é o ângulo modular. Nota-se que esse k não é o mesmo que
o k de frequência da equação (5.8).
Segundo [2] as funções Elípticas de Jacobi são dadas por:
x sen φ sn ν,
cos φ cn ν,
a
1 m sen2 φ dn ν, o delta amplitude
φ arcsenpsn ν q am ν, a amplitude
cot φ cs ν,
cn ν
sn ν
As Integrais Elípticas do Primeiro Tipo são dadas por:
»φ
F pφzmq ?
1
dθ
0
»x
1 m sen 2θ
tsen θ
a
1
dt
0 p1 t2qp1 mt2q
92
»ν
t sn w
dw
0
ν,
onde, se t sn w, então dt cn w dn wdw, isto é, dw ?1t ?dt1mt .
2 2 Já as
Integrais Elípticas do Segundo Tipo são dadas por:
»φ
? ? »x
E pφzmq 1 ?1 mt2 dt.
θdθ
2
t sen θ
m sen2
0 0 1t
Para as Integrais Elípticas completas, basta considerar φ π2 , isto é, x 1,
assim:
π » π
K pmq K F zm 1
?
2
dθ,
2 0 1 m sen2 θ
» π
K 1 pmq K p1 mq
2 1
a dθ,
0 1 p1 mq sen2 θ
π » π
?
E pmq E zm 1 m sen2 θdθ.
2
2 0
E pmqF pφzmq
Zpφzmq E pφzmq
K pmq
.
Segundo [8], essas funções podem ser escritas por q -séries que são séries
1
que dependem de q denido por q exp πK . Nesse caso, determina-se
K 1 pmq
K
1
o parâmetro m de tal forma que K pmq L e q exp πK
h
K
exp πhL ,
assim tem-se que:
8̧
qn
Zpφq
2π nπφ
(5.9)
K n1 1 q 2n
sen ,
K
8̧ q n
1 nπh n
tanh 1 nπh
2 L
tanh 2 L
1 2q qn 1. (5.13)
8̧
Trpx; h, Lq i
kπh ikπx
coth exp
k 8 L L
k 0
8̧
8̧
i coth
kπh
L
exp
ikπx
L
i coth
kπh
L
exp
ikπx
L
k 1 k 1
8̧
8̧
i coth
kπh
L
exp
ikπx
L
i coth
kπh
L
exp
ikπx
L
k 1 k 1
8̧
i coth
kπh
L
exp
ikπx
L
exp
ikπx
L
k 1
8̧
i coth
kπh
L
2i sen
kπx
L
k 1
8̧
2 coth
kπh
L
sen
kπx
L
k 1
8̧
p5.11q
2 tanh kπh
2L
cossech kπh
L
sen
kπx
L
k 1
94
8̧
8̧
p5.12qep5.13q qk
4
qk
sen
kπx
2 sen
kπx
1
k 1
L
k 1
L
k8̧
8̧ kπ pKx{Lq kπ pKx{Lq
p5.14q qk
2K
π
2π
K k1 1 q 2k
sen
K
2K π
π 2K
cot
2K
8̧
qk kπ pKx{Lq
2π
K k 1 1 q k
sen
K
p5.9qep5.10q 2K
π Z L Kx
dn
Kx
L
cs
Kx
L
.
p
Tr x; h, L q i
2L k8
coth
kπh
L
exp
ikπx
L
, (5.16)
k 0
95
no sentido das distribuições. Ainda no caso periódico, esse núcleo pode ser
calculado utilizando funções especiais:
Trpx; h, Lq
1 2K Kx Kx Kx
Z dn cs , (5.17)
2L π L L L
onde
8̧ qm mπa
Z paq
2π
(5.18)
K m1 1 q 2m
sen
K
πa 2π 8̧ qm mπa
dnpaq cspaq
π
cot sen
2K 2K K m1 1 q m K
com q exp πh L
.
A Figura 5.3 mostra a diferença entre o núcleo periódico dado por (5.17)
e o núcleo do caso não periódico dado por (5.15) no intervalo de rπ, π s.
Observa-se, pelo gráco abaixo que Tr dada em (5.17) zera para L π ,
diferente da função cotangente hiperbólica.
Núcleo do Operador T
8
-2
-4
-6
-8
-4 -3 -2 -1 0 1 2 3 4
N=150
10
N=300
-5
-10
-15
-4 -3 -2 -1 0 1 2 3 4
Figura 5.4: Núcleo do operador no caso periódico dado pela Série de Fourier
truncada para malhas encaixadas.
N=150
0
N=300
-2
-4
-6
-8
-10
-12
-14
-16
0 0.5 1 1.5 2 2.5 3 3.5
Figura 5.5: Núcleo do operador no caso periódico dado pela Série de Fourier
truncada para malha encaixadas, detalhe da gura anterior.
-5
N=70
N=140
-10 N=210
-15
N=280
N=350
-20 N=420
-25
N=490
-30
-35
-40
-45
-50
0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 0.16 0.18 0.2
Figura 5.6: Núcleo do operador no caso periódico dado pela Série de Fourier
truncada para malha encaixadas.
Para N na base 2:
0
-5
N=64
N=128
-10 N=256
-15
N=512
N=1024
-20 N=2048
-25
-30
-35
-40
-45
-50
0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 0.16 0.18 0.2
Figura 5.7: Núcleo do operador no caso periódico dado pela Série de Fourier
truncada para malha encaixadas.
p
Tr x; h, L qi coth
kπh
L
exp
ikπx
L
, (5.19)
k 8
k 0
Trpx; h, Lq
1 2K Kx Kx Kx
Z dn cs , (5.20)
2L π L L L
onde a série deve ser interpretada no sentido das distribuições, foram utili-
zadas duas abordagens. Na primeira, foi implementada a Regra do Trapézio
Alternada (RTA), utilizando a expressão (5.20), isto é, o cálculo foi realizado
no domínio físico. E a segunda abordagem, a espectral, baseou-se na imple-
mentação da Transfomada rápida de Fourier (FFT) e sua inversa a partir
do símbolo i coth kπhL
que aparece em (5.19). Na sequência os resultados
foram comparados utilizando a função gaussiana como argumento.
Tabém foi feita a implementação do operador da Transformada de Hil-
bert, H, seguindo ambas abordagens, onde o núcleo 2L-periódico é dado por
T pxq cot 2Lπx
.
Na implementação foi feita a comparação entre os dois métodos descritos
com o núcleo periódico Tr do operador da Transformada de Hilbert na faixa,
T , e também com o núcleo T do operador da Transformada de Hilbert, H.
Analisou-se esses operadores convoluidos com diferentes funções. A primeira
escolhida foi upxq ex {2 , como mostram as Figuras 5.8, 5.9, 5.10 e 5.11.
2
0.4
0.2
-0.2
-0.4
-0.6
-4 -3 -2 -1 0 1 2 3 4
35
cot
fft operador normal por RTA
30
25
20
15
10
0
-80 -60 -40 -20 0 20 40 60 80
0.4
0.2
-0.2
-0.4
-0.6
-0.8
-4 -3 -2 -1 0 1 2 3 4
40
coth
fft operador especial por RTA
35
30
25
20
15
10
0
-80 -60 -40 -20 0 20 40 60 80
0.2
-0.2
-0.4
-0.6
-0.8
-4 -3 -2 -1 0 1 2 3 4
35
cot
fft operador normal por RTA
30
25
20
15
10
0
-80 -60 -40 -20 0 20 40 60 80
-0.5
-1
-4 -3 -2 -1 0 1 2 3 4
40
coth
fft operador especial por RTA
35
30
25
20
15
10
0
-80 -60 -40 -20 0 20 40 60 80
-1
-2
-3
-4
-5
-6
-4 -3 -2 -1 0 1 2 3 4
250
cot
fft operador normal por RTA
200
150
100
50
0
-80 -60 -40 -20 0 20 40 60 80
-2
-4
-6
-8
-4 -3 -2 -1 0 1 2 3 4
350
coth
fft operador especial por RTA
300
250
200
150
100
50
0
-80 -60 -40 -20 0 20 40 60 80
Por m, foi feita a implementação com a gaussiana como argumento dada
por upxq 8xe4x .
2
108
-0.5
-1
-1.5
-2
-2.5
-3
-3.5
-4 -3 -2 -1 0 1 2 3 4
70
cot
fft operador normal por RTA
60
50
40
30
20
10
0
-80 -60 -40 -20 0 20 40 60 80
-0.5
-1
-1.5
-2
-2.5
-3
-3.5
-4 -3 -2 -1 0 1 2 3 4
70
coth
fft operador especial por RTA
60
50
40
30
20
10
0
-80 -60 -40 -20 0 20 40 60 80
111
112
para k 0, . . . , N e j 0, . . . , m.
A construção do método numérico utilizado para resolver a equação di-
ferencial parcial (EDP) consiste em discretizar o espaço e manter a variável
tempo contínua, assim, o resultado é um sistema de equações diferenciais
ordinárias (EDO) cuja solução foi encontrada a partir de dois métodos: le-
apfrog com o primeiro passo do método das diferenças nitas progressiva e
Runge-Kutta de quarta ordem. Este método é chamado de método das li-
nhas. Na discretização espacial, foi utilizado o método das diferenças nitas
dos cinco pontos para a derivada de primeira ordem e para a derivada de
segunda ordem foi utilizado o método espectral assim como para o termo
envolvendo o operador não local, L.
u1 ∆x
1 2 2 1 3 3 1 p4q 4
upx0 ∆xq u u ∆x u ∆x u ∆x Op∆x5 q,
2! 3! 4!
(6.2)
2u1 ∆x
4 2 8 3 3 16 p4q 4
upx0 2∆xq u u px0 q∆x2 u ∆x u ∆x Op∆x5 q,
2! 3! 4!
(6.3)
upx0 ∆xq u u1 ∆x
1 2 2 1 3 1 p4q
u ∆x u p2∆xq3 u p2∆xq4 Op∆x5 q,
2! 3! 4!
(6.4)
12 du
dx
px0q∆x Op∆x5q,
assim,
Portanto,
du
px0 q
upx0 2∆xq 8upx0 ∆xq 8upx0 ∆xq upx0 2∆xq
dx 12∆x
Op∆x4 q.
Bu px , t q 1 1 uj 2 j
2 j 1 j
Bx k j ∆x 12 k 3 k 1 12 k2
2 u u u .
3 k 1
des (6.2), (6.3), (6.4) e (6.5), acrescentando os termos 5!1 up5q ∆x5 Op∆x6 q,
u ∆x5 Op∆x6 q, 5!1 up5q ∆x5 Op∆x6 q e 32
32 p5q
5! 5!
up5q ∆x5 Op∆x6 q, respec-
tivamente. Assim:
d2 u
dx2
px0q
upx0 2∆xq 16upx0 ∆xq 30upx0 q 16upx0 ∆xq upx0 2∆xq
12∆x2
Op∆x4 q.
B2u px , t q 1 1 uj 4 j
5 j
uk1 ujk2 .
4 j 1
Bx2 k j ∆x2 12 k 2 u
3 k 1 u
2 k 3 12
ψ̂ P̂ û, (6.7)
Neste trabalho será feita uma comparação entre dois métodos para a discre-
tização temporal, são eles: o método de leapfrog e o método de Runge-Kutta
de quarta ordem. Esses métodos são completamente distintos uma vez que o
método de leapfrog usa diferenças nitas avaliando a função em dois passos
da malha para obter maior precisão. Enquanto que o método Runge-Kutta é
um método que inicialmente utiliza um polinômio de Taylor, no entanto, um
problema na expansão por polinômio de Taylor é que ele requer expressões
analíticas para derivadas o que pode ser bastante complicado. Dessa forma,
buscam-se métodos de uma etapa que atinjam uma ordem de maior precisão
sem precisar calcular as derivadas presentes no polinômio de Taylor, isto leva
aos métodos de Runge-Kutta.
116
Método de leapfrog
Segundo [24], o método de leapfrog aproxima ut , a derivada de primeira ordem
no tempo por diferenças nitas centradas:
Método de Runge-Kutta
De acordo com [4], o método de Runge-Kutta consiste em comparar um po-
linômio de Taylor apropriado para eliminar o cálculo das derivadas, fazendo-
se várias avaliações da função a cada passo. O método de Runge-Kutta pode
ser entendido como um aperfeiçoamento do método de Euler. No método
de Euler a estimativa do valor de yk 1 é realizado com o valor de yk e com
a derivada no ponto xk . No método de Runge-Kutta, busca-se uma melhor
estimativa da derivada com a avaliação da função em mais pontos no inter-
valo rxk , xk 1 s. Um método de Runge-Kutta de ordem n possui um erro da
ordem de Op∆tn 1 q.
Depois da discretização espacial, considera-se o sistema de EDO's
Bu px , tq f px , t, upx , tqq ,
Bt k k k
onde
(6.10)
K2 ∆tf xk , tj , u pxk , tj q
∆t K1
, (6.11)
2 2
K3 ∆tf xk , tj ∆t
2
, u pxk , tj q
K2
2
, (6.12)
p1 bLrBxs aBxxq ut u
3 2
4
αu . (6.14)
x
Fazendo inicialmente a discretização espacial, do lado direito da equação
(6.14) aparece a matriz P dada pela equação (6.7) e do lado esquerdo da
equação (6.14) aparece a matriz D dada pela equação (6.6). Assim, considera-
se B P 1 D, da equação (6.14) segue que
ut B u
3 2
4
αu , (6.15)
vkj 1 vkj 1 p jq p jq 2
2∆t
B v 4 αpv q3
,
k
isto é,
vkj 1
vkj 1 2∆t B vpjq 3 αpvpjqq2 . (6.16)
4 k
vk1 vk0 p 0q p 0q 2
∆t
B v 4 αpv q
3
,
k
assim para o primeiro passo do método considera-se:
vkj 1
vkj 1
6
p K1 2K2 2K3 K4 qk ,
onde
K1 ∆tB v j
3
4
αpv j q2 ,
2
K2 ∆tB vj
K2
2
3
4
α vj
K1
2
,
2
K3 ∆tB vj
K2
2
3
4
α vj
K2
2
,
2
K4 ∆tB v j
K3
3
4
α vj K3 .
Dados: N , L, a, b, α
∆x 2L
x L ∆x : ∆x : L
N
ut ux auxxt 0,
isto é, α 0 e b 0. A condição de estabilidade irá fornecer o valor de ∆t
para garantir a estabilidade do método.
Depois, será feita a implementação da solução para a equação da onda
unidirecional (ut ux 0), da BBM adaptada linear e do tipo Benjamin
no caso linear a partir do método descrito na seção anterior. A solução
aproximada será comparada com a solução exata (com expressão dada na
Tabela 3.2).
Também será feita a implementação do método como descrito na seção
anterior para a família de equações de Benjamin no caso não linear. Nesse
caso, não tem solução exata, mas será possível analisar a diferença do método
de linhas quando utilizado o método leapfrog e quando utilizado o método
de Runge Kutta de quarta ordem.
ut P 1Du,
124
¸1
N
λk p D q dm 1 rcos pmθk q i sen pmθk qs
m 0
∆x
1 2
3
rcos pθk q i sen pθk q cos ppN 1qθk q i sen ppN 1qθk qs
1 1
∆x 12
rcos p2θk q i sen p2θk q cos ppN 2qθk q i sen ppN 2qθk qs ,
como θk 2πk , cosseno é uma função par e seno uma função ímpar, segue
que cos pppN 1qθk q cos ppθk q e sen pppN 1qθk q sen ppθk q, para todo
N
N2 1 ¤ k ¤ N2 .
Agora na discretização temporal considera-se a malha tn n∆t, onde
0 t0 t1 . . . T . Segundo [26], o método de linhas é estável se
os autovalores do sistema semidiscretizado linear, escalado por ∆t, estão na
região de estabilidade R do método usado na discretização temporal, isto é,
λk pB q∆t P R.
Segunto [25, 26], para garantir a estabilidade, inicialmente, denota-se por
unm a solução no passo do tempo n que se aproxima de upxm , n∆tq e poste-
riormente, substitui-se unm por g n eimθ no método, onde m e n são potências,
obtendo assim, a equação característica do método. A condição para esta-
bilidade é que ambas as raízes desta equação devem estar no disco unitário
fechado.
No método de leapfrog considera-se o passo n 1 dado pelo método como:
unm 1
umn1 2∆t pBunqm ,
substituindo unm por g n eimθ , segue que
g2 2∆tλm pB qg 1 0
∆t γ pθq
g2 2i θ
g 1 0
∆x v ∆x
126
c
pq γ pθ q
p q 4 ∆x vp q
2
∆t γ θ ∆t 2
2i ∆x v θ 2 θ 2 4
∆x ∆x
g
2 d
∆t γ pθq ∆t2 γ pθq2
g pθ, ∆xq i 1 , (6.17)
θ
∆x v ∆x ∆x2 v θ 2
∆x
considera-se ∆x
∆t
σ constante.
Disso segue que
E se g g, então
ûn pk q Apk qg n pθ, ∆xq B pk qng n1 pθ, ∆xq, (6.18)
g g g
∆t γ pθq
i ∆x v θ
∆x
i v|γ pθq| vγ pθθq
θ
∆x
∆x
i,
o sinal é o oposto do sinal da γ pθq. Mas na equação (6.18) tem-se que para
um θ e k xo
ûn pk q Apk qpiqn B pk qnpiqn1
e quando os valores de B não são nulos, ûn cresce quase linearmente em n. Já
que ûn para θ e k xos se comportam assim, existem soluções para o esquema
das diferenças nitas cuja norma cresce quase linearmente em n. Portanto,
nesse caso o método leapfrog é instável.
127
pq v p q
CASO 02: Se 1
p q ¡ 0, então ∆x γ pθq e de (6.17) segue
2 θ
∆t2 γ 2 θ ∆t 2 ∆x
∆x2 v 2 θ 2 2
∆x
que
2
γ pθ q
2
∆t γ pθq
2 2
|g|2 ∆x
∆t
2 2
v
θ
1 1.
∆x2 v 2 θ
∆x ∆x
p q , logo
v θ
Portanto, |g | 1 se σ ∆t
∆x
∆x
γ pθ q
θ
inf v
|θ|¤π,∆x¡0
σ sup pγ pθqq
∆x
31{2 23 .
|θ|¤π
Reciprocamente, se σ 32 , então ∆x
∆t
49 . Como v
2
2
θ
∆x
¥ 1 e |γ pθq| ¤ 32 ,
então 0 ¤ v|2γ pθθq|
p q ¤ 4 , assim
2
9
∆x
∆t2 |γ pθq|2
θ
∆x2 v 2 ∆x
94 94 ,
∆t2 |γ pθq|2
1 θ
¡ 0.
∆x2 v 2 ∆x
Disso segue, que o método é estável se, e somente
se, σ 32 .
CASO 03: Se 1 ∆x γ pθq
v p q
q 0, então ∆x ¡ γpθq . Da equação (6.17)
θ
∆x
2 2
v p ∆x
∆t ∆t
2 2 θ
segue que d
∆t γ pθq ∆t2 γ 2 pθq
g i θ
θ
1 ,
∆x v ∆x ∆x2 v 2 ∆x
e então,
d d
|g|
γ pq
θ
∆t
∆t2 γ 2 pθq
1¡1 ∆t2 γ 2 pθq
1 ¡ 1.
v ∆x ∆x
θ θ
∆x2 v 2 ∆x θ
∆x2 v 2 ∆x
2 3
∆t4 4
g 1 ∆tλmpB q ∆t2 λ2mpB q ∆t6 λ3m pB q
24 m
λ pB q
θ θ θ
θ
∆x v ∆x2 2 v 2 ∆x3 6 v 3 ∆x ∆x4 24 v 4 ∆x
∆x ∆x
1 2 γ 2 pθ q 1 4 γ 4 pθq γ pθ q 1 3 γ 3 pθq
1 σ
2 v 2 ∆x θ
σ
24 v 4 ∆x θ
i σ v θ
σ
6 v 3 ∆x θ
.
∆x
Se y σ v pθ q , então g 1 y2 y
γ θ 2 y4 y3
, assim,
p q
∆x
24
i 6
2
2
y2 y4 y3 y 6 py 2 8q
|g |
2
1
2 24
y 6
1 576
.
p q
2
θ
? ?
somente se, |y | ¤ 2 2. Isto é, |g | ¤ 1 se, e somente se, σ v γ pθq ¤ 2 2. Mas,
p q θ
γ pθq
¤ |θ|¤π
3 γ pθ q ?
vp q
θ θ
2
. Logo, σ
vp q
¤ σ 3 ¤ 2 2, assim,
2 θ
∆x
inf v ∆x
? |θ|¤π,∆x¡0 ∆x
σ ¤ 4 2
3
.
Conclui-se, então
? que o método Runge-Kutta de quarta ordem é estável
apenas se σ ¤ 3 .
4 2
• N 28 256;
• L 100;
• a 51 0, 2;
•
?
b a 0, 4472;
• h 10L 1000;
Solução Exata
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Solução Inicial
1
RK4
0.9
leapfrog
0.8 Exata
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
RK4
1
leapfrog
Exata
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
RK4
1
leapfrog
Exata
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
RK4
1
leapfrog
Exata
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
RK4
1
leapfrog
Extata
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
RK4
leapfrog
0.8
Exata
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Tabela 6.1: Erro absoluto obtido em cada tempo das soluções da Equação
Unidirecional.
Na Tabela 6.1 nota-se o erro absoluto obtido pela diferença entre o método
Runge-Kutta de quarta ordem e a solução exata, além do erro absoluto obtido
pela diferença entre o método leapfrog e a solução exata em alguns instantes
de tempo. Conclui-se assim que a solução dada pelo método Runge-Kutta de
quarta ordem é melhor quando comparado com a solução dada pelo método
leapfrog para a equação unidirecional.
Solução Exata
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.13: Solução da Equação BBM linear dada pelo método leapfrog .
137
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.14: Solução da Equação BBM linear dada pelo método Runge-Kutta
de quarta ordem.
Solução Inicial
1
Exata
0.9
leapfrog
0.8 RK4
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
1
leapfrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.17: Solução da Equação BBM linear no tempo t 28∆t 13, 1250.
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.18: Solução da Equação BBM linear no tempo t 73∆t 34, 2188.
140
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Tabela 6.2: Erro absoluto obtido em cada tempo das soluções da Equação
BBM linear.
Solução Exata
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.21: Solução Exata da Equação do tipo Benjamin Linear com ope-
rador da Transformada de Hilbert.
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Solução Inicial
1
Exata
0.9
leapfrog
0.8 RK4
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
1
leapfrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
0.8
leapfrog
RK4
0.6
0.4
0.2
-0.2
-0.4
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
0.6
leapfrog
RK4
0.4
0.2
-0.2
-0.4
-0.6
-100 -80 -60 -40 -20 0 20 40 60 80 100
Tabela 6.3: Erro absoluto obtido em cada tempo das soluções da Equação
do tipo Benjamin Linear com operador da Transformada de Hilbert.
Na Tabela 6.3, assim como nos casos anteriores, tem-se que o erro absoluto
obtido pela diferença entre o método Runge-Kutta de quarta ordem e a
solução exata, além do erro absoluto obtido pela diferença entre o método
leapfrog e a solução exata os mesmos instantes de tempo. Observa-se que
mesmo com o operador H na equação, ainda assim, a solução dado pelo
método Runge-Kutta de quarta ordem é melhor quando comparada com a
solução dada pelo método leapfrog , mesmo que o erro em quase todos os
tempos que um pouco maior comparado com os outros casos.
Solução Exata
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.30: Solução Exata da Equação do tipo Benjamin Linear com ope-
rador da Transformada de Hilbert na faixa.
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Solução Inicial
1
Exata
0.9
leapfrog
0.8 RK4
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
1
leapfrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
0.8
leapfrog
RK4
0.6
0.4
0.2
-0.2
-0.4
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
0.6
leapfrog
RK4
0.4
0.2
-0.2
-0.4
-0.6
-100 -80 -60 -40 -20 0 20 40 60 80 100
Tabela 6.4: Erro absoluto obtido em cada tempo das soluções da Equação
do tipo Benjamin Linear com operador da Transformada de Hilbert na faixa.
A Tabela 6.4 mostra o erro absoluto obtido pela diferença entre o método
Runge-Kutta de quarta ordem e a solução exata, além do erro absoluto obtido
pela diferença entre o método leapfrog e a solução exata os mesmos instantes
de tempo. Observa-se que mesmo com o operador T na equação, ainda assim,
a solução dado pelo método Runge-Kutta de quarta ordem é melhor quando
comparada com a solução dada pelo método leapfrog . Nota-se que o erro
obtido com o operador T é o mesmo que com o operador H, dessa forma,
não há diferença na solução quando comparado o operador para os dados
utilizados na implementação.
Na família de equações de Benjamin no caso linear é possível observar que
o método Runge-Kutta de quarta ordem fornece uma solução mais próxima
da solução exata quando comparada com a solução dada pelo método de
leapfrog . Por conta disso, na próxima seção, na implementação da família
de equações de Benjamin no caso não linear, espera-se que o método Runge-
Kutta de quarta ordem forneça uma solução melhor quando comparada com
a solução dada pelo método de leapfrog .
• N 28 256;
• L 100;
• a 51 0, 2;
154
• b
?a 0, 4472;
• α a 0, 2;
• h 10L 1000;
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.39: Solução da Equação BBM adaptada dada pelo método leapfrog .
155
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.40: Solução da Equação BBM adaptada dada pelo método Runge-
Kutta de ordem quatro.
Solução Inicial
1
leapfrog
0.9
RK4
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
leapfrog
0.9
RK4
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
leapfrog
0.9
RK4
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-0.4
-100 -80 -60 -40 -20 0 20 40 60 80 100
Exata
leapfrog
0.8
RK4
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
leapfrog
0.6
RK4
0.4
0.2
-0.2
-0.4
-0.6
-100 -80 -60 -40 -20 0 20 40 60 80 100
Tabela 6.5: Diferença absoluta obtida em cada tempo das soluções da Equa-
ção BBM adaptada.
Solução da Equação tipo Benjamin não Linear com o operador da Transformada de Hilbert pelo método lepafrog
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.47: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert dada pelo método leapfrog
.
161
Solução da Equação tipo Benjamin não Linear com o operador da Transformada de Hilbert pelo método RK4
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.48: Solução da Equação do tipo Benjamin não Linear com opera-
dor da Transformada de Hilbert dada pelo método Runge-Kutta de quarta
ordem.
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert
1
lepafrog
RK4
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.49: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 0, solução inicial.
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert no tempo t=0+10*dt
1
lepafrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.50: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 10∆t 4, 688.
163
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert no tempo t=0+28*dt
1
lepafrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.51: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 28∆t 13, 1250.
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert no tempo t=0+73*dt
1
lepafrog
RK4
0.5
-0.5
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.52: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 73∆t 34, 2188.
164
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert no tempo t=0+163*dt
0.8
lepafrog
RK4
0.6
0.4
0.2
-0.2
-0.4
-0.6
-0.8
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.53: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 163∆t 76, 4063.
Erro da Solução Inicial da Equação tipo Benjamin não Linear com operador da Transformada de Hilbert no tempo t=0+253*dt
0.6
lepafrog
RK4
0.4
0.2
-0.2
-0.4
-0.6
-0.8
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.54: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert no tempo t 253∆t 118, 5938.
165
Tabela 6.6: Diferença absoluta obtida em cada tempo das soluções da Equa-
ção do tipo Benjamin não Linear com operador da Transformada de Hilbert.
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.55: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa dada pelo método leapfrog .
167
100
80
1
60
0
u
40
-1
20 t
-100 -80 -60 -40 -20 0 20 40 0
60 80 100
Figura 6.56: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa dada pelo método Runge-Kutta de
quarta ordem.
Solução Inicial
1
leapfrog
0.9
RK4
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.57: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 0, solução inicial.
leapfrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.58: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 10∆t 4, 688.
169
leapfrog
RK4
0.8
0.6
0.4
0.2
-0.2
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.59: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 28∆t 13, 1250.
leapfrog
RK4
0.5
-0.5
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.60: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 73∆t 34, 2188.
170
0.4
0.2
-0.2
-0.4
-0.6
-0.8
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.61: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 163∆t 76, 4063.
leapfrog
0.4
RK4
0.2
-0.2
-0.4
-0.6
-0.8
-100 -80 -60 -40 -20 0 20 40 60 80 100
Figura 6.62: Solução da Equação do tipo Benjamin não Linear com operador
da Transformada de Hilbert na faixa no tempo t 253∆t 118, 5938.
171
Tabela 6.7: Diferença absoluta obtida em cada tempo das soluções da Equa-
ção do tipo Benjamin não Linear com operador da Transformada de Hilbert
na faixa.
173
174
$
& ηP C prA, As, H ρq
wt awxxt bL rwsxt wx 32 αwwx 32 αpvwqx 0 em H ρ (A.1)
wpx, 0q w0 pxq P H ρ ,
%
177
178
! )
Agora, considera-se M 2 max }w0}ρ , }v}X s
A
e
J: Λ Ñ Λ
u Þ Ñ Ju : rA, As Ñ H ρ ,
denida por
»t
Jupx, tq S ptqw0 pxq S pt t1 qϕj pDx q u2 px, t1 q 2pvuqpx, t1 q dt1 .
3iα
4 0
(A.3)
Disso segue que J satisfaz as seguintes condições:
Condição 1: Existe B1 ¡ 0 tal que para todo A B1 o operador
J : Λ Ñ Λ está bem denido, isto é, que J pΛq Λ.
Condição 2: Existe B2 ¡ 0 tal que para todo A B2 o operador
J : Λ Ñ Λ é uma contração.
De fato, para mostrar a condição 1, nota-se que se u P Λ, então
»
3iα t
}Jup, tq}ρ ¤ }S ptqw0}ρ
4 S t p t1qϕj pDxqu2p, t1qdt1
0 ρ
»
3iα t
2 S t p t1qϕj pDxqpvuqp q 1 1
, t dt
0 ρ
»
3iα t
¤ }S ptqw0}ρ
4 S t p t1qϕj pDxqu2p, t1qdt1
0 ρ
»
3iα t
2 S t p t1qϕj pDxqpvuqp q 1 1
, t dt ,
0 s 1
¤ }w0}ρ 3α
4
Cs }u}2X ρ A
A
3α
2
C̄s }v }X s }u}X ρ A
A A
¤ M2 3α Cs M 2 A
3α M
C̄s M A
4
2 2
2 1 2 Ks M A ,
M 3α
179
t P rA, As,
Além disso, Ju é contínua, pois se t, r
f p, tq ϕj pDx q u2 p, tq 2puv qp, tq
»t
e T f p, tq S ptqw0 pxq 3iα
4
S pt t1 qf p, t1 qdt1 , então
0
T f p, tq T f ,r
t
»t
S ptqw0 S pt t1 qf p, t1 qdt1
3iα
S r
t w0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 0
»t
S ptq S pt t1 q S pr
t t1 q f p, t1 qdt1
3iα
S r
t w0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 t
»t
S ptq S pt r t t1 qf p, t1 qdt1
tq I S pr
3iα
S r
t w0
4 0
» tr
3iα t t1 qf p, t1 qdt1
S pr
4 t
»t
3iα
S ptq S r
t w0 S pt r
tq I t t1 qf p, t1 qdt1
S pr
4 0
» tr
3iα t t1 qf p, t1 qdt1 .
S pr
4 t
}Ju Jν }X ρ
A »t
3iα
sup S pt t1qϕj pDxq u2 2vu ν 2vν p, t1 qdt1
2
tPrA,As 4 0 ρ
»
3iα t
sup S pt t1qϕj pDxqpu ν qp, t1qpu ν 2v qp, t1 qdt1
tPrA,As 4 0 ρ
»
3α t
¤ sup S } pt t1qϕj pDxqpu ν qp qp 1 1 1
qp q}
, t u ν , t ρ dt
tPrA,As 4 0
»
3α t
sup S } pt t1qϕj pDxqpu ν qp qp qp q}
1 1 1
, t 2v , t s 1 dt
tPrA,As 4 0
3α
¤ 4
Cs }u ν }X ρ }u ν }X ρ 2C̄s }u ν }X ρ }v }X s A
A A A A
¤ 3α
4
Cs }u ν }X ρ }u}X ρ }ν }X ρ
A A A
2C̄s }u ν }X ρ }v }X s A
A A
¤ 3α
4
Cs 2M }u ν }X ρ 2C̄s }u ν }X ρ A
A
M
2 A
¤ 3α
4
M 2Cs C̄s A }u ν }X ρ .
A
}Ju Jν }X ¤ 3α
4
p2Cs
ρ
A
C̄s qM
A
B2
B2 }u ν }X ρ
A
qA }u ν }X ρ
A
,
ρ
S t
lim
p hqw0 S ptqw0
hÑ0 h
»t
h
S phqS pt t1 qϕj pDx qpw2 2vwqp, t1 qdt1
3iα 1
4 h 0
»
1 3iα t
h 4 S pt t1qϕj pDxqpw2 2vwqp, t1qdt1 iϕj pDxqwp, tq
0
4 ϕj pDxqpw 2vwqp, tq
3iα 2
ρ
S t
lim
p hqw0 S ptqw0
hÑ0 h
»t
3iα 1
4 h 0
pS phq I q S pt t1qϕj pDxqpw2 2vwqp, t1qdt1
»
3iα 1 t h
S phqS pt t1 qϕj pDx qpw2 2vwqp, t1 qdt1 iϕj pDx qwp, tq
4 h t
4 ϕj pDxqpw 2vwqp, tq
3iα 2
ρ
»t
S h
lim
p q I S ptqw 3iα S phq I
S pt t1 qϕj pDx qpw2 2vwqp, t1 qdt1
hÑ0
0
h 4 h 0
»t h
S phqS pt t1 qϕj pDx qpw2 2vwqp, t1 qdt1 iϕj pDx qwp, tq
3iα 1
4 h t
4 ϕj pDxqpw 2vwqp, tq
3iα 2
ρ
182
lim
p q I S ptqw
S h 3iα
»t
S pt t1 qϕj pDx qpw2 2vwqp, t1 qdt1
hÑ0
0
h 4 0
»t h
S ph t t1 qϕj pDx qpw2 2vwqp, t1 qdt1 iϕj pDx qwp, tq
3iα 1
4 h t
3iα
4
ϕj pDx qpw2 2vwqp q
, t
ρ
lim
p q I wp, tq
S h
iϕj pDx qwp, tq
hÑ0 h
»t h
S ph t t1 qϕj pDx qpw2 2vwqp, t1 qdt1
3iα 1
4 h t
3iα
4
ϕj pDx qpw2 2vwqp q
, t .
ρ
Nota-se, pela teoria de semigrupos, pela denição 2.2.4 e pelo teorema 2.2.5,
que
S phq I hÑ0
wp, tq ÝÑ A1 wp, tq iϕj pDx qwp, tq,
h
onde A1 é o gerador do grupo tS ptqutPR . Além disso, pelo teorema do valor
médio, tem-se que
»
3iα 1 t h
4 h S h t p t1qϕj pDxqpw2 2vwqp, t1 qdt1
3iα
4
ϕj pDx qη 2 p, tq
t ρ
»
3iα 1 t h
4 h S h p t t1 qϕj pDx qpw2 2vwqp, t1 q
t
ϕj pDxqpw2 2vwqp, tq dt1 ρ
»
3α 1 t h
¤ S ph t t1 qϕj pDx qpw2 2vwqp, t1 q ϕj pDx qη 2 p, tqρ dt1
4 h t
3α h
¤ 4 h
S ph θh hqϕj pDx qpw2 2vwqp, t θh hq
ϕj pDxqpw 2
2vwqp q
, t ρ ,
183
hÑ0 3α
ÝÑ 4
S p0qϕj pDx qpw2 2vwqp, tq ϕj pDx qpw2 2vwqp, tqρ 0,
Agora será mostrado o item (ii) da denição 4.1.3, isto é, que o pro-
blema (A.1) tem no máximo uma solução no intervalo rA, As. Para isso,
consideram-se wi P C prAi , Ai s, H ρ q, com seus respectivos dados iniciais w0i ,
i 1, 2. Logo,
»t
wi px, tq S ptq S pt t1 qϕj pDx qpwi2 2vwi qpx, t1 qdt1 .
3iα
w0i
4 0
! )
max
onde M }w1p, tq w01}X , }w2p, tq w02}X
r
A r
A . Portanto,
ρ ρ
1
}w1p, tq w2p, tq}ρ ¤ 0 w w02 ρ exp β dt1
1 0
w0 w0 s exp pβ |t|q .
2
Dene-se
|ψn1 ptq| C0 }wnp, tq wp, tq}ρ C1 }wn p, tq w p, tq}2ρ
¤C0ψnptq C1ψn2 ptq
1 t
| p q|
e ψn p0q }w0n w0 }ρ . Portanto, C0 ψn
pq 2 t
C0 ψn t C1 ψn pq ¤ C0 . Integrando de zero a
t obtem-se:
»t
C0 ψn1 pτ q
dτ ¤ C0 |t|
0 C0 ψn pτ q C1 ψn2 pτ q
»t
C0 C1 ψn pτ q C02 ψn1 pτ q
dτ ¤ C0 |t|
0 C0 ψn pτ q pC0 C1 ψn pτ qq2
»t
C02 ψn1 pτ q
2 dτ ¤ C0 |t|
1
C0 ψn pτ q
0 C C ψ pτ q pC0 C 1 ψn pτ qq
0 n 1
C0 ψn ptq C0 ψn p0q
ln
C0 C1 ψn ptq
ln C0 C1 ψn p0q
¤ C0 |t|
C0 ψn ptq C0 C1 }w0n w0 }ρ
ln
C0 C1 ψn ptq C0 }w0n w0 }ρ
¤ C0 |t|
C0 C1 }w0n w0 }ρ
ψn ptq
pC0 ¤ eC |t|
C1 ψn ptqq }w0n w0 }ρ
0
C1 }w0n w0 }ρ eC |t| C0 }w0n w0 }ρ
ψn ptq 1 ¤ eC |t|
0
C0 C1 }w0n w0 }ρ 1 eC0 |t| C0 }w0n w0 }ρ eC0 |t|
ψn ptq ¤
C0 C1 }w0n w0 }ρ C0 C1 }w0n w0 }ρ
.
C |t|
} w0}ρ ¡ e ,
C0
1 0
C1 w0n
C0 C1 }w0n w0 }ρ
ln
C1 }w0n w0 }ρ
¡ C0 | t | ,
C0 C1 }w0n w0 }ρ
|t| C ln C }wn w}
1
.
0 1 0 0 ρ
Assim, a desigualdade
(A.4)
C }w w }
ρ
0 n
1 0 0
nÑ8
ρ
L=pi;
h=pi/2;
N=128;
x=-pi+2*pi/N:2*pi/N:pi;
q=h/L;
188
189
%NUCLEO DEFINIDO EM R -
%este foi plotado separadamente para diferentes valores de N
TR=-1/(2*h)*coth(pi/(2*h)*x);
m = 0.001:0.001:1-0.001;
K = ellipke(m);
K_linha = ellipke(1-m);
K_linha_sobre_K = K_linha./K;
M = interp1(K_linha_sobre_K,m,h_sobre_L);
function y=comparacao(op)
h=pi/3;
L=pi;
N=128;
deltax=2*L/N;
x=-L+deltax:deltax:L;
f=exp(-x.^2/2);
op_trapezio=operadorT2(h,L,N,deltax,x,f,op);
op_fourier=fourier(h,L,N,op);
plot(x,op_trapezio,'k-','DisplayName',
190
function y=operadorT2(h,L,N,deltax,x,f,op)
for j=1:N
aux2=0;
for k=1:N
aux1=0;
if rem(j+k,2)~=0
if j-k>0
aux1=-2*deltax*f(k)*nuc(j-k);
aux2 = aux2 + aux1;
else
aux1=2*deltax*f(k)*nuc(k-j);
aux2 = aux2 + aux1;
end
end
191
operadorT2(j,1)=aux2;
end
end
y=operadorT2;
function y=nucleo(x,delta,L,N,op)
switch lower(op)
case 'normal'
y=1/(2*L)*cot((pi*x)/(2*L));
case 'especial'
q=delta/L;
parametro_m = calculo_parametro(delta/L);
K=ellipke(parametro_m);
for k=N/2:-1:1
Z(k,:)=(2*pi*q^k)/(K*(1-q^(2*k)))*sin(k*pi*x/L);
end
zeta=sum(Z);
[sn,cn,dn]=ellipj(K*x/L,parametro_m);
dncs=cn.*dn./sn;
y=K/(L*pi)*(zeta+dncs);
end
192
function y=fourier(h,L,N,deltax,x,f,op)
%fft da função f
fftf=fft(f);
%fft do nucleo
aux = [1:N/2 -N/2 + 1:-1];
aux = pi*aux/L; % 2L period
switch lower(op)
case 'normal'
fftnucleo=i*sign(aux);
case 'especial'
fftnucleo=i*coth(h*aux);
end
fftnucleo=[0 fftnucleo];
%transformada inversa
resultado=ifft(fftresultado);
y=real(resultado);
function y=benjamin_hilbert_leapfrog(N,L)
% Solução equação de Benjamin na faixa usando
% matriz de diferenciação de 5 pontos e espectral
% Derivação temporal pelo método leapfrog
% u_t + u_x -3/2*alfa*u*u_x -bL(u)_xt-a*u_xxt = 0
x=-L+deltax:deltax:L;
x=x';
t = 0;
dt = 0.6*deltax; %deve ser menor que dt/dx=2/3
D = dif(N);
D = (1/deltax)*D;
D2 = dif2_hilbert(L,N,a,b);
B=D2\D;
%solução inicial
u=exp(-(x.^2)/50);
uold=u;
u = uold - dt*B*(uold-0.75*alfa*uold.^2);
%passo 1 do leap-frog
%passo n do leap-frog
uold = u;
u = unew;
end
data(i+1,:) = [u']; tdata = [tdata; t];
end
y=data;
function y=benjamin_hilbert_rk4_plot(N,L)
% Solução equação de Benjamin na faixa usando
% matriz de diferenciação de 5 pontos e espectral
% Derivação temporal pelo método Runge-Kutta
% u_t + u_x -3/2*alfa*u*u_x -bL(u)_xt-a*u_xxt = 0
alfa=a;
deltax=2*L/N;
x=-L+deltax:deltax:L;
x=x';
t = 0;
dt = 1.8*deltax; %deve ser menor que dt/dx=4\sqrt{2}/3
D=dif(N);
D=(1/deltax)*D;
D2=dif2_hilbert(L,N,a,b);
B =-D2\D;
%solução inicial
u=exp(-(x.^2)/50);
function y=benjamin_hilbert_faixa_leapfrog(N,L)
% Solução equação de Benjamin na faixa usando
% matriz de diferenciação de 5 pontos e espectral
% Derivação temporal pelo método leapfrog
% u_t + u_x -3/2*alfa*u*u_x -bL(u)_xt-a*u_xxt = 0
%solução inicial
u=exp(-(x.^2)/50);
uold=u;
u = uold - dt*B*(uold-0.75*alfa*uold.^2);
%passo 1 do leap-frog
u = unew;
end
data(i+1,:) = [u']; tdata = [tdata; t];
end
y=data;
function y=benjamin_hilbert_faixa_rk4(N,L)
% Solução equação de Benjamin na faixa usando
% matriz de diferenciação de 5 pontos e espectral
% Derivação temporal pelo método Runge-Kutta
% u_t + u_x -3/2*alfa*u*u_x -bL(u)_xt-a*u_xxt = 0
%solução inicial
u=exp(-(x.^2)/50);
function D = dif(N)
% dif compute D = differentiation matrix
%finite difference differentiation 5 pontos
if N==4
E=[0 2/3 0 -2/3];
F=[0;-2/3;0;2/3];
else
E=[0 2/3 -1/12 0*(1:N-5) 1/12 -2/3];
F=-E';
end
D=toeplitz(F,E);
function D2 = dif2_hilbert(L,N,a,b)
% dif compute D2 = differentiation matrix
%finite difference differentiation fft
w = exp(-2*pi*i/N);
198
for j = 1:N
for k = 1:N
F(j,k) = w^((j-1)*(k-1));
end
end
aux = [0:N/2 -N/2 + 1:-1];
aux = pi*aux/L; % 2l period
v = (ones(1,N) + b*abs(aux)+a*aux.^2);
diagonal_v = diag(v);
D2 = real(conj(F)*diagonal_v*F/N);
function D2 = dif2_hilbert_faixa(L,N,a,b,h)
% dif compute D2 = differentiation matrix
%finite difference differentiation fft
w = exp(-2*pi*i/N);
for j = 1:N
for k = 1:N
F(j,k) = w^((j-1)*(k-1));
end
end
aux = [1:N/2 -N/2 + 1:-1];
aux = pi*aux/L; % 2l period
v = (ones(1,N-1) + b*aux.*coth(h*aux.*L/pi)+a*aux.^2);
v=[1 v];
diagonal_v = diag(v);
D2 = real(conj(F)*diagonal_v*F/N);
Referências
[7] J. L. Bona and N. Tzvetkov. Sharp well-posedness results for the bbm
equation. Discrete and Continuous Dynamical Systems, 23(4):1241
1252, 2009.
199
200