blob: e5acfa342b4a9a12533e615e6f474602df030772 [file] [log] [blame]
avm99963b33d4da2021-10-25 23:34:35 +02001\documentclass[11pt,a4paper,dvipsnames]{article}
2\usepackage[utf8]{inputenc}
3
4\usepackage[catalan]{babel}
5\input{../../../hw_preamble.tex}
6
7\usepackage{biblatex}
8\addbibresource{referencies.bib}
9
10\title{Entrega 4 de problemes\\Electrodinàmica}
11\author{Adrià Vilanova Martínez}
12\date{26 d'octubre, 2021}
13
14\showcorrectionsfalse % Change "true" to "false" in order to show corrections as
15 % if they weren't corrections (in black instead of red).
16
17\newcommand{\X}{\mathbf{X}}
18\newcommand{\Y}{\mathbf{Y}}
19
20\begin{document}
21
22\maketitle
23
24\begin{FreeProblem}
25 \textbf{Problema II.3.} Demostreu:
26
27 \begin{enumerate}[a)]
28 \item $\X, \Y$ vectors tipus-temps orientats al futur $\implies \X + \Y$ també ho és.
29 \item $\left.\begin{array}{r}
30 \X \text{ tipus temps}, \\
31 \exists \Y \neq 0 \text{ tq } \X \cdot \Y = 0
32 \end{array}\right\} \implies \Y \text{ és de tipus temps}.$
33 \end{enumerate}
34\end{FreeProblem}
35
36\textbf{Solució per a):} \\
37$\X, \Y$ són vectors tipus-temps, així que tenim:
38\[ \begin{cases}
39 \X^2 = \X \cdot \X = X_\nu Y^\nu > 0 \implies (X^0)^2 - (X^1)^2 - (X^2)^2 - (X^3)^2 > 0, \\
40 \Y^2 = \Y \cdot \Y = Y_\nu Y^\nu > 0 \implies (Y^0)^2 - (Y^1)^2 - (Y^2)^2 - (Y^3)^2 > 0. \\
41\end{cases} \]
42
43A més, com $\X, \Y$ estan enfocats al futur:
44\[ \begin{cases}
45 X^0 > 0, \\
46 Y^0 > 0.
47\end{cases} \]
48
49Per tant:
50\[ (\X + \Y) \cdot (\X + \Y) = (\X + \Y)_\nu (\X + \Y)^\nu = (X_\nu + Y_\nu) (X_\nu + Y_\nu) = \]
51\[ = \underbrace{X_\nu X^\nu}_{> 0} + X_\nu Y^\nu + X^\nu Y_\nu + \underbrace{Y_\nu X^\nu}_{> 0} > 2 X_\nu Y^\nu = 2 \X \cdot \Y. \]
52
53Ara ens agradaria veure que $\X \cdot \Y \leq 0$ sota la mètrica de Minkoswki per acabar la demostració.
54
55\[ \left.\begin{array}{r}
56 X_\nu X^\nu > 0, \\
57 X^0 > 0
58\end{array}\right\} \implies X^0 > \sqrt{(X^1)^2 + (X^2)^2 + (X^3)^2} = ||\vec{X}^i||, \]
59on designem per $|| \cdot ||$ la norma euclidiana que resulta de considerar el vector que té com a components les 3 darreres components del quadrivector (és a dir, la part espaial).
60
61Anàlogament, tenim que $Y^0 > ||\vec{Y}^i||$.
62
63Aleshores:
64\[ \X \cdot \Y = X^0 Y^0 - X^1 Y^1 - X^2 Y^2 - X^3 Y^3 > || \vec{X}^i || \, || \vec{Y}^i || - (\vec{X}^i, \vec{Y}^i), \]
65on denotem per $(\vec{u}_1, \vec{u}_2)$ el producte escalar euclidià, de nou de la part espaial dels quadrivectors.
66
67Finalment, considerem dos casos:
68
69\begin{itemize}
70 \item \underline{Si $(\vec{X}^i, \vec{Y}^i) \leq 0$}: aleshores tenim trivialment $\X \cdot \Y > || \vec{X}^i || \, || \vec{Y}^i || - (\vec{X}^i, \vec{Y}^i) \geq 0$.
71
72 \item \underline{Si $(\vec{X}^i, \vec{Y}^i) > 0$}: aleshores $(\vec{X}^i, \vec{Y}^i) = |(\vec{X}^i, \vec{Y}^i)|$, i apliquem la desigualtat de Cauchy-Schwarz amb el producte escalar i norma euclidianes, fet que ens dona que:
73 \[ \X \cdot \Y > || \vec{X}^i || \, || \vec{Y}^i || - |(\vec{X}^i, \vec{Y}^i)| \notate[X]{{}\geq{}}{0.7}{\scriptstyle \text{Cauchy-Schwarz}} 0. \]
74 \qed
75\end{itemize}
76
77\textbf{Solució per b):} \\
78$\X$ és de tipus temps, així que $\X^2 > 0$. A més, tenim $\X \cdot \Y = 0$. Volem veure que $\Y^2 < 0$.
79
80Demostrem-ho per reducció a l'absurd. Suposem que $\Y^2 \geq 0$. Si arribem a una contradicció, això vol dir que el que hem suposat era fals i, per tant, haurem demostrat el que volíem.
81
82Amb la notació de l'apartat anterior, tenim:
83\[ \X \cdot \Y = X^0 Y^0 - X^1 Y^1 - X^2 Y^2 - X^3 Y^3 = X^0 Y^0 - (\vec{X}^i, \vec{Y}^i). \]
84
85Separem diversos casos, tot i que utilitzarem el mateix argument (exceptuant petits detalls) per tots ells excepte el darrer:
86
87\begin{itemize}
88 \item \underline{Si $X^0 > 0, Y^0 > 0$}: \\
89 En aquest cas, $X^0 Y^0 > 0$. Per ser $\X$ de tipus temps ($\X^2 > 0$) i $\Y^2 \geq 0$ per hipòtesi, raonant com a l'apartat (a) tenim:
90 \[ \begin{cases}
91 X^0 > \sqrt{(X^1)^2 + (X^2)^2 + (X^3)^2} = || \vec{X}^i ||, \\
92 Y^0 \geq \sqrt{(Y^1)^2 + (Y^2)^2 + (Y^3)^2} = || \vec{Y}^i ||
93 \end{cases} \]
94 i, per tant:
95 \[ X^0 Y^0 > || \vec{X}^i || || \vec{Y}^i || \notate[X]{{}\geq{}}{0.7}{\scriptstyle \text{Cauchy-Schwarz}} |(\vec{X}^i, \vec{Y}^i)| \implies \]
96 \[ \implies X^0 Y^0 \neq |(\vec{X}^i, \vec{Y}^i)| \implies \]
97 \[ \implies \X \cdot \Y = X^0 Y^0 - (\vec{X}^i, \vec{Y}^i) \neq 0. \]
98
99 Per tant, hem arribat a una contradicció, ja que una de les hipòtesis inicials era que $\X \cdot \Y = 0$.
100
101 \item \underline{Si $X^0 > 0, Y^0 < 0$}: \\
102 Seguint el mateix argument que en el cas anterior, tenim:
103 \[ \left.\begin{array}{r}
104 X^0 Y^0 < 0, \\
105 X^0 > || \vec{X}^i ||, \\
106 - Y^0 \geq || \vec{Y}^i ||.
107 \end{array}\right\} \implies - X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
108
109 Per tant, de nou, arribem a una contradicció.
110
111 \item \underline{Si $X^0 < 0, Y^0 > 0$}: \\
112 Utilitzant de nou el mateix argument, però canviant alguns signes:
113 \[ \left.\begin{array}{r}
114 X^0 Y^0 < 0, \\
115 - X^0 > || \vec{X}^i ||, \\
116 Y^0 \geq || \vec{Y}^i ||.
117 \end{array}\right\} \implies - X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
118
119 De nou, arribem a contradicció.
120
121 \item \underline{Si $X^0 < 0, Y^0 < 0$}: \\
122 I finalment, aplicant per 4t cop el mateix raonament:
123 \[ \left.\begin{array}{r}
124 X^0 Y^0 > 0, \\
125 - X^0 > || \vec{X}^i ||, \\
126 - Y^0 \geq || \vec{Y}^i ||.
127 \end{array}\right\} \implies X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
128
129 En aquest cas, com no podria ser d'una altra manera, també arribem a una contradicció.
130
131 \item \underline{Si $X^0 = 0$ o bé $Y^0 = 0$}: \\
132 Suposem $X^0 = 0$ (el mateix argument funciona amb $\Y$, s'explica en el següent paràgraf). Aleshores, $\X^2 = \cancel{(X^0)^2} - (X^1)^2 - (X^2)^2 - (X^3)^2 \leq 0$, que vol dir que $\X$ no és de tipus temps. Això es contradiu amb la hipòtesi que els vectors són de tipus temps!
133
134 Suposem $Y^0 = 0$. En el cas de $\Y$, hem suposat que era o de tipus temps, o de tipus llum ($\Y^2 \geq 0$). Si suposem que és de tipus temps, pel raonament anterior hem vist que arribem a contradicció. Però si suposem que és de tipus llum, aleshores tenim $\Y^2 = 0, Y^0 = 0 \implies \Y = 0$. Però per la hipòtesi de l'enunciat, $\Y \neq 0$ i, per tant, també hem arribat a contradicció.
135
136 Aquest raonament ens ha portat a descobrir que un vector de tipus temps no pot tenir mai la coordenada 0-èssima (temporal) igual a 0.
137\end{itemize}
138
139Per tant, això queda demostrat per reducció a l'absurd, ja que hem trobar una contradicció per cadascun dels casos, i això ens diu que $\Y^2 \geq 0$ és fals, és a dir, que $\Y^2 < 0$, que és el que volíem veure. \qed
140
141\end{document}