Rodybee — Math in the hive

# Benchmark de estándares mundiales — `differential_equations_2`

> **Programa**: `differential_equations_2` — Ecuaciones Diferenciales II + Métodos Matemáticos para Ingeniería y Física (segundo curso)
> **Audiencia**: estudiantes de 19–21 años (sophomore tardío / junior universitario; segundo y tercer año de licenciatura en ingeniería, física, matemáticas aplicadas, mecánica, matemáticas puras con orientación analítica).
> **Estado al 2026-04-30**: programa nuevo desde cero. **Cuarto programa universitario** de Rodybee, después de `calculus_intro`, `calculus_2` y `linear_algebra`. Prereqs directos rígidos: `calculus_2` (integrales impropias, series de potencias y radio de convergencia, integrales múltiples, gradiente y Laplaciano, integrales paramétricas) y `linear_algebra` (eigenvalores y eigenvectores, diagonalización, matriz exponencial intuitiva, espacios vectoriales, ortogonalidad, base ortonormal). Prereq blando recomendado: un primer curso de ODEs (`differential_equations_intro` futuro o equivalente — separación de variables, ODEs lineales 1er orden, ODEs lineales 2do orden a coeficientes constantes con método de coeficientes indeterminados y variación de parámetros). En su defecto, se asume que el alumno ya domina al menos el material 1er-orden de un curso introductorio.
> **Fuentes tier-1 (universitarias sophomore/junior)**: MIT 18.03 *Differential Equations* (OCW Spring 2010), MIT 18.085 *Computational Science and Engineering I* (OCW Fall 2008), UC Berkeley Math 121A *Mathematical Tools for the Physical Sciences*, Stanford EE 261 *The Fourier Transform and its Applications*, Cambridge Mathematical Tripos Part IB *Methods*, UNAM Facultad de Ciencias *Ecuaciones Diferenciales II* + *Métodos Matemáticos de la Física* (Física), University of Tokyo 微分方程式 II / 応用数学 (Advanced ODEs / PDEs).
> **Fuentes tier-2 (textbooks de uso global y referencia regional)**: Boyce-DiPrima *Elementary Differential Equations and Boundary Value Problems* (texto más usado a nivel mundial), Strauss *Partial Differential Equations: An Introduction* 2e (PDE intro estándar), Folland *Fourier Analysis and its Applications*, Haberman *Applied Partial Differential Equations*, ITAM Métodos Matemáticos II y Tec de Monterrey Métodos Matemáticos II (referencia regional Latinoamérica).

---

## 1. Qué es `differential_equations_2` en Rodybee

`differential_equations_2` es el **cuarto programa universitario** de Rodybee. Cubre, al techo internacional, el corpus que en la academia anglosajona se conoce como "ODEs II + Mathematical Methods for Engineers/Physicists" y que en la tradición hispana e ingenieril aparece como "Ecuaciones Diferenciales II + Métodos Matemáticos de la Física I". Es **el programa donde el estudiante orientado a física/ingeniería transita** de "resolver ODEs con técnicas" a "modelar sistemas físicos con PDEs y funciones especiales".

Concretamente, `differential_equations_2` cubre ocho grandes bloques temáticos:

1. **Transformada de Laplace completa**: definición, existencia, tabla de transformadas básicas, propiedades (linealidad, shift en $s$, shift en $t$ con función escalón $u_a(t)$, derivada $\mathcal{L}\{f'\}$, integral $\mathcal{L}\{\int_0^t f\}$, derivada en $s$, multiplicación por $t^n$), Laplace inversa vía tablas y fracciones parciales, **convolución** $\mathcal{L}\{f*g\} = F(s)G(s)$, **función delta de Dirac** $\delta(t)$ con $\mathcal{L}\{\delta\}=1$, **función escalón de Heaviside** $u_a(t)$, resolución de IVPs vía Laplace, ecuaciones con forzamiento discontinuo (ondas cuadradas, pulsos), **respuesta al impulso** y conexión intuitiva con función de Green.

2. **Sistemas lineales de ODEs (cualitativo + cuantitativo)**: forma matricial $\mathbf{x}'=A\mathbf{x}$ (homogéneo) y $\mathbf{x}'=A\mathbf{x}+\mathbf{g}(t)$ (no homogéneo); método de eigenvalores con tres casos (reales distintos, repetidos con eigenvectores generalizados / Jordan ligero, complejos conjugados → espirales); **retratos de fase** (nodos estables/inestables, sillas, espirales, centros); clasificación de estabilidad lineal vía traza y determinante de $A$ (diagrama traza-determinante); variación de parámetros matricial con Wronskiano matriz; **matriz fundamental** $\Phi(t)$ y **matriz exponencial** $e^{tA}$ con conexión a diagonalización aprendida en `linear_algebra`.

3. **Soluciones por series de potencias y método de Frobenius**: clasificación de puntos ordinarios vs singulares (regulares vs irregulares); solución por series alrededor de un punto ordinario sustituyendo $y=\sum a_n x^n$ y resolviendo recurrencia; **método de Frobenius** alrededor de un punto singular regular: $y=x^r\sum a_n x^n$, ecuación indicial, tres casos de raíces (diferencia no entera, repetidas, diferencia entera); ejemplos canónicos: ecuaciones de **Airy**, **Bessel**, **Legendre**, **Hermite**.

4. **Funciones especiales (introducción)**: funciones de **Bessel** $J_n$, $Y_n$ como soluciones de la ecuación de Bessel, ortogonalidad en peso $x$, aplicaciones a problemas en geometría cilíndrica (calor/onda en cilindros y discos); polinomios de **Legendre** $P_n(x)$ como soluciones de la ecuación de Legendre, ortogonalidad en $[-1,1]$, aplicación a coordenadas esféricas / armónicos esféricos intro; polinomios de **Hermite** $H_n(x)$ — solo introducción, vinculados al oscilador armónico cuántico; **función Gamma** $\Gamma(s)$ con propiedades clave ($\Gamma(s+1)=s\Gamma(s)$, valores en enteros y semienteros).

5. **Series de Fourier**: definición $f(x) = \frac{a_0}{2} + \sum_{n=1}^\infty \big[a_n\cos(\frac{n\pi x}{L}) + b_n\sin(\frac{n\pi x}{L})\big]$, fórmulas integrales para coeficientes, series de senos / cosenos vía extensiones impar / par, convergencia (puntual de Dirichlet, uniforme bajo continuidad y suavidad, $L^2$ de Parseval), **fenómeno de Gibbs** en saltos, forma compleja $\sum c_n e^{in\pi x/L}$.

6. **Transformada de Fourier (introducción)**: definición $\widehat{f}(\omega) = \int_{-\infty}^{\infty} f(x) e^{-i\omega x}\,dx$ e inversa, propiedades (linealidad, shift, escalado, convolución $\widehat{f*g}=\widehat{f}\cdot\widehat{g}$), aplicación a PDEs en dominio infinito, **teorema de Plancherel/Parseval** $\|\widehat{f}\|_2 = \sqrt{2\pi}\|f\|_2$.

7. **Introducción a PDEs lineales clásicas**: ecuación del **calor** $u_t = \alpha^2 u_{xx}$ (derivación, separación de variables, solución por Fourier en dominio acotado, solución por transformada en dominio infinito, kernel de calor); ecuación de **onda** $u_{tt} = c^2 u_{xx}$ (fórmula de **d'Alembert** en línea infinita, separación de variables en cuerda finita, ondas viajeras); ecuación de **Laplace** $\Delta u = 0$ (en rectángulos 2D vía Fourier, en discos vía coordenadas polares con kernel de **Poisson**, principio del máximo).

8. **Problemas de contorno y teoría de Sturm-Liouville**: condiciones de **Dirichlet** ($u=f$ en frontera), **Neumann** ($\partial u/\partial n = g$), **Robin/mixtas** ($\alpha u + \beta \partial u/\partial n = h$); expansiones por eigenfunciones; forma de **Sturm-Liouville** $-(p(x)y')' + q(x)y = \lambda w(x) y$ como **operador autoadjunto** en $L^2_w[a,b]$; eigenvalores reales, eigenfunciones ortogonales; ejemplos: bases de Fourier, bases de Bessel, bases de Legendre.

**Edad de entrada**: 19 años (sophomore tardío). **Edad de salida**: 21 años (junior terminado). **Duración estimada**: 22-28 meses de práctica diaria de 12-18 min hasta mastery completo. Es comparable en carga a `calculus_2` por la cantidad de objetos nuevos introducidos (Laplace, series de Fourier, transformada de Fourier, Bessel, Legendre, Hermite, tres PDEs canónicas, Sturm-Liouville).

### 1.1 Frontera explícita: programa íntegramente universitario, **sin análogo HS**

> **Nota crítica**: `differential_equations_2` es **íntegramente universitario, segundo o tercer año**. **Ningún sistema de bachillerato del mundo** cubre este material. Ni AP Calculus BC, ni IB Math AA HL, ni Cambridge Further 9231, ni Singapore H3, ni MEXT Math C tocan Laplace, Fourier, PDEs ni funciones especiales. La frontera es absoluta.

A diferencia de `linear_algebra`, donde Cambridge Further 9231 da un techo HS notable y AP Pre-Calculus introduce matrices, **aquí no hay benchmark HS**. La decisión de cobertura se toma **únicamente** contra los syllabi universitarios listados arriba. El benchmark efectivo es: **MIT 18.03 + MIT 18.085 + UC Berkeley Math 121A + Stanford EE 261 + Cambridge Tripos IB Methods + UNAM EDO II + UNAM Métodos Matemáticos de la Física + Tokyo 微分方程式 II + Tokyo 応用数学**. Estos nueve cursos convergen notablemente en el corpus técnico (Laplace, Fourier, PDEs canónicas, Sturm-Liouville) y divergen en una sola gran decisión: **profundidad en Sturm-Liouville formal vs énfasis en aplicaciones físicas computacionales**. La sección 6 (Decisiones clave) la trata frontalmente.

### 1.2 Por qué `differential_equations_2` es radicalmente distinto a un primer curso de ODEs

Aunque comparte herramientas con un primer curso de ODEs (separación de variables, ODE lineal de 2do orden con coeficientes constantes), el segundo curso es **conceptualmente otro objeto**:

| Dimensión | ODEs I (futuro `differential_equations_intro`) | `differential_equations_2` |
|---|---|---|
| Objeto matemático central | función escalar $y(x)$ y su derivada | sistemas $\mathbf{x}(t)\in\mathbb{R}^n$, funciones $u(x,t)$ multivariables, distribuciones generalizadas (delta) |
| Operación clave | separación, factor integrante, anuladores, coeficientes indeterminados | transformada integral (Laplace, Fourier), separación de variables PDE, expansión por eigenfunciones |
| Naturaleza del razonamiento | **algebraico y procedimental**: aplicar técnica a forma estándar | **espectral y modal**: descomponer el problema en modos / eigenfunciones, resolver cada modo, recombinar |
| Estilo de demostración | verificación directa de soluciones | argumentos de unicidad/superposición, argumentos por densidad, principio del máximo, identidad de Parseval |
| Aplicación canónica | crecimiento poblacional, RC/RLC simples, péndulo lineal | conducción de calor, vibración de cuerda/membrana, propagación de ondas, electrostática, mecánica cuántica intro |

El paso de "técnicas" a "métodos espectrales y operadores" es el salto cognitivo central del programa. El alumno que sale de `differential_equations_2` ha aprendido a **pensar en términos de modos** — la herramienta intelectual que sostiene mecánica cuántica, procesamiento de señales, mecánica continua y métodos espectrales numéricos.

### 1.3 Por qué este programa es el "puente" hacia la física teórica

`differential_equations_2` es, junto con `linear_algebra`, **el programa-puente** entre matemáticas básicas y física teórica / ingeniería avanzada. Sin Laplace, no hay teoría de control. Sin Fourier, no hay procesamiento de señales ni mecánica cuántica. Sin separación de variables y bases ortogonales de eigenfunciones, no hay electromagnetismo formal, ni mecánica de fluidos, ni mecánica estadística. Por eso la gran mayoría de los syllabi tier-1 lo posicionan como **prerequisito común** para todos los cursos de física a partir del tercer año (mecánica clásica avanzada, electrodinámica, mecánica cuántica, mecánica continua) y para la rama aplicada de ingeniería (señales y sistemas, control, vibraciones, transferencia de calor).

---

## 2. Tabla comparativa por currículum

Las columnas son las grandes decisiones de contenido. Las filas son los currículos benchmark. La intención es ver dónde converge el techo internacional y dónde diverge.

| Currículum | Edad típica | (a) Laplace completo | (b) Sistemas + retratos | (c) Series + Frobenius | (d) Series Fourier | (e) Transformada Fourier | (f) PDEs (calor/onda/Laplace) | (g) BVP (Dirichlet/Neumann/Robin) | (h) Sturm-Liouville | Texto base |
|---|---|---|---|---|---|---|---|---|---|---|
| **MIT 18.03** | 19 | sí central | sí central | breve | breve | no | no | no | no | Boyce-DiPrima 11e + Notes Mattuck |
| **MIT 18.085** | 20 | medio | breve | no | sí central | sí central | sí central | sí | medio | Strang *Computational Science & Engineering* |
| **UC Berkeley Math 54** (segunda mitad: ODEs) | 19 | sí | sí | breve | medio | no | no | no | no | Lay + Boyce-DiPrima |
| **UC Berkeley Math 121A** | 20 | sí | sí | sí | sí | sí | sí | sí | sí central | Hassani *Mathematical Methods* |
| **UC Berkeley Math 121B** | 21 | repaso | repaso | sí | sí | sí central | sí central | sí | sí | Hassani / Arfken |
| **Stanford EE 261** | 20-21 | medio | no | no | sí | sí central (todo el curso) | sí (vía FT) | medio | medio | Osgood *Lectures on the Fourier Transform* |
| **Stanford Math 53** | 19-20 | sí | sí | breve | medio | no | medio | breve | breve | Boyce-DiPrima |
| **Cambridge Tripos IA Differential Eqs** | 18-19 | medio | sí | breve | breve | no | no | no | no | Cambridge lecture notes |
| **Cambridge Tripos IB Methods** | 19-20 | medio | medio | sí | sí central | sí central | sí central | sí central | sí central | Cambridge lecture notes (Rinne/Worster) |
| **Cambridge Tripos II Mathematical Methods** | 20-21 | repaso | repaso | profundo | profundo | profundo | profundo | profundo | profundo | Riley-Hobson-Bence |
| **Tokyo 微分方程式 II** | 19-20 | sí | sí | sí | sí | medio | sí | sí | medio | 笠原皓司 *微分方程式* |
| **Tokyo 応用数学 (B/C)** | 20-21 | medio | medio | sí | sí | sí | sí | sí | sí | 寺沢寛一 *自然科学者のための数学概論* |
| **UNAM Ecuaciones Diferenciales II** (Fac. Ciencias) | 19-20 | sí central | sí central | sí | medio | no | medio | medio | breve | Boyce-DiPrima + Coddington-Levinson |
| **UNAM Métodos Matemáticos de la Física I** (Fac. Ciencias, Física) | 20-21 | medio | medio | sí | sí | sí | sí | sí | sí central | Arfken-Weber + Butkov |
| **UNAM Métodos Matemáticos II** (Física) | 21 | repaso | repaso | profundo | profundo | profundo | profundo | profundo | profundo | Arfken / Butkov / Hassani |
| **ITAM Métodos Matemáticos II** | 20 | sí | sí | medio | sí | sí | sí | sí | medio | Boyce-DiPrima + Hassani |
| **Tec MTY Métodos Matemáticos II** | 20 | sí central | sí | medio | sí | sí | sí | medio | breve | Boyce-DiPrima + Kreyszig |

**Lectura clave**:

- **Dos grandes "escuelas"** dividen el mundo:
  - **Escuela "ODEs II + Laplace + sistemas"** (MIT 18.03 / Berkeley 54 mitad / UNAM EDO II / Stanford Math 53 / Tokyo 微分方程式 II): énfasis fuerte en Laplace, retratos de fase y sistemas lineales. PDEs y Fourier viven en otro curso, generalmente del año siguiente. **Ideología**: "ecuaciones diferenciales son sobre dinámica de sistemas con estado".
  - **Escuela "Mathematical Methods"** (Cambridge Tripos IB Methods / Berkeley 121A / Stanford EE 261 / MIT 18.085 / UNAM Métodos Matemáticos de la Física / Tokyo 応用数学): integran Fourier + PDEs + Sturm-Liouville + funciones especiales en un solo curso de "métodos para físicos/ingenieros". Laplace es una herramienta más, no el centro. **Ideología**: "métodos matemáticos son sobre operadores lineales + bases ortogonales + transformadas integrales".
- **MIT 18.03 + Boyce-DiPrima** es el curso ODE más influyente del mundo en escuelas de ingeniería. Su material OCW (lectures de Mattuck en YouTube + apuntes "Notes" + problem sets) ha entrenado a generaciones enteras de ingenieros americanos.
- **Cambridge Tripos IB Methods** es el referente más sofisticado para "Mathematical Methods" en la tradición británica. Cubre todo el corpus (Fourier, PDEs, Sturm-Liouville, funciones de Green) con rigor formal e integración elegante de los temas.
- **UNAM Métodos Matemáticos de la Física I** es el referente hispano más completo. Su separación entre "Ecuaciones Diferenciales II" (Facultad de Ciencias matemáticas) y "Métodos Matemáticos de la Física" (Facultad de Ciencias física) es típica de la tradición latinoamericana europea.
- **Convergencia universal**: todos los nueve currículos tier-1 cubren Laplace transform completo, sistemas lineales con eigenvalues, series de Fourier, ecuaciones del calor / onda / Laplace, y al menos una introducción a Bessel + Legendre. **Esos cinco bloques son universales**.
- **Divergencia**: profundidad en Sturm-Liouville formal (Cambridge IB Methods, UNAM Físicos y Berkeley 121A lo cubren a fondo; MIT 18.03 prácticamente no lo toca); transformada de Fourier completa (Stanford EE 261 le dedica un curso entero; MIT 18.03 no la cubre); funciones de Green para PDEs (avanzado, solo Cambridge II y UNAM Física profundizan); métodos asintóticos / WKB (avanzado, fuera del primer curso de métodos).

**Decisión Rodybee** (justificada en sección 6): **modelo HÍBRIDO con sesgo a "Mathematical Methods"** estilo Cambridge IB Methods + Berkeley 121A + UNAM Métodos de la Física. Justificación: cubrimos el corpus completo (Laplace + sistemas + series + Fourier + PDEs + Sturm-Liouville) en un solo programa de ~100 skills, igualando el techo internacional de un programa STEM riguroso, en lugar de fragmentarlo en dos cursos. Esto se justifica por la naturaleza mastery-based de Rodybee: el alumno no avanza hasta dominar cada hex, y el programa puede tomarse a ritmo propio durante 2-3 años sin presión semestral.

---

## 3. Topic-by-topic deep dive

### 3.1 Transformada de Laplace (block completo)

La transformada de Laplace es **el primer gran bloque** del curso y también su carta de presentación: combina cálculo integral (integral impropia paramétrica), análisis (existencia, región de convergencia), álgebra (manipulación de fracciones racionales), y aplicación inmediata a IVPs lineales con coeficientes constantes.

- **Definición formal**: $\mathcal{L}\{f\}(s) = F(s) = \int_0^\infty e^{-st} f(t)\, dt$, donde la integral debe converger para todo $s$ en alguna semirrecta $\operatorname{Re}(s) > \alpha$. La región de convergencia (ROC) es esa semirrecta.
- **Existencia**: si $f$ es continua a trozos en $[0,\infty)$ y de **orden exponencial** (existen $M, \alpha, T$ tal que $|f(t)| \le M e^{\alpha t}$ para todo $t \ge T$), entonces $F(s)$ existe para $\operatorname{Re}(s) > \alpha$. Demostración es directa por comparación.
- **Tabla de transformadas básicas**: $\mathcal{L}\{1\} = 1/s$; $\mathcal{L}\{t^n\} = n!/s^{n+1}$; $\mathcal{L}\{e^{at}\} = 1/(s-a)$; $\mathcal{L}\{\sin(bt)\} = b/(s^2+b^2)$; $\mathcal{L}\{\cos(bt)\} = s/(s^2+b^2)$; $\mathcal{L}\{\sinh(bt)\} = b/(s^2-b^2)$; $\mathcal{L}\{\cosh(bt)\} = s/(s^2-b^2)$; $\mathcal{L}\{e^{at} f(t)\} = F(s-a)$ (1er teorema de shift); $\mathcal{L}\{u_a(t) f(t-a)\} = e^{-as} F(s)$ (2do teorema de shift, con función escalón); $\mathcal{L}\{t^n f(t)\} = (-1)^n F^{(n)}(s)$ (derivada en $s$).
- **Propiedades operativas**:
  - **Linealidad**: $\mathcal{L}\{\alpha f + \beta g\} = \alpha F + \beta G$.
  - **Derivada en $t$**: $\mathcal{L}\{f'\} = sF(s) - f(0)$, $\mathcal{L}\{f''\} = s^2 F(s) - sf(0) - f'(0)$, generalización a orden $n$. **Esta es la propiedad clave que convierte una ODE lineal con coeficientes constantes en una ecuación algebraica en $s$.**
  - **Integral en $t$**: $\mathcal{L}\{\int_0^t f(\tau)d\tau\} = F(s)/s$.
  - **Multiplicación por $t^n$**: $\mathcal{L}\{t^n f(t)\} = (-1)^n F^{(n)}(s)$.
- **Inversa de Laplace**:
  - **Vía tablas + linealidad**: leer la tabla en sentido inverso.
  - **Fracciones parciales**: descomponer un cociente de polinomios $P(s)/Q(s)$ en fracciones simples y aplicar tablas.
  - **Completar el cuadrado**: para denominadores $s^2 + bs + c$ irreducibles → $(s-h)^2 + k^2$ → forma de seno o coseno trasladado.
  - **Bromwich integral / fórmula de Mellin**: $f(t) = \frac{1}{2\pi i}\int_{\gamma-i\infty}^{\gamma+i\infty} e^{st}F(s)\,ds$ — **se cita pero no se exige**, requiere análisis complejo (residuos, contornos), que se difiere a `complex_analysis`.
- **Convolución**: $(f*g)(t) = \int_0^t f(\tau) g(t-\tau)\,d\tau$. Teorema central: $\mathcal{L}\{f*g\} = F(s) \cdot G(s)$. Aplicación: invertir productos $F(s)G(s)$ → convolución de inversas. Conexión inmediata con respuesta al impulso de un sistema LTI.
- **Función de Heaviside / escalón**: $u_a(t) = 0$ si $t<a$, $1$ si $t \ge a$. Permite modelar **forzamiento discontinuo** (ondas cuadradas, pulsos, conmutación). $\mathcal{L}\{u_a(t)\} = e^{-as}/s$.
- **Función delta de Dirac**: $\delta(t)$ como "límite" de pulsos cada vez más estrechos. Propiedad de filtraje: $\int f(t)\delta(t-a)\,dt = f(a)$. Transformada: $\mathcal{L}\{\delta(t)\} = 1$, $\mathcal{L}\{\delta(t-a)\} = e^{-as}$. **Tratamiento intuitivo, no como distribución formal** — la teoría de distribuciones se difiere a un programa de posgrado.
- **Solución de IVPs vía Laplace**: receta canónica:
  1. Aplicar $\mathcal{L}$ a ambos lados de la ODE.
  2. Usar $\mathcal{L}\{y^{(n)}\}$ con condiciones iniciales para reducir a una ecuación algebraica en $Y(s)$.
  3. Despejar $Y(s)$.
  4. Aplicar $\mathcal{L}^{-1}$ usando tablas + fracciones parciales + completar cuadrado + (si aplica) convolución.
- **IVPs con forzamiento discontinuo**: sistemas RLC con conmutador, ondas cuadradas, deltas (golpes de impulso). Laplace **brilla** aquí porque maneja $u_a$ y $\delta$ de forma natural mientras los métodos clásicos (variación de parámetros) se complican.
- **Respuesta al impulso (impulse response)**: para un sistema $Ly = f(t)$ con $L$ operador diferencial lineal con coeficientes constantes, la respuesta al impulso $h(t)$ es la solución con $f = \delta$. La solución para $f$ general es $y = h * f$ (convolución). Esto es **exactamente** la función de Green del operador $L$ en $[0,\infty)$ con condiciones iniciales en $0$. Conexión conceptual fuerte: Laplace + convolución = función de Green del problema temporal.

### 3.2 Sistemas lineales de ODEs (cualitativo + cuantitativo)

Bloque que **leverage** directamente lo aprendido en `linear_algebra` (eigenvalores, eigenvectores, diagonalización, base de eigenvectores).

- **Forma matricial**: $\mathbf{x}'(t) = A\mathbf{x}(t) + \mathbf{g}(t)$ con $A \in M_{n\times n}(\mathbb{R})$, $\mathbf{x}(t) \in \mathbb{R}^n$. Caso homogéneo $\mathbf{g}=\mathbf{0}$.
- **Método de eigenvalores — caso reales distintos**: si $A$ tiene $n$ eigenvalores reales distintos $\lambda_1, \ldots, \lambda_n$ con eigenvectores $\mathbf{v}_1, \ldots, \mathbf{v}_n$, entonces $\mathbf{x}(t) = \sum c_i e^{\lambda_i t} \mathbf{v}_i$. Demostración: linealidad + verificación directa + el conjunto $\{e^{\lambda_i t}\mathbf{v}_i\}$ es base del espacio solución (dim $n$).
- **Caso eigenvalores repetidos / matriz defectiva**: si la multiplicidad geométrica $<$ algebraica, hay que generar **eigenvectores generalizados**: $(A - \lambda I)\mathbf{w} = \mathbf{v}$. Las soluciones tienen forma $e^{\lambda t}(\mathbf{v} t + \mathbf{w})$ y generalizaciones. Esto es **Jordan ligero** — no se exige construir la forma de Jordan completa pero sí entender el caso 2×2 defectivo y el 3×3 con un bloque de Jordan.
- **Caso eigenvalores complejos conjugados**: si $A$ es real y tiene $\lambda = \alpha + i\beta$ con eigenvector $\mathbf{v} = \mathbf{p} + i\mathbf{q}$, las soluciones reales son $e^{\alpha t}[\mathbf{p}\cos(\beta t) - \mathbf{q}\sin(\beta t)]$ y $e^{\alpha t}[\mathbf{p}\sin(\beta t) + \mathbf{q}\cos(\beta t)]$. Geométricamente: **espiral**.
- **Retratos de fase ($n=2$)**: clasificación completa según signos y naturaleza de eigenvalores:
  - $\lambda_1, \lambda_2 > 0$ reales distintos: **nodo inestable** (proper o improper según multiplicidad).
  - $\lambda_1, \lambda_2 < 0$ reales distintos: **nodo estable** (atractor).
  - $\lambda_1 \cdot \lambda_2 < 0$: **silla** (saddle, inestable).
  - $\lambda_{1,2} = \alpha \pm i\beta$, $\alpha > 0$: **espiral inestable**.
  - $\lambda_{1,2} = \alpha \pm i\beta$, $\alpha < 0$: **espiral estable**.
  - $\lambda_{1,2} = \pm i\beta$ (puramente imaginarios): **centro** (órbitas cerradas).
  - Casos degenerados (un eigenvalor cero, eigenvalor doble) tratados aparte.
- **Diagrama traza-determinante** (trace-determinant plane): clasificar estabilidad por $\tau = \operatorname{tr}(A)$, $\Delta = \det(A)$ y discriminante $\tau^2 - 4\Delta$. Mapa visual ya estandarizado en MIT 18.03.
- **Variación de parámetros matricial**: para $\mathbf{x}'=A\mathbf{x}+\mathbf{g}(t)$, la solución particular es $\mathbf{x}_p(t) = \Phi(t) \int \Phi^{-1}(t)\mathbf{g}(t)\,dt$, donde $\Phi(t)$ es la matriz fundamental.
- **Matriz fundamental** $\Phi(t)$: matriz $n\times n$ cuyas columnas son $n$ soluciones LI del sistema homogéneo. Wronskiano matriz $W(t) = \det\Phi(t)$ no se anula nunca si las columnas son LI en algún punto.
- **Matriz exponencial** $e^{tA}$: definición vía serie $e^{tA} = \sum_{k=0}^\infty \frac{(tA)^k}{k!}$. Cómputo:
  - Si $A$ es diagonalizable, $A = PDP^{-1}$ con $D = \operatorname{diag}(\lambda_i)$, entonces $e^{tA} = P e^{tD} P^{-1}$ con $e^{tD} = \operatorname{diag}(e^{\lambda_i t})$.
  - Si $A$ es defectiva, usar Jordan: $e^{tA} = P e^{tJ} P^{-1}$, con bloques exponenciales explícitos para cada bloque de Jordan.
- **Solución general homogénea con matriz exponencial**: $\mathbf{x}(t) = e^{tA}\mathbf{x}_0$. Esta forma es elegante y conecta directamente con análisis funcional (semigrupos $\{e^{tA}\}$).
- **Conexión con `linear_algebra`**: cada técnica de este hex es **aplicación directa** de eigenvalores, diagonalización y Jordan ligero. El alumno re-utiliza activamente lo aprendido.

### 3.3 Soluciones por series de potencias y Frobenius

- **Puntos ordinarios vs singulares**: para una ODE lineal $y'' + p(x)y' + q(x)y = 0$, $x_0$ es **ordinario** si $p$ y $q$ son analíticas en $x_0$; **singular** si no. Singular **regular** si $(x-x_0)p(x)$ y $(x-x_0)^2 q(x)$ son analíticas en $x_0$; **irregular** en otro caso.
- **Series alrededor de un punto ordinario**: $y(x) = \sum_{n=0}^\infty a_n (x-x_0)^n$. Sustituir, agrupar potencias iguales, obtener **relación de recurrencia** entre coeficientes. Ejemplo canónico: ecuación de **Airy** $y'' - xy = 0$ con recurrencia $a_{n+2} = a_{n-1}/[(n+2)(n+1)]$.
- **Método de Frobenius (puntos singulares regulares)**: $y(x) = (x-x_0)^r \sum_{n=0}^\infty a_n (x-x_0)^n$ con $a_0 \ne 0$. Sustituir → obtener **ecuación indicial** $r^2 + (p_0 - 1)r + q_0 = 0$ donde $p_0 = \lim_{x\to x_0}(x-x_0)p(x)$, $q_0 = \lim_{x\to x_0}(x-x_0)^2 q(x)$.
- **Tres casos de raíces indiciales**:
  1. **$r_1 - r_2$ no entero**: dos soluciones LI, ambas de forma Frobenius pura.
  2. **$r_1 = r_2$ (raíz doble)**: una solución Frobenius; la segunda incluye un término $\ln(x-x_0)$.
  3. **$r_1 - r_2$ entero positivo**: una solución Frobenius con $r_1$; la segunda **puede o no** incluir un logaritmo (depende del coeficiente exacto en la recurrencia).
- **Ejemplos canónicos**:
  - **Airy** $y'' - xy = 0$: solución por series alrededor de 0 (ordinario). Soluciones $\operatorname{Ai}(x)$ y $\operatorname{Bi}(x)$. Aplicación: óptica, mecánica cuántica.
  - **Bessel** $x^2 y'' + x y' + (x^2 - \nu^2)y = 0$: 0 es singular regular, raíces indiciales $\pm \nu$. Soluciones $J_\nu(x)$ y $Y_\nu(x)$. Aplicación: vibración de membrana circular, calor en cilindro.
  - **Legendre** $(1-x^2)y'' - 2xy' + n(n+1)y = 0$: ±1 son singulares regulares. Soluciones polinomiales $P_n(x)$ cuando $n$ es entero. Aplicación: armónicos esféricos, gravitación, electrostática en esferas.
  - **Hermite** $y'' - 2xy' + 2ny = 0$: 0 es ordinario. Soluciones polinomiales $H_n(x)$ cuando $n$ es entero. Aplicación: oscilador armónico cuántico, probabilidad gaussiana.

### 3.4 Funciones especiales (introducción aplicada)

Tratamiento **introductorio**, suficiente para usar en separación de variables PDE pero sin profundizar en teoría completa. La teoría completa (asintótica, productos infinitos, integrales de contorno) se difiere a `complex_analysis` o `mathematical_physics`.

- **Funciones de Bessel** $J_\nu(x), Y_\nu(x)$:
  - Definición vía Frobenius en la ecuación de Bessel.
  - Forma cerrada de $J_n(x) = \sum_{k=0}^\infty \frac{(-1)^k}{k!\,(n+k)!}(x/2)^{n+2k}$ para $n$ entero.
  - **Ortogonalidad** en $[0, R]$ con peso $x$: $\int_0^R J_\nu(\alpha_i x/R) J_\nu(\alpha_j x/R)\, x\,dx = 0$ para $i\ne j$, donde $\alpha_i$ son ceros de $J_\nu$.
  - Series de Fourier-Bessel.
  - Aplicación: separación de variables del calor o la onda en geometría cilíndrica → membrana de tambor circular, calor en cable cilíndrico.
- **Polinomios de Legendre** $P_n(x)$:
  - Definición por **fórmula de Rodrigues**: $P_n(x) = \frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2-1)^n$.
  - Primeros polinomios: $P_0=1$, $P_1=x$, $P_2=(3x^2-1)/2$, $P_3=(5x^3-3x)/2$, etc.
  - **Ortogonalidad** en $[-1,1]$ con peso $1$: $\int_{-1}^1 P_m P_n\,dx = \frac{2}{2n+1}\delta_{mn}$.
  - Series de Fourier-Legendre.
  - Aplicación: armónicos esféricos $Y_l^m(\theta,\phi)$ intro, electrostática en simetría axial, gravitación.
- **Polinomios de Hermite** $H_n(x)$ — solo introducción:
  - Fórmula de Rodrigues: $H_n(x) = (-1)^n e^{x^2}\frac{d^n}{dx^n}e^{-x^2}$.
  - Ortogonalidad en $\mathbb{R}$ con peso $e^{-x^2}$.
  - Aplicación motivacional: oscilador armónico cuántico, distribuciones gaussianas.
- **Función Gamma** $\Gamma(s)$:
  - Definición $\Gamma(s) = \int_0^\infty t^{s-1}e^{-t}\,dt$ para $\operatorname{Re}(s) > 0$.
  - Propiedades clave: $\Gamma(s+1) = s\Gamma(s)$, $\Gamma(n+1) = n!$, $\Gamma(1/2) = \sqrt{\pi}$.
  - Necesaria para definir Bessel de orden no entero y para fórmulas asintóticas en teoría de probabilidad.

### 3.5 Series de Fourier

El **corazón pedagógico** del programa: el primer ejemplo donde el alumno ve una **base ortogonal infinita** de un espacio funcional y descompone una función en componentes modales.

- **Definición**: para $f$ periódica de periodo $2L$,
  $$f(x) = \frac{a_0}{2} + \sum_{n=1}^\infty \left[a_n\cos\frac{n\pi x}{L} + b_n\sin\frac{n\pi x}{L}\right]$$
  con coeficientes
  $$a_n = \frac{1}{L}\int_{-L}^{L} f(x)\cos\frac{n\pi x}{L}\,dx, \qquad b_n = \frac{1}{L}\int_{-L}^{L} f(x)\sin\frac{n\pi x}{L}\,dx.$$
- **Ortogonalidad de la base trigonométrica**: $\int_{-L}^L \cos\frac{m\pi x}{L}\cos\frac{n\pi x}{L}\,dx = L\delta_{mn}$, similarmente para senos, y $\int \cos\cdot\sin = 0$ siempre. **Esto es lo que valida las fórmulas integrales para $a_n, b_n$**.
- **Series de senos / cosenos** vía extensiones impar / par:
  - Para $f$ definida en $[0,L]$, **extensión par** → serie de cosenos (con $b_n = 0$).
  - Para $f$ definida en $[0,L]$, **extensión impar** → serie de senos (con $a_n = 0$). Esta es la forma típica para el problema del calor con condiciones de Dirichlet $u(0,t)=u(L,t)=0$.
- **Convergencia**:
  - **Puntual (Dirichlet)**: si $f$ es continua a trozos y monótona a trozos en $[-L,L]$, la serie converge a $f(x)$ en puntos de continuidad y a $\frac{f(x^+)+f(x^-)}{2}$ en saltos.
  - **Uniforme**: si $f$ es continua, periódica y $f'$ continua a trozos, la serie converge uniformemente.
  - **$L^2$ (Parseval)**: $\frac{1}{L}\int_{-L}^L f^2\,dx = \frac{a_0^2}{2} + \sum_{n=1}^\infty (a_n^2 + b_n^2)$. Esta es la **identidad de Parseval** y expresa que la base trigonométrica es completa en $L^2[-L,L]$.
- **Fenómeno de Gibbs**: en saltos, las sumas parciales de la serie de Fourier presentan un **overshoot persistente** de aproximadamente 9% (más precisamente, $\frac{2}{\pi}\int_0^\pi \frac{\sin t}{t}\,dt - 1 \approx 0.0895$). El overshoot **no desaparece** al aumentar $N$, solo se concentra cerca del salto. Implicaciones prácticas en procesamiento de señales (ringing).
- **Forma compleja**: $f(x) = \sum_{n=-\infty}^\infty c_n e^{in\pi x/L}$ con $c_n = \frac{1}{2L}\int_{-L}^L f(x)e^{-in\pi x/L}\,dx$. Equivalencia formal con la forma trigonométrica vía Euler. Esta forma es la que se generaliza a transformada de Fourier.

### 3.6 Transformada de Fourier (introducción)

- **Definición**: $\widehat{f}(\omega) = \mathcal{F}\{f\}(\omega) = \int_{-\infty}^{\infty} f(x) e^{-i\omega x}\,dx$ (convención EE/física; existen otras).
- **Inversa**: $f(x) = \frac{1}{2\pi}\int_{-\infty}^{\infty} \widehat{f}(\omega) e^{i\omega x}\,d\omega$ (con esta convención). Otras convenciones (Folland, Stein-Shakarchi) reparten el $2\pi$ distinto. **Decisión Rodybee**: usar la convención EE/física por compatibilidad con Stanford EE 261, MIT 18.085, ingeniería aplicada.
- **Existencia**: si $f \in L^1(\mathbb{R})$, entonces $\widehat{f}$ existe, es continua, acotada y tiende a $0$ en $\pm\infty$ (lema de Riemann-Lebesgue). Para extender a $L^2$, Plancherel.
- **Propiedades operativas**:
  - **Linealidad**: $\mathcal{F}\{\alpha f + \beta g\} = \alpha\widehat{f} + \beta\widehat{g}$.
  - **Shift en $x$**: $\mathcal{F}\{f(x-a)\}(\omega) = e^{-ia\omega}\widehat{f}(\omega)$.
  - **Modulación**: $\mathcal{F}\{e^{ibx}f(x)\}(\omega) = \widehat{f}(\omega - b)$.
  - **Escalado**: $\mathcal{F}\{f(ax)\}(\omega) = \frac{1}{|a|}\widehat{f}(\omega/a)$.
  - **Derivada**: $\mathcal{F}\{f'\}(\omega) = i\omega\widehat{f}(\omega)$. Convierte derivada en multiplicación → herramienta clave para PDEs.
  - **Convolución**: $\mathcal{F}\{f*g\} = \widehat{f}\cdot\widehat{g}$ y dualmente $\mathcal{F}\{f\cdot g\} = \frac{1}{2\pi}\widehat{f}*\widehat{g}$.
- **Aplicación a PDEs en dominio infinito**: aplicar $\mathcal{F}$ en la variable espacial transforma una PDE en una ODE en $\omega$ con $t$ como parámetro. Resolver, invertir.
- **Plancherel/Parseval**: $\int_{-\infty}^\infty |f(x)|^2\,dx = \frac{1}{2\pi}\int_{-\infty}^\infty |\widehat{f}(\omega)|^2\,d\omega$. Se interpreta como **conservación de energía**: la energía de una señal en el dominio del tiempo es la misma que en frecuencia.
- **Ejemplos canónicos**:
  - $\mathcal{F}\{e^{-ax^2}\}(\omega) = \sqrt{\pi/a}\,e^{-\omega^2/(4a)}$ (gaussiana → gaussiana).
  - $\mathcal{F}\{\operatorname{rect}(x/L)\}(\omega) = L\operatorname{sinc}(L\omega/2)$ (rectángulo → sinc).
  - $\mathcal{F}\{e^{-a|x|}\}(\omega) = \frac{2a}{a^2+\omega^2}$ (exponencial bilateral → Lorentziana).
  - $\mathcal{F}\{\delta(x)\} = 1$ (delta → constante; es **el dual de Laplace**).
- **Frontera con Stanford EE 261**: ese curso cubre además sampling, Nyquist-Shannon, aliasing, FFT, DFT y aplicaciones a procesamiento digital de señales. Rodybee **incluye** Plancherel, gaussiana y delta; **difiere** sampling/Nyquist a `signal_processing` futuro.

### 3.7 Introducción a PDEs lineales clásicas

Tres PDEs canónicas, cada una con su personalidad y técnica de solución estándar.

#### 3.7.1 Ecuación del calor $u_t = \alpha^2 u_{xx}$

- **Derivación física**: ley de Fourier ($q = -k\nabla u$) + conservación de energía → ecuación parabólica.
- **Problema de calor 1D en barra finita** ($0 < x < L$, $t > 0$) con condiciones de Dirichlet $u(0,t) = u(L,t) = 0$ y condición inicial $u(x,0) = f(x)$:
  - **Separación de variables**: $u(x,t) = X(x)T(t)$ → $X''/X = T'/(\alpha^2 T) = -\lambda$.
  - Problema espectral $X'' + \lambda X = 0$, $X(0) = X(L) = 0$ → eigenvalores $\lambda_n = (n\pi/L)^2$, eigenfunciones $X_n = \sin(n\pi x/L)$.
  - Componente temporal: $T_n(t) = e^{-\lambda_n \alpha^2 t}$.
  - Solución total: $u(x,t) = \sum_{n=1}^\infty b_n \sin(n\pi x/L) e^{-(n\pi\alpha/L)^2 t}$ con $b_n = \frac{2}{L}\int_0^L f(x)\sin(n\pi x/L)\,dx$.
  - Interpretación: cada modo decae exponencialmente; modos altos decaen rápido → **suavizamiento**.
- **Problema de calor en línea infinita**: usar transformada de Fourier en $x$. Solución vía **kernel de calor** $K(x,t) = \frac{1}{\sqrt{4\pi\alpha^2 t}}e^{-x^2/(4\alpha^2 t)}$: $u(x,t) = (K(\cdot,t) * f)(x)$.
- **Comportamiento cualitativo**: principio del máximo (el máximo se alcanza en frontera o en $t=0$); irreversibilidad temporal (no se puede resolver hacia atrás en $t$); regularización instantánea ($u$ es $C^\infty$ para $t>0$ aún si $f$ es discontinua).

#### 3.7.2 Ecuación de onda $u_{tt} = c^2 u_{xx}$

- **Derivación física**: cuerda vibrante (Newton) o pequeña amplitud en gas, etc.
- **Línea infinita — fórmula de d'Alembert**: para $u_{tt} = c^2 u_{xx}$ en $\mathbb{R}\times[0,\infty)$ con $u(x,0)=f(x)$, $u_t(x,0)=g(x)$, la solución es
  $$u(x,t) = \frac{1}{2}\big[f(x+ct) + f(x-ct)\big] + \frac{1}{2c}\int_{x-ct}^{x+ct} g(\xi)\,d\xi.$$
  Interpretación: superposición de dos ondas viajeras (a velocidad $\pm c$) más un término de impulso. **Velocidad finita de propagación**, **dependencia local** del dato inicial.
- **Cuerda finita** ($0 < x < L$) con condiciones $u(0,t) = u(L,t) = 0$: separación de variables igual que el calor, pero ahora $T_n$ satisface $T_n'' + (n\pi c/L)^2 T_n = 0$ → soluciones $\cos(n\pi c t/L)$ y $\sin(n\pi c t/L)$. **No hay decaimiento** (a diferencia del calor): los modos oscilan eternamente. Esta es la **música de la cuerda** — los modos $n=1,2,3,\ldots$ son los **armónicos** de la cuerda.
- **Ondas viajeras**: solución $u(x,t) = F(x-ct) + G(x+ct)$ — característica de la PDE hiperbólica.
- **Comportamiento cualitativo**: reversibilidad temporal, propagación a velocidad finita, conservación de energía $E = \frac{1}{2}\int (u_t^2 + c^2 u_x^2)\,dx$.

#### 3.7.3 Ecuación de Laplace $\Delta u = 0$ y Poisson $\Delta u = f$

- **Derivación física**: estado estacionario del calor o potencial electrostático (Poisson con fuente, Laplace sin).
- **En rectángulo 2D** $[0,a]\times[0,b]$ con condiciones de Dirichlet en frontera: separación $u(x,y) = X(x)Y(y)$. Eigenproblema → series dobles de Fourier en senos / cosenos según la condición.
- **En disco — kernel de Poisson**: para $\Delta u = 0$ en disco $r<R$ con $u(R,\theta) = f(\theta)$, la solución es
  $$u(r,\theta) = \frac{R^2 - r^2}{2\pi}\int_0^{2\pi}\frac{f(\phi)}{R^2 - 2Rr\cos(\theta-\phi) + r^2}\,d\phi$$
  o equivalentemente $u(r,\theta) = \frac{a_0}{2} + \sum_{n=1}^\infty (r/R)^n[a_n\cos n\theta + b_n\sin n\theta]$.
- **Principio del máximo**: $u$ armónica → max y min en frontera (corolarios: unicidad, dependencia continua del dato).
- **Propiedad de la media**: $u$ armónica en $\Omega$ → $u(x_0)$ = promedio de $u$ sobre cualquier esfera centrada en $x_0$ contenida en $\Omega$.

### 3.8 Problemas de contorno (BVP)

- **Dirichlet**: $u = f$ en $\partial\Omega$. Tipo "caja con paredes a temperatura fija" en calor; tipo "potencial fijado en frontera" en electrostática.
- **Neumann**: $\partial u/\partial n = g$ en $\partial\Omega$. Tipo "flujo prescrito" en calor; "campo eléctrico normal prescrito" en electrostática. **Compatibilidad**: $\int_\Omega \Delta u = \int_{\partial\Omega} \partial u/\partial n$ → para Laplace en Neumann, $\int_{\partial\Omega} g = 0$ es necesario; **solución única salvo constante**.
- **Robin / mixtas**: $\alpha u + \beta\partial u/\partial n = h$. Tipo "ley de enfriamiento de Newton".
- **Expansión por eigenfunciones**: para BVP no homogéneos $Lu = f$ con condiciones homogéneas, expandir $u = \sum c_n\phi_n$ en la base de eigenfunciones de $L$. Los coeficientes se obtienen del producto interno $c_n = \langle f,\phi_n\rangle/\lambda_n$.

### 3.9 Teoría de Sturm-Liouville (introducción)

- **Forma de Sturm-Liouville**: $\frac{d}{dx}\!\left[p(x)\frac{dy}{dx}\right] + q(x) y + \lambda w(x) y = 0$, equivalentemente $-(p(x)y')' + q(x)y = \lambda w(x) y$, en $[a,b]$ con condiciones de contorno separadas (Dirichlet, Neumann, Robin) o periódicas. $p(x) > 0$, $w(x) > 0$.
- **Operador autoadjunto**: $\mathcal{L} y = -\frac{1}{w}[(py')' - qy]$ es **autoadjunto** en $L^2_w[a,b]$ con producto interno $\langle f,g\rangle_w = \int_a^b f(x)\overline{g(x)} w(x)\,dx$. Es decir $\langle \mathcal{L}f, g\rangle_w = \langle f, \mathcal{L}g\rangle_w$.
- **Propiedades clave** (Sturm-Liouville regular):
  - Todos los **eigenvalores son reales** y forman una sucesión $\lambda_1 < \lambda_2 < \cdots \to \infty$.
  - Las **eigenfunciones son ortogonales** en $L^2_w$.
  - El conjunto de eigenfunciones es **completo** en $L^2_w$ → cualquier $f$ admite expansión de Fourier generalizada $f = \sum c_n \phi_n$ con $c_n = \langle f,\phi_n\rangle_w / \|\phi_n\|^2_w$.
  - La **n-ésima eigenfunción** tiene exactamente $n-1$ ceros en $(a,b)$ (teorema de oscilación).
- **Ejemplos canónicos** ya cubiertos en hex previos:
  - $-y'' = \lambda y$ en $[0,L]$ con Dirichlet → base de senos $\sin(n\pi x/L)$, $\lambda_n = (n\pi/L)^2$, peso 1. Es **la base de Fourier**.
  - Ecuación de Bessel reescrita como S-L → base de Bessel-Fourier en $[0, R]$ con peso $x$.
  - Ecuación de Legendre como S-L → polinomios de Legendre como base ortogonal en $[-1,1]$ con peso $1$.
  - Ecuación de Hermite como S-L → polinomios de Hermite con peso $e^{-x^2}$ en $\mathbb{R}$.
- **Power conceptual**: Sturm-Liouville **unifica** todas las "expansiones de Fourier generalizadas" usadas para resolver PDEs en distintas geometrías. La teoría no es solo elegante; es **el meta-teorema** que justifica por qué todos los métodos de separación de variables funcionan.

---

## 4. Convergencia y divergencia entre currículos

**Convergencia universal en los siguientes 8 bloques** (todos los nueve currículos tier-1 los cubren a alguna profundidad):

1. Laplace transform completo con tabla, propiedades, IVPs.
2. Sistemas lineales 2×2 y 3×3 con eigenvalues, retratos de fase.
3. Series de potencias y método de Frobenius alrededor de puntos singulares regulares.
4. Series de Fourier en intervalo finito + convergencia.
5. Ecuación del calor 1D en barra finita vía separación de variables.
6. Ecuación de onda 1D en cuerda finita vía separación de variables.
7. Ecuación de Laplace en geometrías simples (rectángulo, disco).
8. Funciones de Bessel y polinomios de Legendre como ejemplos canónicos.

**Divergencias destacadas**:

- **Profundidad en transformada de Fourier**: Stanford EE 261 le dedica un curso entero (12 lectures, 100% Fourier); MIT 18.03 no la cubre; Cambridge IB Methods y Berkeley 121A la integran a fondo. **Decisión Rodybee**: incluir como un hex completo (hex 8) con propiedades, ejemplos canónicos y aplicación a PDEs en línea infinita; difierir sampling/Nyquist a `signal_processing`.
- **Profundidad en Sturm-Liouville**: Cambridge IB Methods y UNAM Métodos de la Física lo cubren formalmente con demostración del carácter autoadjunto; MIT 18.03 lo omite. **Decisión Rodybee**: incluir como hex completo (hex 13) con énfasis en la formalización y el meta-teorema de unificación.
- **Funciones de Green**: Cambridge IB Methods las trata para BVPs (estilo $G(x;\xi)$ resolviendo $LG = \delta$); MIT 18.03 las trata solo para problemas de valor inicial (impulse response) vía Laplace. **Decisión Rodybee**: una skill de funciones de Green como *intuición + impulse response link to delta function* en hex 1 (Laplace), y mención cualitativa en hex 13 sin profundizar.
- **Métodos numéricos**: MIT 18.085 y muchos cursos aplicados incluyen finite differences, Crank-Nicolson, métodos espectrales numéricos. **Decisión Rodybee**: OUT, completo difierido a `numerical_methods`.
- **Análisis complejo / contour integration para Laplace inversa**: Cambridge II y UNAM Físicos lo usan; MIT 18.03 evita. **Decisión Rodybee**: OUT (Bromwich integral solo se cita); difierir a `complex_analysis`.

---

## 5. Estructura recomendada en hex para Rodybee

Propuesta: **14 hex, ~100 skills**. Cada hex agrupa entre 6 y 9 skills temáticamente coherentes. La numeración global de skills es contigua dentro del programa.

### hex_1 — TRANSFORMADA DE LAPLACE: DEFINICIÓN Y TABLA (8 skills)

1. `laplace_definition_existence` — Definición $\mathcal{L}\{f\}(s) = \int_0^\infty e^{-st}f(t)dt$, orden exponencial, ROC.
2. `laplace_basic_table` — Tabla básica: $1, t, t^n, e^{at}, \sin, \cos, \sinh, \cosh$.
3. `laplace_linearity` — Linealidad y aplicación a combinaciones.
4. `laplace_first_shift_theorem` — $\mathcal{L}\{e^{at}f(t)\} = F(s-a)$ (s-shift).
5. `laplace_derivative_in_s` — $\mathcal{L}\{t^n f(t)\} = (-1)^n F^{(n)}(s)$.
6. `laplace_derivative_in_t` — $\mathcal{L}\{f'\} = sF(s)-f(0)$, generalización a orden $n$.
7. `laplace_integral_property` — $\mathcal{L}\{\int_0^t f\} = F(s)/s$.
8. `laplace_periodic_function` — Transformada de funciones periódicas: $F(s) = \frac{1}{1-e^{-sT}}\int_0^T e^{-st}f(t)\,dt$.

> **Mapping**: MIT 18.03 §6.1–6.3, Boyce-DiPrima cap.6, UNAM EDO II cap.4, Cambridge IA Differential Eqs §6, Tokyo 微分方程式 II §3.

### hex_2 — LAPLACE INVERSA, HEAVISIDE, DIRAC, CONVOLUCIÓN (8 skills)

9. `inverse_laplace_tables_partial_fractions` — Inversa por tablas + fracciones parciales.
10. `inverse_laplace_complete_square` — Completar el cuadrado para $s^2 + bs + c$ irreducible.
11. `heaviside_step_function` — $u_a(t)$ y su Laplace $e^{-as}/s$.
12. `laplace_second_shift_theorem` — $\mathcal{L}\{u_a(t)f(t-a)\} = e^{-as}F(s)$ (t-shift).
13. `dirac_delta_intuitive` — $\delta(t-a)$ como límite de pulsos, propiedad de filtraje.
14. `laplace_dirac_delta` — $\mathcal{L}\{\delta(t-a)\} = e^{-as}$.
15. `convolution_definition_properties` — $(f*g)(t) = \int_0^t f(\tau)g(t-\tau)d\tau$, conmutatividad, asociatividad.
16. `convolution_theorem_laplace` — $\mathcal{L}\{f*g\} = F(s)G(s)$ y aplicación a inversiones.

> **Mapping**: MIT 18.03 §6.4–6.6, Boyce-DiPrima cap.6, UNAM EDO II cap.4, Cambridge IB Methods §2.

### hex_3 — APLICACIÓN DE LAPLACE A IVPs Y RESPUESTA AL IMPULSO (7 skills)

17. `laplace_solve_ivp_constant_coeff` — Receta completa: transformar → resolver → invertir.
18. `laplace_solve_ivp_continuous_forcing` — IVPs con $f(t)$ continua, ejemplos típicos.
19. `laplace_discontinuous_forcing` — IVPs con escalones, ondas cuadradas, pulsos.
20. `laplace_impulsive_forcing_delta` — IVPs con $\delta(t-a)$ (golpes de impulso).
21. `impulse_response_LTI` — Respuesta al impulso $h(t)$, sistema LTI, $y = h * f$.
22. `transfer_function_intro` — Función de transferencia $H(s)$ como $\mathcal{L}\{h\}$, intro a teoría de control.
23. `green_function_intuition` — Función de Green del problema temporal = respuesta al impulso; conexión con $\delta$.

> **Mapping**: MIT 18.03 §6.5–6.6, Boyce-DiPrima cap.6, Cambridge IB Methods §3 (Green's functions), UNAM EDO II cap.4.

### hex_4 — SISTEMAS LINEALES DE ODEs: METODO DE EIGENVALORES (8 skills)

24. `system_matrix_form_xprime_Ax` — Forma $\mathbf{x}' = A\mathbf{x}$, espacio de soluciones, dim $n$.
25. `eigenmethod_real_distinct` — Solución $\sum c_i e^{\lambda_i t}\mathbf{v}_i$ para eigenvalues reales distintos.
26. `eigenmethod_complex_conjugate` — Eigenvalues complejos $\alpha\pm i\beta$ → soluciones reales con $e^{\alpha t}\cos$ y $e^{\alpha t}\sin$.
27. `eigenmethod_repeated_defective` — Eigenvalues repetidos con multiplicidad geométrica $<$ algebraica → eigenvectores generalizados.
28. `fundamental_matrix_phi` — $\Phi(t)$ con columnas LI, Wronskiano matriz no nulo.
29. `matrix_exponential_diagonalizable` — $e^{tA} = Pe^{tD}P^{-1}$ vía diagonalización.
30. `matrix_exponential_general` — $e^{tA} = \sum_k (tA)^k/k!$, propiedades $e^{(t+s)A}=e^{tA}e^{sA}$.
31. `system_solution_via_matrix_exp` — $\mathbf{x}(t) = e^{tA}\mathbf{x}_0$ como solución general homogénea.

> **Mapping**: MIT 18.03 §7.1–7.7, Boyce-DiPrima cap.7, UNAM EDO II cap.5, Cambridge IA Differential Eqs §5, link directo a `linear_algebra` hex 8-9.

### hex_5 — RETRATOS DE FASE Y ESTABILIDAD LINEAL (7 skills)

32. `phase_portrait_2x2_classification` — Clasificación completa: nodo, silla, espiral, centro.
33. `nodes_proper_improper` — Nodos según multiplicidad (proper si diagonalizable, improper si defectivo).
34. `saddle_unstable` — Sillas con $\lambda_1\lambda_2 < 0$.
35. `spirals_centers_complex_eigenvalues` — Espirales y centros según parte real $\alpha$.
36. `degenerate_cases` — Casos degenerados: $\lambda=0$, $\lambda$ doble.
37. `trace_determinant_diagram` — Plano $(\tau,\Delta)$ con discriminante $\tau^2-4\Delta$.
38. `linear_stability_summary` — Resumen: estable iff $\operatorname{Re}(\lambda_i) < 0\,\forall i$.

> **Mapping**: MIT 18.03 §7.5–7.6, Boyce-DiPrima cap.9 §1-2, UNAM EDO II cap.6, Stanford Math 53, Tokyo 微分方程式 II.

### hex_6 — SISTEMAS NO HOMOGÉNEOS Y APLICACIONES (6 skills)

39. `nonhomogeneous_system_general_form` — $\mathbf{x}' = A\mathbf{x}+\mathbf{g}(t)$, descomposición $\mathbf{x}=\mathbf{x}_h+\mathbf{x}_p$.
40. `variation_of_parameters_matrix` — $\mathbf{x}_p = \Phi(t)\int\Phi^{-1}(t)\mathbf{g}(t)dt$.
41. `undetermined_coefficients_systems` — Coeficientes indeterminados para sistemas (cuando $\mathbf{g}$ es polinomio, exponencial, seno/coseno).
42. `coupled_oscillators_modeling` — Modelado de osciladores acoplados (resortes, circuitos).
43. `compartmental_models_biology` — Modelos compartimentales: SIR, farmacocinética, depredador-presa lineal.
44. `nonlinear_systems_brief_mention` — Mención breve a sistemas no lineales, linealización en puntos críticos (intro a `dynamical_systems`).

> **Mapping**: MIT 18.03 §7.9, Boyce-DiPrima cap.7 §9, UNAM EDO II cap.5, Cambridge IA Differential Eqs §5.

### hex_7 — SOLUCIONES POR SERIES Y FROBENIUS (7 skills)

45. `ordinary_singular_points_classification` — Definición de punto ordinario, singular regular, singular irregular.
46. `power_series_around_ordinary_point` — Sustituir $y=\sum a_n x^n$, recurrencia, ejemplo Airy.
47. `recurrence_relation_pattern` — Identificar patrones, dos soluciones LI.
48. `frobenius_method_indicial_equation` — $y = x^r\sum a_n x^n$, ecuación indicial.
49. `frobenius_three_cases` — Tres casos de raíces (no entero, repetida, entero) y término logarítmico.
50. `airy_legendre_examples` — Series para Airy y Legendre alrededor de 0; polinomios de Legendre cuando $n$ entero.
51. `bessel_via_frobenius` — Aplicar Frobenius a la ecuación de Bessel, obtener $J_\nu$.

> **Mapping**: MIT 18.03 §11 (notes Mattuck), Boyce-DiPrima cap.5, UNAM EDO II cap.7, Cambridge IB Methods §6, Tokyo 微分方程式 II §5.

### hex_8 — FUNCIONES ESPECIALES (BESSEL, LEGENDRE, HERMITE, GAMMA) (7 skills)

52. `gamma_function_definition_properties` — $\Gamma(s)=\int t^{s-1}e^{-t}dt$, $\Gamma(n+1)=n!$, $\Gamma(1/2)=\sqrt\pi$.
53. `bessel_J_Y_definition` — $J_\nu, Y_\nu$ como soluciones de Bessel; serie de $J_n$ entero.
54. `bessel_orthogonality_zeros` — Ortogonalidad en $[0,R]$ con peso $x$, ceros $\alpha_{n,k}$.
55. `legendre_polynomials_rodrigues` — Rodrigues $P_n = \frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2-1)^n$.
56. `legendre_orthogonality` — $\int_{-1}^1 P_m P_n dx = \frac{2}{2n+1}\delta_{mn}$.
57. `hermite_polynomials_intro` — Rodrigues, ortogonalidad con peso $e^{-x^2}$, mención a oscilador armónico cuántico.
58. `special_functions_strategy` — Cuándo usar Bessel (cilindros), Legendre (esferas), Hermite (gaussianas).

> **Mapping**: Cambridge IB Methods §7, Berkeley 121A §5, UNAM Métodos Físicos cap.4, Tokyo 応用数学 §4, Arfken-Weber caps.11-13.

### hex_9 — SERIES DE FOURIER (8 skills)

59. `fourier_series_definition` — Definición con $a_0/2 + \sum[a_n\cos+b_n\sin]$.
60. `trigonometric_orthogonality` — Ortogonalidad de $\{1,\cos\frac{n\pi x}{L},\sin\frac{n\pi x}{L}\}$ en $[-L,L]$.
61. `fourier_coefficients_formulas` — Fórmulas integrales para $a_n, b_n$ vía ortogonalidad.
62. `even_odd_extensions_sine_cosine_series` — Extensiones par/impar → series de cosenos / senos puras.
63. `fourier_pointwise_convergence_dirichlet` — Teorema de Dirichlet, $\frac{f^++f^-}{2}$ en saltos.
64. `fourier_uniform_L2_parseval` — Convergencia uniforme bajo continuidad y suavidad; identidad de Parseval.
65. `gibbs_phenomenon` — Overshoot persistente ~9% en saltos.
66. `complex_fourier_series` — Forma $\sum c_n e^{in\pi x/L}$; equivalencia con forma trigonométrica.

> **Mapping**: MIT 18.085 §4, Cambridge IB Methods §1, Berkeley 121A §3, Stanford EE 261 lectures 1-3, UNAM Métodos Físicos cap.2, Boyce-DiPrima cap.10 §1-4, Tokyo 応用数学 §1.

### hex_10 — TRANSFORMADA DE FOURIER (7 skills)

67. `fourier_transform_definition_inverse` — Convención EE/física, inversa.
68. `fourier_transform_basic_examples` — Gaussiana → gaussiana, rect → sinc, exp bilateral → Lorentziana, $\delta\to 1$.
69. `fourier_transform_properties` — Linealidad, shift, modulación, escalado, derivada $i\omega$.
70. `fourier_convolution_theorem` — $\widehat{f*g}=\widehat{f}\widehat{g}$, dual $\widehat{fg}=\frac{1}{2\pi}\widehat{f}*\widehat{g}$.
71. `plancherel_parseval` — $\int|f|^2 = \frac{1}{2\pi}\int|\widehat{f}|^2$, conservación de energía.
72. `fourier_transform_solve_pdes_infinite` — Aplicar a calor en línea infinita → kernel de calor.
73. `fourier_transform_uncertainty_intro` — Principio de incertidumbre de Heisenberg-Fourier (intro cualitativa, link a mecánica cuántica).

> **Mapping**: Stanford EE 261 lectures 4-12, MIT 18.085 §4-5, Cambridge IB Methods §1, Berkeley 121A §4, UNAM Métodos Físicos cap.3, Folland caps.1-3.

### hex_11 — PDE: ECUACIÓN DEL CALOR (7 skills)

74. `heat_equation_derivation` — Ley de Fourier + conservación → $u_t=\alpha^2 u_{xx}$.
75. `heat_dirichlet_finite_bar_separation` — Barra finita con extremos a 0; separación de variables.
76. `heat_eigenfunctions_modes` — Eigenvalues $(n\pi/L)^2$, eigenfunciones $\sin(n\pi x/L)$, decaimiento exp.
77. `heat_initial_condition_fourier_expansion` — Expansión de $f(x)$ en serie de senos para condición inicial.
78. `heat_neumann_robin_bc` — Casos Neumann y Robin con eigenfunciones $\cos$ y mixtas.
79. `heat_infinite_line_kernel` — Línea infinita: kernel de calor $K(x,t)$, solución $u = K * f$.
80. `heat_qualitative_properties` — Principio del máximo, irreversibilidad, suavizamiento.

> **Mapping**: MIT 18.085 §5, Cambridge IB Methods §4, Berkeley 121A §6, UNAM Métodos Físicos cap.5, Strauss caps.2-4, Haberman caps.1-3, Tokyo 応用数学 §6.

### hex_12 — PDE: ECUACIÓN DE ONDA Y LAPLACE (8 skills)

81. `wave_equation_derivation` — Cuerda vibrante / Newton → $u_{tt}=c^2 u_{xx}$.
82. `dalembert_formula_infinite_string` — Fórmula de d'Alembert con $f, g$ iniciales.
83. `wave_finite_string_modes` — Cuerda finita: separación → $\cos$ y $\sin$ temporales (sin decaimiento), armónicos.
84. `wave_traveling_solutions` — Ondas viajeras $F(x-ct)+G(x+ct)$, propagación finita.
85. `wave_energy_conservation` — Energía $E=\frac{1}{2}\int(u_t^2+c^2 u_x^2)dx$ se conserva.
86. `laplace_equation_2d_rectangle` — $\Delta u=0$ en rectángulo, dobles series Fourier.
87. `laplace_disk_poisson_kernel` — Kernel de Poisson, expansión $\sum (r/R)^n[\cdots]$.
88. `laplace_max_principle_uniqueness` — Principio del máximo, propiedad de la media, unicidad.

> **Mapping**: MIT 18.085 §5, Cambridge IB Methods §4-5, Berkeley 121A §6-7, UNAM Métodos Físicos caps.6-7, Strauss caps.2-7, Haberman caps.4-9, Tokyo 応用数学 §6-7.

### hex_13 — STURM-LIOUVILLE Y BVP (7 skills)

89. `sturm_liouville_form` — Forma $-(py')'+qy=\lambda w y$, condiciones separadas.
90. `self_adjoint_operator` — $\mathcal{L}$ autoadjunto en $L^2_w$, $\langle\mathcal{L}f,g\rangle = \langle f,\mathcal{L}g\rangle$.
91. `sl_real_eigenvalues_orthogonal` — Eigenvalues reales, eigenfunciones ortogonales.
92. `sl_completeness_expansion` — Conjunto completo en $L^2_w$, expansión de Fourier generalizada.
93. `sl_examples_unification` — Fourier, Bessel, Legendre, Hermite — todos S-L; meta-teorema de unificación.
94. `bvp_dirichlet_neumann_robin` — Tres tipos de BC, condiciones de compatibilidad para Neumann.
95. `eigenfunction_expansion_inhomogeneous` — Resolver $Lu=f$ con BC homogéneas vía expansión $u = \sum c_n\phi_n / \lambda_n$.

> **Mapping**: Cambridge IB Methods §6, Berkeley 121A §5, UNAM Métodos Físicos cap.4, Hassani caps.18-19, Arfken cap.10, Tokyo 応用数学 §5.

### hex_14 — APLICACIONES Y CONEXIONES (7 skills)

96. `cylindrical_problems_bessel` — Calor / onda en geometría cilíndrica → bases de Bessel.
97. `spherical_problems_legendre` — Laplace / Poisson en simetría axial esférica → bases de Legendre.
98. `signal_processing_fourier_intro` — Espectro de frecuencia, intro a filtros, link a `signal_processing` futuro.
99. `quantum_harmonic_oscillator_intro` — Schrödinger del oscilador → Hermite, link a mecánica cuántica.
100. `control_theory_laplace_intro` — Función de transferencia, polos / estabilidad, link a `control_theory` futuro.
101. `vibrations_modal_analysis` — Análisis modal de estructuras, link a ingeniería mecánica.
102. `methods_strategy_choice` — Decisión estratégica: ¿Laplace, Fourier, separación, transformada? Cuándo cada uno.

> **Mapping**: aplicaciones intercaladas en MIT 18.085, Stanford EE 261, Cambridge IB Methods, UNAM Métodos Físicos, Tec MTY proyectos.

**Total: 14 hex, 102 skills.**

### 5.1 Edad por hex

- hex_1, hex_2, hex_3 (Laplace completo): [19, 20] — sophomore tardío.
- hex_4, hex_5, hex_6 (Sistemas + retratos + no homogéneos): [19, 20] — sophomore tardío.
- hex_7, hex_8 (Series-Frobenius + Funciones Especiales): [20, 21] — junior temprano.
- hex_9, hex_10 (Series y Transformada de Fourier): [20, 21] — junior temprano.
- hex_11, hex_12 (PDEs calor / onda / Laplace): [20, 21] — junior medio.
- hex_13 (Sturm-Liouville + BVP): [20, 21] — junior medio.
- hex_14 (Aplicaciones y conexiones): [20, 21] — junior medio, cierre del programa.

### 5.2 Orden secuencial vs paralelo

La lista anterior es secuencial, pero hay puntos de paralelización razonables:

- **hex_3 (aplicación de Laplace a IVPs)** y **hex_5 (retratos de fase)** pueden correr en paralelo después de hex_2 y hex_4 respectivamente — son dos hilos distintos.
- **hex_8 (funciones especiales)** puede correr en paralelo con **hex_9 (series de Fourier)** — son temas independientes; el alumno avanzado puede tomarlos a la vez.
- **hex_11 (calor)** y **hex_12 (onda + Laplace)** pueden correr en paralelo — son tres PDEs distintas con técnicas similares; algunos alumnos prefieren completar una antes de empezar otra, otros trabajan las tres en paralelo. Rodybee mantiene el orden por defecto (calor → onda+Laplace) por gradiente de dificultad pedagógico, pero el placement engine puede reordenar.

### 5.3 Dependencias internas críticas

- **hex_4 (sistemas)** requiere `linear_algebra` hex 8-9 (eigenvalores + diagonalización). Sin ese leverage, el método de eigenvalores cae en cómputo ciego.
- **hex_8 (funciones especiales)** requiere hex_7 (Frobenius) — sin Frobenius, las funciones especiales son magia.
- **hex_11/12 (PDEs)** requiere hex_9 (series de Fourier) — sin Fourier, separación de variables no se puede culminar.
- **hex_13 (Sturm-Liouville)** requiere hex_8, hex_9, hex_11, hex_12 — es el meta-teorema que **unifica** lo que se ha hecho.

---

## 6. Decisiones clave (architectural)

### 6.1 Escuela "Mathematical Methods" vs "ODEs II tradicional" → HÍBRIDO con sesgo a "Mathematical Methods"

**Recomendación**: combinar los dos cursos típicos (ODEs II + Mathematical Methods) en un único programa de ~100 skills. Cubrir Laplace + sistemas + retratos en hex 1-6 (estilo MIT 18.03), luego volcarse a Fourier + PDEs + Sturm-Liouville en hex 7-14 (estilo Cambridge IB Methods + Berkeley 121A + UNAM Métodos Físicos).

**Justificación**:

1. **Mastery-based + ritmo propio**: Rodybee no opera con cuatrimestres ni semestres. El alumno avanza cuando domina. Por tanto, fragmentar en dos programas separados (ODEs II + Methods) es artificial — pedagógicamente, los temas se entrelazan (Laplace usa convolución, Fourier la generaliza; series de Fourier son S-L con peso 1, Bessel y Legendre son S-L con otros pesos).
2. **Programa-puente unificado**: el alumno sale con una visión coherente: "transformadas integrales (Laplace + Fourier) + bases de eigenfunciones (Sturm-Liouville) son herramientas duales que resuelven ODEs y PDEs lineales". Esa visión se pierde si se fragmenta.
3. **Bibliografía y MOOCs convergentes**: Boyce-DiPrima cubre lo de hex 1-6, Strauss + Haberman cubren lo de hex 9-14. Un alumno motivado puede usar ambos textos en paralelo.
4. **Carga total justificable**: ~100 skills es pesado pero no único — `calculus_2` también supera 100 skills; ambos son programas universitarios serios y se autorizan ~24-30 meses de práctica.

### 6.2 Métodos numéricos (Euler, RK4, finite differences, FFT) → OUT (programa futuro `numerical_methods`)

**Recomendación**: nada de métodos numéricos en `differential_equations_2`. Ni Euler, ni RK4, ni finite differences, ni Crank-Nicolson, ni métodos espectrales numéricos, ni FFT.

**Justificación**: estos temas son propios de un programa de **métodos numéricos** que combine numerical linear algebra + numerical ODE/PDE + cuadratura numérica + raíces de ecuaciones. Cursos de referencia: Stanford CME 302/304, MIT 18.330, Berkeley Math 128A. Rodybee los reservará para `numerical_methods` futuro. **Decisión limpia**: en `differential_equations_2` toda solución es analítica o por series — el computador no entra.

### 6.3 Funciones de Green → IN como una skill (hex_3) + mención en hex_13

**Recomendación**: incluir funciones de Green como una **skill conceptual** en hex_3 (`green_function_intuition` — respuesta al impulso = función de Green del problema temporal con $\delta$ como forzamiento). Mención cualitativa en hex_13 sin profundizar (sin construcción explícita de $G(x;\xi)$ para BVPs espaciales).

**Justificación**: la función de Green es **el concepto más profundo** que conecta Laplace (impulse response), $\delta$, convolución y la teoría de operadores. Sin mencionarla, el alumno no ve el meta-patrón. Sin embargo, su construcción **explícita** para BVPs (Cambridge IB Methods lo hace) requiere análisis funcional fino y se difiere a un programa avanzado (`mathematical_physics` futuro).

### 6.4 PDEs no lineales / tensoriales (Maxwell, Navier-Stokes) → OUT (programa futuro `mathematical_physics`)

**Recomendación**: solo PDEs lineales escalares clásicas (calor, onda, Laplace). Nada de Navier-Stokes, ecuaciones de Maxwell completas, conservación no lineal, KdV, ecuación de onda no lineal. Mención cualitativa en hex_6 (`nonlinear_systems_brief_mention`) y hex_14 (`vibrations_modal_analysis`), pero sin tratamiento formal.

**Justificación**: las PDEs no lineales y vectoriales son tema de un curso de **métodos matemáticos II** o **mecánica continua / electrodinámica avanzada**. Su tratamiento riguroso requiere análisis funcional, geometría diferencial y soluciones débiles. Fuera del techo Rodybee sophomore/junior. **Decisión limpia**: difierir a `mathematical_physics`.

### 6.5 Distribuciones / soluciones débiles → OUT (graduate)

**Recomendación**: tratamiento **intuitivo** de $\delta$ (como límite de pulsos, como functional). Sin teoría de distribuciones formal (Schwartz $\mathcal{S}'$, espacios de Sobolev $W^{k,p}$, soluciones débiles).

**Justificación**: la teoría de distribuciones es **graduate-level** (PhD primer año). Schwartz, Treves, Hörmander son los referentes. Rodybee la difiere para `functional_analysis` o un programa de PDEs avanzadas, ambos hipotéticos a futuro lejano.

### 6.6 Análisis complejo (residuos, integrales de contorno) — solo lo MÍNIMO para Laplace inversa → OUT, programa separado `complex_analysis`

**Recomendación**: la **fórmula de Bromwich** $f(t) = \frac{1}{2\pi i}\int_{\gamma-i\infty}^{\gamma+i\infty} e^{st}F(s)ds$ se **cita** pero no se exige. Toda inversa de Laplace en mastery se hace por tablas + fracciones parciales + completar cuadrado + (si aplica) convolución.

**Justificación**: análisis complejo es un curso entero de su propio nivel (`complex_analysis` futuro). Cubrirlo aquí solo "lo mínimo para Bromwich" sería superficial y carga sin valor. La gran mayoría de inversas de Laplace en cursos sophomore/junior se hacen sin contour integration, así que Rodybee se alinea con MIT 18.03 / Boyce-DiPrima.

### 6.7 Hilbert spaces / análisis funcional → OUT (graduate)

**Recomendación**: usar $L^2$ y bases ortogonales **operacionalmente** (Parseval, expansiones de Fourier generalizadas) sin la teoría formal (completitud topológica de Hilbert, operadores acotados, espectros generalizados, espacios duales).

**Justificación**: análisis funcional formal es **graduate-level** (Reed-Simon, Brezis, Kreyszig). Se diferirá a `functional_analysis` futuro. En este programa, $L^2$ es un nombre operacional para "espacio de funciones cuadrado-integrables con producto interno integral".

### 6.8 ODEs no lineales / caos / sistemas dinámicos → MENCIÓN BREVE; programa futuro `dynamical_systems`

**Recomendación**: mención breve en hex_6 (`nonlinear_systems_brief_mention`) sobre linealización en puntos críticos y hex_14 (link a aplicaciones en biología, ecología, neurociencia). Sin atractores, sin Lyapunov, sin bifurcaciones, sin caos (Poincaré, mapa de Hénon, Lorenz, Smale).

**Justificación**: dinámica no lineal y caos es un programa propio (`dynamical_systems` futuro), referente Strogatz / Guckenheimer-Holmes. Difierir es la decisión correcta.

### 6.9 Funciones especiales — Bessel + Legendre full + Hermite intro

**Recomendación**: incluir Bessel y Legendre como skills completas con derivación (Frobenius), forma cerrada, ortogonalidad, aplicación a separación de variables. Hermite **solo intro** (Rodrigues, ortogonalidad, mención al oscilador armónico cuántico).

**Justificación**:
- **Bessel** es indispensable: cualquier separación de variables en geometría cilíndrica la requiere. Cubrirla a fondo (con ortogonalidad y ceros) es no negociable.
- **Legendre** es indispensable: separación en geometría esférica (que aparece en electrostática, gravitación, cuántica) la requiere. Cubrirla es no negociable.
- **Hermite** solo aparece en oscilador armónico cuántico. Cubrirla a fondo (función generadora, recurrencias, integrales con peso $e^{-x^2}$) es de utilidad limitada en este programa; basta mencionarla. Profundización viene en `quantum_mechanics_intro` futuro.
- **Laguerre** se omite — aparece solo en hidrógeno cuántico. Difierir a `quantum_mechanics_intro`.
- **Chebyshev** se omite — es de uso numérico (cuadratura) → difierir a `numerical_methods`.

### 6.10 Convención de transformada de Fourier — EE/física $e^{-i\omega x}$, inversa con $1/(2\pi)$

**Recomendación**: usar la convención $\widehat{f}(\omega) = \int f(x)e^{-i\omega x}dx$, $f(x) = \frac{1}{2\pi}\int\widehat{f}(\omega)e^{i\omega x}d\omega$.

**Justificación**: es la convención de Stanford EE 261, MIT 18.085, ingeniería aplicada y la mayoría de física. Otras convenciones (Folland: $\nu = \omega/(2\pi)$ con simetría; matemáticas puras: $\sqrt{2\pi}$ simétrico) se mencionan para que el alumno sepa que existen. Pero la consistencia interna del programa exige una sola convención.

### 6.11 Boundary integral methods / Green's functions for PDEs → OUT

**Recomendación**: nada de método de boundary elements, integrales de superficie, representación integral de Green para PDEs (ej. $u(x) = \int G(x,y)f(y)dy + \int [\cdots]dS$).

**Justificación**: temas avanzados, propios de PDEs II o métodos numéricos para PDEs. Difierir a `numerical_methods` o `mathematical_physics`.

### 6.12 Programa cubre 22-28 meses de práctica

Comparable a `calculus_2` por la cantidad de objetos nuevos (Laplace, Fourier series, Fourier transform, Bessel, Legendre, Hermite, calor, onda, Laplace, Sturm-Liouville). El alumno típico hará el programa entre los 19 y 21 años, en paralelo (parcial) con `linear_algebra` o tras completarlo.

### 6.13 Mastery criteria mix

- **Computational skills** (computar Laplace de una función, invertir con fracciones parciales, resolver IVP completa, computar matriz exponencial pequeña, computar coeficientes de Fourier, separar variables en una PDE): MEDIUM (correctness exigente, velocidad razonable).
- **Conceptual / structural skills** (entender qué es un eigenvalor temporal, por qué los modos del calor decaen, por qué los modos de la onda no decaen, qué unifica Sturm-Liouville): LENIENT.
- **Theorem-application skills** (cuándo Laplace vs Fourier, cuándo separación de variables vs transformada, cuándo Frobenius vs serie ordinaria): LENIENT (énfasis en saber CUÁNDO usar).
- **Proof skills** (derivar la fórmula de d'Alembert, demostrar ortogonalidad de la base trigonométrica, demostrar que Sturm-Liouville tiene eigenvalores reales): LENIENT (orientado a comprensión más que reproducción exacta).
- **Application skills** (modelar circuito RLC, modelar barra de calor, modelar membrana de tambor, interpretar espectro de frecuencias, interpretar polos en plano $s$): LENIENT (foco en setup correcto + interpretación).
- **Memorización** (tabla de Laplace, fórmulas de coeficientes Fourier, fórmula de d'Alembert, kernel de calor, kernel de Poisson): MEDIUM (la tabla básica de Laplace y las fórmulas integrales se exigen sin tabla).

---

## 7. Conexiones con otros programas Rodybee

### 7.1 Prereqs

- `calculus_2`: integrales impropias (necesarias para Laplace, Fourier, Gamma); series de potencias y radio de convergencia (necesarias para series y Frobenius); integrales múltiples (separación de variables en 2D y 3D); gradiente y Laplaciano (todas las PDEs vectoriales); integrales paramétricas (transformada como integral con parámetro $s$ o $\omega$).
- `linear_algebra`: eigenvalores y eigenvectores (sistemas de ODEs); diagonalización (matriz exponencial); espacios vectoriales (espacios de soluciones de ODEs lineales como subespacios); ortogonalidad (bases de Fourier, Sturm-Liouville); base ortonormal (eigenfunciones).
- `differential_equations_intro` (programa futuro recomendado): primer curso de ODEs (separación, lineal 1er orden con factor integrante, lineal 2do orden con coeficientes constantes, método de coeficientes indeterminados, variación de parámetros). En su defecto, se asume que el alumno tiene ese conocimiento por otra ruta.

### 7.2 Postreqs / programas que abren

- `complex_analysis`: análisis complejo formal, residuos, contornos, principio del argumento, Bromwich integral riguroso, transformada de Laplace inversa rigurosa.
- `numerical_methods`: numerical ODE (Euler, RK, métodos multipaso, BDF), numerical PDE (finite differences, Crank-Nicolson, métodos espectrales), FFT, cuadratura.
- `signal_processing`: sampling, Nyquist-Shannon, DFT/FFT, filtros, Z-transform, procesamiento digital, compression.
- `control_theory`: función de transferencia, polos / zeros, criterios de estabilidad (Routh-Hurwitz, Nyquist, Bode), controlador PID, espacio de estados, controlabilidad, observabilidad.
- `dynamical_systems`: ODEs no lineales, atractores, Lyapunov, bifurcaciones, caos, mapas discretos.
- `mathematical_physics`: PDEs vectoriales (Maxwell, Navier-Stokes), variedades, formas diferenciales, álgebras de Lie introductorias, mecánica continua.
- `quantum_mechanics_intro`: Schrödinger, oscilador armónico (Hermite), átomo de hidrógeno (Laguerre + armónicos esféricos), espacios de Hilbert intro.
- `partial_differential_equations_2` (lejano): PDEs lineales avanzadas (Sobolev, soluciones débiles, regularidad), PDEs no lineales (Burgers, KdV, ecuación de Euler).

### 7.3 Programas hermanos al mismo nivel

- `linear_algebra` ya completado idealmente (es prereq).
- `complex_analysis` puede tomarse en paralelo con la segunda mitad de `differential_equations_2` (hex 9 onwards) para enriquecer Fourier transform y Laplace inversa.
- `differential_geometry_intro` (programa futuro) — para físicos teóricos.

---

## 8. Bibliografía

### Tier-1 (universitarios benchmark)

- **MIT 18.03 Differential Equations (Spring 2010)**, Arthur Mattuck. OCW completo: <https://ocw.mit.edu/courses/18-03-differential-equations-spring-2010/>. Lectures, Mattuck "Notes" en PDF (gratis, riguroso), problem sets y exámenes con soluciones, video lectures de Mattuck.
- **MIT 18.03SC** versión Self-Paced: <https://ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/>.
- **MIT 18.085 Computational Science and Engineering I (Fall 2008)**, Gilbert Strang. OCW: <https://ocw.mit.edu/courses/18-085-computational-science-and-engineering-i-fall-2008/>. Cubre Laplace, Fourier, PDEs y métodos numéricos básicos. Video lectures completas.
- **Strang, G.** *Computational Science and Engineering*. Wellesley-Cambridge Press, 2007. ISBN 978-0961408817. Texto base de MIT 18.085.
- **UC Berkeley Math 121A Mathematical Tools for the Physical Sciences**: <https://math.berkeley.edu/courses/choosing/lowerdivcourses/math121a>. Texto: Hassani, *Mathematical Methods*.
- **UC Berkeley Math 121B**: secuela, profundiza Fourier transform, complex analysis, distribuciones intro.
- **UC Berkeley Math 54** (Linear Algebra and Differential Equations, mitad ODEs): <https://math.berkeley.edu/courses/choosing/lowerdivcourses/math54>. Texto: Boyce-DiPrima + Lay.
- **Stanford EE 261 The Fourier Transform and its Applications**, Brad Osgood. SEE: <https://see.stanford.edu/Course/EE261>. Lecture notes completos en PDF, video lectures completos. Curso entero dedicado a Fourier transform y aplicaciones.
- **Stanford Math 53 Differential Equations with Linear Algebra, Fourier Methods**: <https://mathematics.stanford.edu/courses/math-53>.
- **Cambridge Mathematical Tripos Part IA Differential Equations**: <https://www.maths.cam.ac.uk/undergrad/course/material>. Lecture notes públicos.
- **Cambridge Mathematical Tripos Part IB Methods**: <https://www.maths.cam.ac.uk/undergrad/course/material>. **Curso clave**: Fourier series + Fourier transform + PDEs canónicas + Sturm-Liouville + Green's functions + funciones especiales en un solo curso. Lecture notes históricos de Rinne y Worster, públicos.
- **Cambridge Mathematical Tripos Part II Mathematical Methods** (advanced, segundo año): <https://www.maths.cam.ac.uk/undergrad/course/material>. Profundización de Methods.
- **University of Tokyo 微分方程式 II / 応用数学** — 教養学部数学部会 syllabus: <https://www.u-tokyo.ac.jp/ja/students/index.html>. Textos: 笠原皓司 *微分方程式* (Iwanami), 寺沢寛一 *自然科学者のための数学概論* (Iwanami).
- **UNAM Facultad de Ciencias — Ecuaciones Diferenciales II** (Mat) y **Métodos Matemáticos de la Física I** (Fis): <https://www.fciencias.unam.mx/licenciatura/plan-estudios>. Textos base: Boyce-DiPrima, Coddington-Levinson, Arfken-Weber, Butkov.

### Tier-2 (textbooks de uso global y referencia regional)

- **Boyce, W.; DiPrima, R.; Meade, D.** *Elementary Differential Equations and Boundary Value Problems*, 11ª ed. Wiley, 2017. ISBN 978-1119256007. **Texto más usado a nivel mundial** en cursos sophomore. Cubre hex 1-12 sin Sturm-Liouville profundo.
- **Strauss, W.** *Partial Differential Equations: An Introduction*, 2ª ed. Wiley, 2007. ISBN 978-0470054567. Texto canónico para PDE intro a nivel sophomore/junior; cubre hex 9-13.
- **Haberman, R.** *Applied Partial Differential Equations with Fourier Series and Boundary Value Problems*, 5ª ed. Pearson, 2012. ISBN 978-0321797056. Alternativa muy aplicada a Strauss; equilibrio entre teoría y aplicaciones.
- **Folland, G.** *Fourier Analysis and its Applications*. AMS / Brooks-Cole, 1992. ISBN 978-0821847909. Cubre series + transformada Fourier + PDEs + ortogonalidad con elegancia matemática.
- **Hassani, S.** *Mathematical Methods for Students of Physics and Related Fields*, 2ª ed. Springer, 2009. ISBN 978-0387095035. Texto base Berkeley 121A.
- **Hassani, S.** *Mathematical Physics: A Modern Introduction to Its Foundations*, 2ª ed. Springer, 2013. ISBN 978-3319011943. Versión avanzada para físicos.
- **Arfken, G.; Weber, H.; Harris, F.** *Mathematical Methods for Physicists*, 7ª ed. Academic Press, 2012. ISBN 978-0123846549. Referencia universal en Latinoamérica para métodos matemáticos de la física.
- **Butkov, E.** *Mathematical Physics*. Addison-Wesley, 1968. ISBN 978-0201007275. Clásico hispanoparlante (UNAM Físicos).
- **Coddington, E.; Levinson, N.** *Theory of Ordinary Differential Equations*. McGraw-Hill, 1955. Texto teórico clásico para ODEs avanzadas.
- **Riley, K.; Hobson, M.; Bence, S.** *Mathematical Methods for Physics and Engineering*, 3ª ed. Cambridge Univ Press, 2006. ISBN 978-0521679718. Texto comprehensivo UK para físicos/ingenieros, base de Cambridge IB Methods.
- **Kreyszig, E.** *Advanced Engineering Mathematics*, 10ª ed. Wiley, 2011. ISBN 978-0470458365. Referencia global para ingenieros, cubre Laplace + Fourier + PDEs + análisis complejo.
- **Stein, E.; Shakarchi, R.** *Fourier Analysis: An Introduction* (Princeton Lectures vol 1). Princeton Univ Press, 2003. ISBN 978-0691113845. Tratamiento moderno y elegante.
- **ITAM Métodos Matemáticos II**: <https://www.itam.mx/programas/licenciatura/matematicas-aplicadas>.
- **Tec de Monterrey Métodos Matemáticos II**: <https://tec.mx/es/programas-academicos>.

### Tier-3 (referencias avanzadas, en su mayoría graduate)

- **John, F.** *Partial Differential Equations*, 4ª ed. Springer, 1981. ISBN 978-0387906096. Más teórico, primer año graduate.
- **Evans, L.C.** *Partial Differential Equations*, 2ª ed. AMS, 2010. ISBN 978-0821849743. Referencia graduate canónica para PDEs.
- **Reed, M.; Simon, B.** *Methods of Modern Mathematical Physics*, vols. I-IV. Academic Press, 1980. Análisis funcional + operadores en física.
- **Hörmander, L.** *The Analysis of Linear Partial Differential Operators*, vols. I-IV. Springer, 1983. Distribuciones y PDEs avanzadas.
- **Trefethen, L.; Bau, D.** *Numerical Linear Algebra*. SIAM, 1997. Para `numerical_methods` futuro.

### Recursos pedagógicos extra

- **Mattuck, A.** Video Lectures de MIT 18.03 (YouTube + OCW). Lectures completas, accesibles sin cargo. Recurso pedagógico de altísima calidad para Laplace y sistemas.
- **Strang, G.** Video Lectures de MIT 18.085 (OCW). Cubre Fourier + PDEs computacional con la claridad característica de Strang.
- **Osgood, B.** Video Lectures de Stanford EE 261 (Stanford SEE / YouTube). Curso completo de transformada de Fourier; ~30 horas de video.
- **3Blue1Brown** — *But what is the Fourier Transform? A visual introduction*: <https://www.3blue1brown.com/lessons/fourier-transforms>. Visualización magistral; ideal para anclaje intuitivo antes de hex_10.
- **3Blue1Brown** — *Differential equations, a tourist's guide*: <https://www.3blue1brown.com/lessons/differential-equations>. Anclaje conceptual para sistemas y retratos de fase.
- **Khan Academy — Differential Equations + Laplace Transform**: <https://www.khanacademy.org/math/differential-equations>. Práctica complementaria gratis.
- **Paul's Online Math Notes — Differential Equations**: <https://tutorial.math.lamar.edu/Classes/DE/DE.aspx>. Apuntes muy claros con cientos de ejemplos resueltos; complemento práctico universalmente recomendado.
- **MIT OCW Mathlets** (interactivos): <https://mathlets.org/mathlets/>. Visualización interactiva de retratos de fase, soluciones de Laplace, etc. Excelente para anclaje visual.

---

## 9. Resumen ejecutivo

`differential_equations_2` es el cuarto programa universitario de Rodybee (después de `calculus_intro`, `calculus_2` y `linear_algebra`), y el **programa-puente** que lleva al alumno de "técnicas de ODEs" a "métodos espectrales para PDEs y modelado de sistemas físicos". Cubre, al techo internacional MIT 18.03 + MIT 18.085 + Cambridge IB Methods + Berkeley 121A + Stanford EE 261 + UNAM Métodos Matemáticos de la Física, el corpus completo: transformada de Laplace, sistemas lineales con retratos de fase, soluciones por series y Frobenius, funciones especiales (Bessel, Legendre, Hermite intro, Gamma), series y transformada de Fourier, PDEs canónicas (calor, onda, Laplace), problemas de contorno y teoría de Sturm-Liouville. **14 hex, 102 skills, 22-28 meses de práctica diaria**. Modelo híbrido con sesgo "Mathematical Methods", que une lo que muchas universidades fragmentan en dos cursos (ODEs II + Methods) en un solo programa coherente. Excluye explícitamente: métodos numéricos (→ `numerical_methods`), análisis complejo formal (→ `complex_analysis`), distribuciones / análisis funcional (→ graduate), PDEs no lineales y vectoriales (→ `mathematical_physics`), dinámica no lineal y caos (→ `dynamical_systems`), sampling/Nyquist y procesamiento digital (→ `signal_processing`). Funciones de Green entran como **una skill conceptual** vía respuesta al impulso. Hermite **solo intro**; Bessel y Legendre **completas**. Convención EE/física para Fourier transform. Aplicaciones intercaladas en cada hex y un hex final dedicado a conexiones con física, ingeniería y programas Rodybee futuros.