7.3: Supuestos físicos y consecuencias matemáticas
- Page ID
- 109861
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Esta es una sección verdosa, por lo que comenzaremos enumerando las propiedades matemáticas que seguirán de nuestras suposiciones sobre el campo de velocidad\(F = u + iv\).
- \(F = F(x, y)\)es una función de\(x, y\), pero no el tiempo\(t\) (estacionario).
- \(\text{div } F = 0\)(libre de divergencia).
- \(\text{curl } F = 0\)(sin rizo).
Supuestos físicos
Haremos algunos supuestos físicos estándar. Estos no se aplican a todos los flujos, pero sí se aplican a un buen número de ellos y son un buen punto de partida para entender el flujo de fluidos de manera más general. Más importante para 18.04, estos son los flujos que son fácilmente susceptibles a análisis complejos.
Aquí están los supuestos sobre el flujo, los discutiremos más a continuación:
- El flujo es estacionario.
- El flujo es incompresible.
- El flujo es irrotacional.
Ya hemos discutido la estacionariedad anteriormente, así que ahora hablemos de las otras dos propiedades.
Incompresibilidad
Asumiremos a lo largo de que el fluido es incompresible. Esto significa que la densidad del fluido es constante a través del dominio. Matemáticamente esto dice que el campo de velocidad\(F\) debe estar libre de divergencia, es decir, para\(F = (u, v)\):
\[\text{div } F \equiv \nabla \cdot F = u_x + v_y = 0.\]
Para entender esto, recordemos que la divergencia mide el flujo infinitesimal del campo. Si el flujo no es cero en un punto\((x_0, y_0)\) entonces cerca de ese punto el campo parece
Si el campo es divergente o convergente entonces la densidad debe estar cambiando! Es decir, el flujo no es incompresible.
Como flujo de fluido, la imagen de la izquierda representa una fuente y la derecha representa un sumidero. En electrostática donde\(F\) expresa el campo eléctrico, la imagen de la izquierda es el campo de una densidad de carga positiva y la derecha es la de una densidad de carga negativa.
Si prefieres una explicación no infinitesimal, podemos recordar el teorema de Green en forma de flujo. Dice que para una simple curva cerrada\(C\) y un campo\(F = (u, v)\), diferenciables por dentro y por dentro\(C\), el flujo de\(F\) paso\(C\) satisface
\[\text{Flux of } F \text{ across } C = \int_C F \cdot n\ ds = \int \int_R \text{div } F\ dx \ dy,\]
donde\(R\) está la región en su interior\(C\). Ahora, supongamos que\(\text{div } F (x_0, y_0) > 0\), entonces\(\text{div } F(x, y) > 0\) para todos\((x, y)\) cerca de\((x_0, y_0)\). Entonces, elige una pequeña curva\(C\) alrededor de\((x_0, y_0)\) tal manera que\(\text{div } F > 0\) por dentro y por dentro\(C\). Por el teorema de Green
\[\text{Flux of } F \text{ through } C = \int \int_R \text{div } F \ dx \ dy > 0.\]
Claramente, si hay un flujo neto fuera de la región la densidad disminuye y el flujo no es incompresible. El mismo argumento sostendría si\(\text{div } F(x_0, y_0) < 0\). Se concluye que incompresible equivale a libre de divergencia.
Flujo Irrotacional
Supondremos que el fluido es irrotacional. Esto quiere decir que el no hay vórtices infinitesimales en\(A\). Matemáticamente esto dice que el campo de velocidad\(F\) debe estar libre de rizos, es decir, para\(F = (u, v)\):
\[\text{curl } F \equiv \nabla \times F = v_x - u_y = 0.\]
Para entender esto, recordemos que el rizo mide la rotación infinitesimal del campo. Físicamente esto significa que una pequeña paleta colocada en el flujo no girará a medida que se mueve con el flujo.
Ejemplos
¡El remolino es irrotacional! El remolino del Ejemplo 7.3.2 es irrotacional. El vórtice en el origen no está adentro\(A = C - \{0\}\) y puedes verificarlo fácilmente en\(\text{curl }F = 0\) todas partes\(A\). Esto no es físicamente imposible: si colocas una pequeña rueda de paletas en el flujo, ¡viajaría por el origen sin girar!
Los flujos de cizallamiento son rotacionales. Aquí hay un ejemplo de un campo vectorial que tiene rotación, aunque no necesariamente arremolinándose.
El campo\(F = (ay, 0)\) es horizontal, pero\(\text{curl } F = -a \ne 0\). Debido a que la parte superior se mueve más rápido que la parte inferior girará una parcela cuadrada de fluido. ¡El signo menos te dice que el paquete girará en sentido horario! Esto se llama flujo de cizallamiento. El agua en un nivel será esquilada del nivel por encima de ella.
Resumen
(A) Estacionario:\(F\) depende\(x, y\), pero no\(t\), es decir,
\[F(x, y) = (u(x, y), v(x, y)). \nonumber\]
(B) Incompresible: libre de divergencia:
\[\text{div } F = u_x + v_y = 0, \text{ i.e. } u_x = -v_y. \nonumber\]
(C) Irrotacional: libre de rizo:
\[\text{curl } F = v_x - u_y = 0, \text{ i.e., } u_y = v_x. \nonumber\]
Para referencia futura ponemos las dos últimas igualdades en una ecuación numerada:
\[u_x = -v_y \text{ and } u_y = v_x \nonumber\]
¡Estas se parecen casi a las ecuaciones de Cauchy-Riemann (con diferencias de signos)!