math-expert

name	math-expert
description	Ecuaciones diferenciales ordinarias, analisis complejo basico, algebra lineal avanzada, topologia basica. Nivel avanzado con enfoque en rigor matematico y aplicaciones.
tags	["stem","math","experto"]

Matematicas Expertas

Referencias de autoridad

• Libro: Elementary Differential Equations and Boundary Value Problems de William E. Boyce y Richard C. DiPrima, 11ª edicion (Editorial: Wiley), ISBN: 978-1-119-26007-4
• Libro: Linear Algebra Done Right de Sheldon Axler, 4ª edicion (Editorial: Springer), ISBN: 978-3-319-11079-0
• Libro: Principles of Mathematical Analysis de Walter Rudin, 3ª edicion (Editorial: McGraw-Hill), ISBN: 978-0-07-054235-8
• Libro: Complex Analysis de Lars Ahlfors, 3ª edicion (Editorial: McGraw-Hill), ISBN: 978-0-07-000657-7
• Libro: Fourier Analysis: An Introduction de Elias M. Stein y Rami Shakarchi (Editorial: Princeton University Press), ISBN: 978-0-691-11386-0

Contenido clave

Ecuaciones diferenciales ordinarias (EDOs)

EDO separable

• Forma: dy/dx = g(x) · h(y).
• Metodo: separar variables: dy/h(y) = g(x) dx, luego integrar ambos lados.
• ∫(1/h(y)) dy = ∫g(x) dx.
• Ejemplo: dy/dx = 2x · y. Separando: dy/y = 2x dx. Integrando: ln|y| = x² + C. Solucion: y = C · eˣ².
• Condicion de existencia y unicidad (Teorema de Picard-Lindelof): si f(x, y) y ∂f/∂y son continuas en una region que contiene (x₀, y₀), existe una unica solucion que pasa por (x₀, y₀).

EDO lineal de primer orden

• Forma estandar: dy/dx + P(x) · y = Q(x).
• Factor integrante: μ(x) = e^(∫P(x) dx).
• Multiplicar toda la ecuacion por μ(x): μ(x) · dy/dx + μ(x) · P(x) · y = μ(x) · Q(x).
• El lado izquierdo se convierte en d/dx[μ(x) · y].
• Solucion: y = (1/μ(x)) · ∫μ(x) · Q(x) dx + C/μ(x).
• Ejemplo: dy/dx + 2y = 4x. Factor integrante: μ(x) = e^(2x).
  • d/dx[e^(2x) · y] = 4x · e^(2x).
  • e^(2x) · y = ∫4x · e^(2x) dx = (2x − 1) · e^(2x) + C.
  • y = 2x − 1 + C · e^(-2x).

EDO lineal de orden superior con coeficientes constantes

• Forma: aₙ · y⁽ⁿ⁾ + aₙ₋₁ · y⁽ⁿ⁻¹⁾ + ... + a₁ · y' + a₀ · y = g(x).
• EDO homogénea (g(x) = 0): se resuelve con la ecuacion caracteristica.
• Ecuacion caracteristica: aₙ · rⁿ + aₙ₋₁ · rⁿ⁻¹ + ... + a₁ · r + a₀ = 0.
• Raices reales distintas: y = c₁ · e^(r₁x) + c₂ · e^(r₂x) + ...
• Raiz real repetida k veces: y = (c₁ + c₂ · x + ... + cₖ · xᵏ⁻¹) · e^(rx).
• Raices complejas conjugadas α ± βi: y = e^(αx) · (c₁ · cos(βx) + c₂ · sin(βx)).
• Teorema de superposicion: la solucion general de una EDO lineal es y = yₕ + yₚ, donde yₕ es la solucion de la homogénea y yₚ es una solucion particular.

Metodo de coeficientes indeterminados

• Aplicable cuando g(x) es polinomio, exponencial, seno, coseno o combinaciones.
• Se propone una solucion particular con coeficientes desconocidos y se sustituyen en la EDO.
• Regla de modificacion: si un termino de la propuesta particular ya aparece en yₕ, multiplicar por x (o x² si aparece dos veces).
• Ejemplo: y'' − 3y' + 2y = 3e^(4x). yₕ = c₁ · eˣ + c₂ · e^(2x).
  • Proponer yₚ = A · e^(4x). Sustituir: 16A − 12A + 2A = 3 → 6A = 3 → A = 1/2.
  • yₚ = (1/2) · e^(4x).

Metodo de variacion de parametros

• Para EDOs lineales: y'' + p(x) · y' + q(x) · y = g(x).
• Si y₁ y y₂ son soluciones linealmente independientes de la homogénea, se busca yₚ = u₁(x) · y₁ + u₂(x) · y₂.
• Wronskiano: W(y₁, y₂) = y₁ · y₂' − y₁' · y₂.
• u₁' = −y₂ · g(x) / W, u₂' = y₁ · g(x) / W.
• u₁ = ∫(−y₂ · g(x) / W) dx, u₂ = ∫(y₁ · g(x) / W) dx.
• Condicion: W(y₁, y₂) ≠ 0 (las soluciones son linealmente independientes).

Analisis complejo basico

Funciones holomorfas

• Una funcion f: U → C es holomorfa en z₀ si la derivada f'(z₀) = lim(h→0) [f(z₀ + h) − f(z₀)] / h existe, donde h ∈ C.
• Condiciones de Cauchy-Riemann: si f(z) = u(x, y) + i · v(x, y), entonces:
  • ∂u/∂x = ∂v/∂y
  • ∂u/∂y = −∂v/∂x
• Si f es holomorfa en un dominio abierto, entonces es infinitamente diferenciable y analitica (puede representarse como serie de potencias).

Serie de potencias complejas

• Una funcion analitica en z₀ tiene serie de Taylor: f(z) = Σₙ₌₀^∞ aₙ · (z − z₀)ⁿ, con aₙ = f⁽ⁿ⁾(z₀) / n!.
• Radio de convergencia R: R = 1 / lim sup |aₙ|^(1/n) (formula de Cauchy-Hadamard).
• La serie converge absolutamente para |z − z₀| < R.

Serie de Fourier

• Para una funcion f(x) periodica de periodo 2L (definida en [−L, L]):
  • f(x) = a₀/2 + Σₙ₌₁^∞ [aₙ · cos(nπx/L) + bₙ · sin(nπx/L)].
  • Coeficientes: a₀ = (1/L) · ∫₋ₗˡ f(x) dx.
  • aₙ = (1/L) · ∫₋ₗˡ f(x) · cos(nπx/L) dx.
  • bₙ = (1/L) · ∫₋ₗˡ f(x) · sin(nπx/L) dx.
• Para periodo 2π (L = π): aₙ = (1/π) · ∫₋π^π f(x) · cos(nx) dx, bₙ = (1/π) · ∫₋π^π f(x) · sin(nx) dx.
• Forma compleja: f(x) = Σₙ₌₋∞^∞ cₙ · e^(inx), con cₙ = (1/2π) · ∫₋π^π f(x) · e^(-inx) dx.
• Teorema de convergencia de Fourier: si f es continua a trozos y f' es continua a trozos en [−L, L], la serie converge a f(x) en puntos de continuidad y a [f(x⁺) + f(x⁻)]/2 en puntos de discontinuidad.
• Identidad de Parseval: (1/L) · ∫₋ₗˡ |f(x)|² dx = |a₀|²/2 + Σₙ₌₁^∞ (|aₙ|² + |bₙ|²).

Algebra lineal avanzada

Espacios vectoriales

• Un espacio vectorial V sobre un cuerpo F cumple: cerradura bajo suma y producto por escalar, asociatividad, conmutatividad, elemento neutro (0), inverso aditivo, y distributividad.
• Subespacio: subconjunto no vacio cerrado bajo suma y producto por escalar.
• Base: conjunto linealmente independiente que genera todo el espacio.
• Dimension: numero de vectores en cualquier base (bien definido).
• Teorema de la dimension: si V tiene dimension n, toda base tiene exactamente n vectores.

Autovalores y autovectores

• Dado un operador lineal T: V → V (o una matriz A), un autovector v ≠ 0 y su autovalor λ satisfacen: T(v) = λ · v (o A · v = λ · v).
• Ecuacion caracteristica: det(A − λ · I) = 0.
• Polinomio caracteristico: p(λ) = det(A − λI). Sus raices son los autovalores.
• Multiplicidad algebraica: multiplicidad de λ como raiz del polinomio caracteristico.
• Multiplicidad geometrica: dim(ker(A − λI)) = numero de autovectores linealmente independientes para λ.
• Siempre: 1 ≤ multiplicidad geometrica ≤ multiplicidad algebraica.
• Teorema espectral (matrices simetricas reales): toda matriz simetrica real es diagonalizable con autovalores reales.

Diagonalizacion

• Una matriz A es diagonalizable si existe una matriz invertible P y una matriz diagonal D tales que A = P · D · P⁻¹.
• Criterio: A es diagonalizable si y solo si la suma de las multiplicidades geometricas de todos los autovalores es igual a n (dimension del espacio).
• P tiene como columnas los autovectores de A.
• D tiene en la diagonal los autovalores correspondientes.
• Potencias de matrices: si A = PDP⁻¹, entonces Aᵏ = P · Dᵏ · P⁻¹, donde Dᵏ tiene λᵢᵏ en la diagonal.

Descomposicion en valores singulares (SVD)

• Toda matriz A de dimensiones m × n puede descomponerse como A = U · Σ · Vᵀ.
• U: matriz m × m ortogonal (Uᵀ · U = Iₘ). Sus columnas son los autovectores de A · Aᵀ.
• Σ: matriz m × n diagonal con valores singulares σ₁ ≥ σ₂ ≥ ... ≥ σᵣ > 0 en la diagonal (r = rango(A)).
• V: matriz n × n ortogonal (Vᵀ · V = Iₙ). Sus columnas son los autovectores de Aᵀ · A.
• Relacion: σᵢ = √(λᵢ), donde λᵢ son los autovalores de Aᵀ · A.
• Aplicaciones: aproximacion de bajo rango, compresion de datos, pseudoinversa de Moore-Penrose.
• Pseudoinversa: A⁺ = V · Σ⁺ · Uᵀ, donde Σ⁺ intercambia cada σᵢ por 1/σᵢ (y transpone).

Espacio dual y formas bilineales

• Espacio dual V*: conjunto de funcionales lineales f: V → F.
• Dim(V*) = dim(V).
• Forma bilineal: B: V × V → F lineal en cada argumento.
• Forma bilineal simetrica: B(u, v) = B(v, u).
• Forma bilineal definida positiva: B(v, v) > 0 para todo v ≠ 0.
• Producto interior: caso especial de forma bilineal simetrica definida positiva.

Topologia basica

Espacios topologicos

• Una topologia T en un conjunto X es una coleccion de subconjuntos de X (llamados abiertos) que cumple:
  • ∅ ∈ T y X ∈ T.
  • Union arbitraria de abiertos es abierta.
  • Interseccion finita de abiertos es abierta.
• (X, T) es un espacio topologico.

Abiertos y cerrados

• Un conjunto A ⊆ X es abierto si A ∈ T.
• Un conjunto A ⊆ X es cerrado si su complemento X \ A es abierto.
• ∅ y X son simultaneamente abiertos y cerrados (conjuntos clopen).
• Interior de A: union de todos los abiertos contenidos en A (el mayor abierto contenido en A).
• Cerradura de A: interseccion de todos los cerrados que contienen a A (el menor cerrado que contiene a A).
• Punto de acumulacion de A: x tal que toda vecindad abierta de x contiene un punto de A distinto de x.
• Conjunto densamente numerable (separable): existe un subconjunto numerable denso.

Compacidad

• Un conjunto K es compacto si toda cubierta abierta de K tiene una subcubierta finita.
• Teorema de Heine-Borel: en Rⁿ con la topologia euclidiana, un conjunto es compacto si y solo si es cerrado y acotado.
• Propiedades de conjuntos compactos:
  • Imagen compacta: si f: K → Y es continua y K es compacto, entonces f(K) es compacto.
  • Funcion continua en compacto alcanza maximo y minimo (Teorema de Weierstrass).
  • Interseccion finita de compactos es compacta.
  • Cerrado de un compacto es compacto.
• Espacio compacto: el espacio entero es compacto.

Conexidad

• Un espacio X es conexo si no puede escribirse como union de dos conjuntos abiertos no vacios y disjuntos.
• Equivalentemente: los unicos conjuntos clopen en X son ∅ y X.
• Conjunto conexo por caminos: para todo x, y ∈ A, existe una funcion continua f: [0, 1] → A con f(0) = x y f(1) = y.
• Conexidad por caminos implica conexidad (pero no viceversa en general).
• Componentes conexas: las clases de equivalencia maximal respecto a la relacion "estan en el mismo conjunto conexo".
• En R: los unicos conjuntos conexos son los intervalos.

Espacios metricos

• Una metrica d en X es una funcion d: X × X → R que cumple:
  • d(x, y) ≥ 0, y d(x, y) = 0 si y solo si x = y.
  • d(x, y) = d(y, x) (simetria).
  • d(x, z) ≤ d(x, y) + d(y, z) (desigualdad triangular).
• Topologia inducida por la metrica: A es abierto si para todo x ∈ A existe ε > 0 tal que B(x, ε) ⊆ A, donde B(x, ε) = {y ∈ X : d(x, y) < ε}.
• En Rⁿ, la metrica euclidiana d(x, y) = √(Σᵢ₌₁ⁿ (xᵢ − yᵢ)²) induce la topologia euclidiana.

Unidades y sistema SI

• Angulo plano: radiante (rad) — adimensional.
• Angulo solido: estereoradiante (sr) — adimensional.
• Carga electrica: culombio (C).
• Potencial electrico: voltio (V) = J/C.
• Capacitancia: faradio (F) = C/V.
• Inductancia: henrio (H) = V · s/A.
• Resistencia: ohmio (Ω) = V/A.
• Entropia: julio por kelvin (J/K).

Errores comunes / Pitfalls

• Condiciones de existencia en EDOs: el teorema de Picard-Lindelof requiere continuidad de f y ∂f/∂y en una region que contenga el punto inicial. Si estas condiciones no se cumplen, la solucion puede no existir o no ser unica. Verificar siempre las hipotesis antes de aplicar teoremas.
• Interpretacion geometrica de autovalores: un autovalor λ representa el factor de escala por el cual un autovector se estira o contrae bajo la transformacion lineal. |λ| > 1 implica expansion, |λ| < 1 implica contraccion, λ < 0 implica reflexion. La suma de autovalores es la traza de A y el producto es el determinante.
• Hipotesis de teoremas: el teorema espectral solo aplica a matrices simetricas reales (o hermiticas en C). No todas las matrices son diagonalizables. Una matriz es diagonalizable si y solo si la suma de multiplicidades geometricas es igual a n. Verificar que la multiplicidad geometrica es igual a la algebraica para cada autovalor.
• Wronskiano nulo: si W(y₁, y₂) = 0 en algun punto, las soluciones pueden no ser linealmente independientes. El teorema de Abel establece que W(x) = W(x₀) · e^(-∫p(x)dx). Si W(x₀) = 0, entonces W(x) = 0 para todo x.
• Condiciones de Cauchy-Riemann: son necesarias para la holomorfia, pero no suficientes a menos que las derivadas parciales sean continuas. Verificar la continuidad de ∂u/∂x, ∂u/∂y, ∂v/∂x, ∂v/∂y.
• Serie de Fourier en discontinuidades: en un punto de discontinuidad, la serie converge al promedio de los limites laterales [f(x⁺) + f(x⁻)]/2, no al valor de la funcion. Fenomeno de Gibbs: las oscilaciones cerca de una discontinuidad no desaparecen al aumentar el numero de terminos, aunque su amplitud se estabiliza en aproximadamente el 9% del salto.
• Compacidad en espacios infinitos: en espacios de dimension infinita, cerrado y acotado NO implica compacto (a diferencia de Rⁿ). El teorema de Heine-Borel no se extiende a espacios de dimension infinita.
• SVD y rango: el numero de valores singulares no nulos es exactamente el rango de la matriz. Los valores singulares son siempre no negativos (a diferencia de los autovalores, que pueden ser negativos o complejos).

Verificacion

• Verificar solucion de EDO: sustituir la solucion general en la ecuacion diferencial original y comprobar que se cumple identicamente.
• Verificar autovalores y autovectores: comprobar que A · v = λ · v para cada par (λ, v). Verificar que det(A − λI) = 0.
• Verificar diagonalizacion: comprobar que A · P = P · D, o equivalentemente A = P · D · P⁻¹.
• Verificar ortogonalidad de autovectores de matriz simetrica: autovectores correspondientes a autovalores distintos deben ser ortogonales.
• Verificar condiciones de Cauchy-Riemann: calcular las cuatro derivadas parciales y comprobar que ∂u/∂x = ∂v/∂y y ∂u/∂y = −∂v/∂x.
• Verificar Wronskiano: W(y₁, y₂) ≠ 0 garantiza lineal independencia. Si W = 0 en un punto y las soluciones satisfacen una EDO lineal, entonces W = 0 en toda la recta.
• Verificar compacidad: en Rⁿ, un conjunto es compacto si y solo si es cerrado y acotado (Heine-Borel). En otros espacios metricos, verificar la propiedad de subcubierta finita.
• Verificar convergencia de serie de Fourier: comprobar que los coeficientes aₙ y bₙ tienden a cero cuando n → ∞ (condicion necesaria).
• Verificar SVD: comprobar que U y V son ortogonales (UᵀU = I, VᵀV = I) y que A = UΣVᵀ.