Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cusco - Perú
2017
UNIVERSIDAD NACIONAL DE SAN
ANTONIO ABAD DEL CUSCO
UNIDAD DE POSGRADO DE LA FACULTAD DE CIENCIAS
MAESTRÍA EN CIENCIAS MENCIÓN: MATEMÁTICAS
Autor:
Br. MARCO ANTONIO RAMOS ALVA
Asesor:
Mgt. GINO GUSTAVO MAQUI HUAMÁN
Coasesor:
Dr. EPIFANIO PUMA HUANEC
Cusco - Perú
2017
Jurado
Dr. ...
Presidente
Dr. ...
Secretario
M.Sc. ...
Vocal
Dedicatoria
En primer lugar, quiero agradecer a Dios, por todas las alegrı́as y oportunidades
maravillosas para ser feliz.
Mis agradecimientos con todo cariño y amor para mi familia, mis papás,...
A mis amigos, que siempre me apoyaron e incentivaron en todo este tiempo y
por su paciencia en mis malos ratos.
A todas las personas, que de alguna forma contribuyeron a la conclusión de esta
investigación.
Presentación
ECUACIONES ....
El Autor
Índice general
Resumen IX
Abstract X
INTRODUCCIÓN XI
I. NOCIONES PRELIMINARES 1
1.1. ESPACIOS DE MEDIDA . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1. MEDIDA DE LEBESGUE . . . . . . . . . . . . . . . . . . . . 7
1.1.2. APLICACIONES MEDIBLES . . . . . . . . . . . . . . . . . . 10
1.1.3. INTEGRACIÓN EN ESPACIOS DE MEDIDA . . . . . . . . 11
Conclusiones 24
Sugerencias 24
Bibliografia 26
Resumen
donde u es la velocidad del flujo, h es la altura del fluido, L es la longitud del canal,
S0 es la pendiente del lecho del canal, Sf es la pendiente de la fricción.
En el primer capı́tulo, introducimos las definiciones y conceptos básicos de fluido,
ÍNDICE GENERAL xii
NOCIONES PRELIMINARES
1. f 0 (x) = x;
1 1 1 1
2. f t+s (x) = 2t 2s
x = 2t
( x) = 2t
z = f t (z) = f t ( 21s x) = f t (f s (x)) = (f t ◦ f s )(x)
2s
|{z}
z
ECUACIONES:
ẋ = v x(0) = x0
2
. Condición inicial:
v̇ = −ω x v(0) = v0
SOLUCIÓN:
De la primera ecuación:
ẋ = v ⇔ ẋ˙ = v̇ = −ω 2 x ⇔ x00 + ω 2 x = 0..........................(3)
Ecuación caracterı́stica: λ2 + ω 2 = 0 ⇔ λ = ±ωi
La solución de (3) es:
Ejemplo 1.2
x(t) = C1 cos(ωt) + C2 sen(ωt)
Usando la condición inicial para ”x”: x(0) = x0
C1 cos(0) + C2 sen(0) = x0 ⇔ C1 = x0
Luego: x(t) = x0 cos(ωt) + C2 ωsen(ωt)
Además: v = ẋ = −x0 ωsen(ωt) + C2 ωcos(ωt)
Usando la segunda condición inicial: v(0) = v0
v0
⇔ −x0 ωsen(0) + C2 ωcos(0) = v0 ⇔ C2 = ω
,ω 6= 0.
Por
lo tanto la soluciónv0es:
x(t) = x0 cos(ωt) + ω sen(ωt)
.
v(t) = −x0 ωsen(ωt) + v0 cos(ωt)
i) Φ ∈ B;
ii) Si A ∈ B implica Ac ∈ B
ii) Si A ∈ B y B ∈ B implica A ∪ B ∈ B
1.1 ESPACIOS DE MEDIDA 3
2. (A \ B) ∈ B pues A \ B = A ∩ B c , ∀A, B ∈ B
3. Por asociatividad:
Sn
i=1 Ai ∈ B, ∀Ai ∈ B, ∀i = 1; n.
Tn
i=1 Ai ∈ B, ∀Ai ∈ B, ∀i = 1; n.
∞
[
Aj ∈ B, ∀j = 1, 2, ..., n, ... ⇒ Aj ∈ B.
j=1
Definición 1.5 (Espacio medible) Un espacio medible es una dupla (X, B)donde
Xes un conjunto y B es una σ-álgebra de subconjuntos de X. Los elementos de B
son llamados conjuntos medibles del espacio (X, B).
Definición 1.6 (Menor sigma álgebra) La σ-álgebra generada por una fami-
lia E de subconjuntos de X es la menor σ-álgebra σ(E) que contiene la familia E, o
sea, es la intersección de todas las σ- álgebras que contienen E.
i) µ(Φ) = 0.
∞
[ ∞
X
ii) µ( Aj ) = µ(Aj ), para cualquier Aj ∈ B disjuntos dos a dos.
j=1 j=1
Definición 1.9 (Medida sigma finita) Decimos que una medida es σ-finita,
si existe una suceción de subconjuntos A1 , A2 , ..., An , ... de X, tal que µ(Ai ) <
∞, ∀i ∈ N, y
∞
[
X= Ai
i=1
N
[ N
X
µ( Aj ) = µ(Aj )
i=1 j=1
lı́m µ(Ai ) = 0
n→∞
1.1 ESPACIOS DE MEDIDA 6
T∞
para toda sucesión A1 ⊃ A2 ⊃ . . . Aj ⊃ . . . de elementos de A con j=1 Aj = Φ.
Ejemplo 1.5 Claramente, las familias {Φ, X} y 2X son clases monótonas. Además,
T
si {Ci : i ∈ I} es una familia cualquiera de clases monótonas, entonces i∈I Ci es
una clase monótona. Por lo tanto, dado un subconjunto A de 2X podemos siempre
considerar la menor clase monótona que contiene A.
Definición 1.13 (Medida con signo) Llamaremos medida con signo en un es-
pacio medible (X, B) a toda función σ-aditiva µ : B → [−∞, +∞] tal que µ(Φ) = 0.
1.1 ESPACIOS DE MEDIDA 7
µ(E) ≥ 0, ∀E ⊂ P y µ(E) ≤ 0, ∀E ⊂ N
Esto quiere decir que podemos escribir µ = µ+ − µ− donde µ+ y µ− son las medi-
das(positivas) definidas por:
Para todo B en esa álgebra. La σ-álgebra generada por A coincide con la σ-álgebra
de Borel de X. La medida de Lebesgue en X = [0, 1]d es una extensión de m0 a esa
σ-álgebra.
Para definir la medida de Lebesgue en todo el espacio euclidiano Rd , descomponemos
ese espacio en cubos de lado unitario
[ [
Rd = ··· [k1 , k1 + 1) × . . . × [kd , kd + 1).
k1 ∈Z kd ∈Z
Cada cubo [k1 , k1 + 1) × . . . × [kd , kd + 1) puede ser identificado con [0, 1)d por medio
de la traslación Tk1 ,...kd (x) = x − (k1 , . . . , kd ) que envı́a el punto (k1 , k2 , . . . , kd ) al
origen.Esto nos permite definir una medida mk1 ,k2 ,...kd en C, dada por
X X
m(B) = ... mk1 ,k2 ,...kd (B ∩ [k1 , k1 + 1) × . . . × [kd , kd + 1))
k1 ∈Z kd ∈Z
m∗ (A) = m∗ (A ∩ E) + m∗ (A ∩ E c ), ∀A ⊂ Rd
Ejemplo 1.7 Sea φ : [0, 1] → R una función continua de medida positiva. Dado
cualquier intervalo I con extremos 0 ≤ a < b ≤ 1, defina
Zb
µφ (I) = φ(x)dx (Integral de Riemann)
a
k
X
µφ (A) = µφ (Ij )
j=1
Pk
Definición 1.15 (Función simple) Decimos que una función s = j=1 αj XAj
es simple si existen constantes 1, . . . k y conjuntos medibles A1 , . . . , Ak ∈ B disjuntos
dos a dos tales que:
k
X
s= αj XAj
j=1
Proposición 1.3 Sea f : X → [−∞, +∞] una función medible. Entonces existe
una sucesión (sn )n de funciones simples tal que |sn (x)| ≤ |f (x)| para todo n y
lı́m sn = f (x), ∀x ∈ X
n
INTEGRAL DE LEBESGUE
Pk
Definición 1.16 Sea s = j=1 αj XAj una función simple. Entonces la integral
de ”s” en relación a la medida µ es dada por:
Z k
X
sdµ = αj µ(Aj )
j=1
siempre que al menos una de las integrales del lado derecho sea finita(valen las
convenciones usuales (+∞) − a = +∞ y a − (+∞) = −∞, ∀a ∈ R)
R R
En particular, | f dµ |≤ | f | dµ si | f |∈ L1 . Además, | f |∈ L1 (µ) si, y
solamente si, f ∈ L1 (µ).
Definición 1.20 Decimos que una propiedad es válida en µ-casi todo punto si
es válido en todo X excepto, posiblemente, en un conjunto de medida nula.
TEOREMAS DE CONVERGENCIA
MEDIDAS INVARIANTES Y
RECURRENCIA
Para este capı́tulo hemos utilizado básicamente las referencias [1] y [24], para
lecturas complementarias se puede ver [13] y [22].
2.1 Propiedades de Medidas Invariantes 16
Demostración:
Dado que la demostración tiene condición necesaria y suficiente procederemos a la
demostración de la conción necesaria.
R R
⇒) Si f preserva µ entonces (Φ)dµ = (Φ ◦ f )dµ.
Por hipótesis se tiene que µ es invariante. Vamos a demostrar que la relación (1,3)
es válida para funciones más amplias. En efecto, dado que f preserva µ, se tiene,
µ(f −1 (B)) =
R R
χf −1 (B) dµ = χB ◦ f dµ. .................................(β)
R R
De α y β, y dado que µ es invariante, se tiene: χB dµ = χB ◦ f dµ
Este resultado muestra que (1,3) es válida para la función caracterı́stica.
Veremos el ejemplo para el caso de funciones simples.
ii)Para el caso de funciones simples:
Pk
Recordemos que una función s : X → R es simple si, y solo si s = i=1 αi χAi , αi ∈
R, i = 1..k, Ai Conjuntos medibles; es la combinación lineal de funciones caracterı́sti-
cas.
R R
Comprobaremos que para φ = s y por la linealidad en integrales: sdµ = s ◦ f dµ.
En efecto, para s = ki=1 αi χAi , se tiene:
P
2.1 Propiedades de Medidas Invariantes 17
R R Pk R
sdµ = i=1 α i χ A i
dµ = (α1 χA1 + α2 χA2 + ... + αk χAk )dµ
R R R
= α1 χA1 dµ + α2 χA2 dµ + ... + αk χAk dµ ..............................(1)
R
Por un resultado anterior, para la función caracterı́stica: χB dµ = µ(B)
Aplicando este resultado en (1), se tiene:
R
sdµ = α1 µ(A1 ) + α2 µ(A2 ) + ... + αk µ(Ak )
Pero, dado que µ es invariante, es decir: µ(Ai ) = µ(f −1 (Ai )); ∀i = 1, k; Ai : M edibles
Luego:
sdµ = µ(f −1 (A1 )) + α2 µ(f −1 (A2 )) + ... + αk µ(f −1 (Ak ))
R
Z Z
∴ sdµ = s ◦ f dµ
Esto muestra que la tesis es válida para toda función integrable siempre que µ
sea invariante.
R R
⇒) Si (Φ)dµ = (Φ ◦ f )dµ entonces f preserva µ .
R R
Por hipótesis se tiene que: φdµ = (φ ◦ f )dµ .....................................(1)
Sea B ∈ B, entonces para φ = χB función µintegrable, entonces χB ∈ (M, B, µ)y
R
µ(B) = χB dµ (caso (i)).......................................................................(2)
Además, recordemos la propiedad: χB ◦ f = χf −1 (B) .............................(3)
Luego:
χf −1 (B) dµ = µ(f −1 (B))
R R R
µ(B) |{z}
= = (χB ◦ f )dµ |{z}
χB dµ |{z} =
(2) (1) (3)
Y por tanto, f preserva µ.
mensurable con µ(E) > 0. Entonces, para µ-casi todo punto x ∈ E existen infinitos
de valores de n para los cuales f n (x) también está en E.
TEOREMA DE KAC̆
Sea f : M → M una transformación medible y sea µ una medida finita invariante
por f . Sea E ⊂ M cualquier conjunto medible con µ(E) > 0. Considere una función
tiempo de primer retorno ρE : E → N ∪ {∞} definida de la siguiente manera:
Z
ρE dµ = µ(M ) − µ(E0∗ )
E
ESQUEMA DE DIFERENCIAS
FINITAS
jusante). Sin embargo, esto no implica que no ocurra el flujo contrario en otras
estructuras.
Capı́tulo V
ESQUEMA DE DIFERENCIAS
FINITAS DE ABBOTT -
IONESCU
1. El
2. Las
3. El esquema
Sugerencias
Para una futura investigación que consistirı́a en encontrar las soluciones de las
ecuaciones de Saint – Venant bidimensionales con término fuente o también conoci-
das como ecuaciones de aguas poco profundas, mediante el uso de volúmenes finitos
sugiero seguir las referencias [12] y [26].
Bibliografı́a
[5] BASTIN, G.; CORON, J-M.; D’ANDRÉA-NOVEL, B.: “On Lyapunov stabi-
lity of linearised SAINT-VENANT equations for a sloping channel”, American
Institute of Mathematical Sciences, vol. 4, n. 2, 2009, p. 177-187.
[6] CHALFEN, M.; NIEMIEC, A.: “Analytical and numerical solution of Saint -
Venant equations”, Journal of Hydrology, vol. 86, Amsterdam, 1986, p. 1-13.
[10] COURANT, R.; FRIEDRICHS, K.O.; LEWY, H.: “Über die partiellen diffe-
renzengleichungen der mathematischen physik”, Math. Ann., v. 100, 1928, p.
32-74.
[11] DE OLIVEIRA, G.: “Marés fluviais: Resultados de uma solução analı́tica adi-
mensional”, Dissertação de Mestrado, Universidade Federal de Santa Catarina,
Brasil, 2003.
[13] KUNDU, K. P.: “Fluid Mechanics”, Academic Press, Inc., San Diego, 1990, 638
p.
[15] KUTIJA, V.; HEWETT, C.: “Modelling of supercritical flow conditions”, Jour-
nal of hidraulic research,Vol. 40, 2002, No 2.
[17] LITRICO, X.; FROMION, V.: “Frequency modeling of open channel flow”,
Journal of Hydraulics Engineering, vol. 130, n. 8, 2004, p. 806-815.
[18] OSMAN, A.: “Open channel hydraulics”, ELsevier. Canada, 2006, 377 p.
[19] PROTTER, M.: “Basic elements of real analysis”, Springer - Verlag. USA, 1998,
273 p.
[20] RUBIO, O. E.: “Método de diferencias finitas para EDP”, XIX Coloquio de la
Sociedad Matemática Peruana, Trujillo, 2001.
Bibliografia 28
[21] SAINT VENANT, B.: “Théorie du mouvement non-permanent des eaux avec
app-plication aux crues des rivières at à l’introdution des marées dans leur lit”.
Acad. Scy. Comptes Rendus Paris, vol. 73, p. 147-154, 1871.
[22] SAMANO, D.; SEN, M.; MOYA, S: “Mecánica de fluidos”, Notas de aula.
México, 1975, 198 p.
[25] STRIKWERDA, J. C.: “Finite difference schemes and partial differential equa-
tions”, SIAM. Philadelphia, 2004, 435 p.
[27] WEBBER, B. N.: “Mecánica de fluidos para ingenieros”, Ediciones Urmo, Bil-
bao, España, 1969.
Br. ....
Autor
Dr. ...
Asesor