Challenge Math Challenge - August 2021

fresh_42
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
2024 Award
Messages
20,627
Reaction score
27,780
Summary: countability, topological vector spaces, continuity of linear maps, polynomials, finite fields, function theory, calculus1. Let ##(X,\rho)## be a metric space, and suppose that there exists a sequence ##(f_i)_i## of real-valued continuous functions on ##X## with the property that a Cauchy sequence ##(x_n)_n## is convergent whenever each of the sequences ##(f_i(x_n))_i## is bounded. Then ##X## can be remetrized (with equivalent metrics) so as to be complete.2. Let ##X=C([0,1])## be the topological space of real-valued continuous functions,
$$
\rho(f,g):=\operatorname{sup}_{x\in [0,1]}|f(x)-g(x)|
$$
the uniform metric induced by the ##L^\infty ## norm,
$$
\sigma (f,g):=\int_0^1 |f(x)-g(x)|\,dx
$$
the ##L^1## induced metric, and for n∈N
$$
E_n:=\left\{\left. f\in X\,\right|\,\exists \,x\in \left[0,1-1/n\right]\,\forall \,h\in (0,1-x)\, : \,|f(x+h)-f(x)|\leq nh\right\}.
$$
Show that
  1. ##(X,\rho)## is complete.
  2. ##(X,\rho) \not\cong (X,\sigma)## is not complete.
  3. ##E_n\subseteq (X,\rho)## is closed.
3. (solved by @QuantumSpace ) Show that the set of real algebraic numbers is infinite, and denumerable.4. A topology ##\mathcal{T}## on a vector space ##L## over a non-discrete topological field ##K## defines a topological vector space, i.e. addition and scalar multiplication are continuous, if and only if ##\mathcal{T}## is translation-invariant (all mappings ##x\mapsto x+x_0## are homeomorphisms) and possesses a ##0-##neighborhood base ##\mathcal{B}## with the following properties:
  • For each ##V\in \mathcal{B},## there exists ##U\in \mathcal{B}## such that ##U+U\subseteq V.##
  • Every ##V\in \mathcal{B}## is radial (i.e. there exists a ##\lambda_0 \in K## such that whenever ##|\lambda|\geq |\lambda_0| ## we have ##F\subseteq \lambda V## for each finite subset ##F\subseteq L##) and circled (##\lambda V\subseteq V## whenever ##|\lambda |\leq 1##).
  • There exists ##\lambda \in K,\,0<|\lambda |<1,## such that ##V\in \mathcal{B}## implies ##\lambda V\in \mathcal{B}.##
If ##K## is an Archimedean valuated field, e.g. ##K\in \{\mathbb{R},\mathbb{C}\},## then the last condition is dispensable.5. Let ##L\stackrel{\mu}{\longrightarrow }M## be locally convex topological vector spaces, ##\mathcal{P}## a family of semi-norms (##\|\alpha x\|_p = |\alpha |\cdot \|y\|_p## and ##\|x+y\|_p\leq \|x\|_p+\|y\|_p##) generating the topology of ##L## and ##\mu## algebraically homomorph, i.e. linear. Then ##\mu## is continuous if and only if for each continuous semi-norm ##q## on ##M,## there exists a finite subset ##\{p_j\,|\,j=1,\ldots,n\}\subseteq \mathcal{P}## and a number ##c>0## such that ##\|\mu(x)\|_q < c\cdot \sup_j p_j(x)## for all ##x\in L.##6. Let ##\mathbb{F}_q## be a finite field of characteristic ##p.## Show that it's multiplicative group ##\mathbb{F}^*_q=\mathbb{F}_q-\{0\}## is cyclic.7. Let ##\mathbb{F}_q## be a finite field of characteristic ##p## and ##f_\alpha \in \mathbb{F}_q[X_1,\ldots,X_n]## polynomials such that ##\sum_\alpha \deg f_\alpha <n,## and ##V\subseteq \mathbb{F}_q^n## be the set of their common zeros. Then
$$
p\,|\,\operatorname{card}(V)
$$

8. (solved by @julian ) A linear fractional transformation ##S\, : \,\mathbb{C}_\infty \longrightarrow \mathbb{C}_\infty ## defined by ##S(z)=\dfrac{az+b}{cz+d}## is called a Möbius transformation if ##ad-bc\neq 0##. Here ##S(\infty )=a/c## and ##S(-d/c)=\infty .## Show that Möbius transformations form a group by composition, and that there is a unique Möbius transformation ##S(z)## which takes ##(z_1,z_2,z_3)## to ##(1,0,\infty ).## Which one?9. Let ##G## be a connected open set and let ##f:G\longrightarrow \mathbb{C}## be an analytic function. Show that the following statements are equivalent:
  1. ##f\equiv 0##
  2. There is a point ##a\in G## such that ##f^{(n)}(a)=0## for each ##n\geq 0.##
  3. ##\{z\in G\,|\,f(z)=0\}## has a limit point in ##G.##
10. Suppose ##f## and ##g## are meromorphic in a neighborhood of ##\overline{B}(a;R)## with no zeros (##Z##) or poles (##P##) on the circle ##\gamma =\{z\in \mathbb{C}\,|\,|z-a|=R\} ##. If ##Z_f,Z_g,P_f,P_g## are the numbers of zeros, resp. poles, of ##f## and ##g## inside ##\gamma ## counted according to their multiplicities and if
$$
|f(z)+g(z)|<|f(z)|+|g(z)|
$$
on ##\gamma ,## then
$$
Z_f-P_f=Z_g-P_g\;.
$$

1606835746499-png-png-png-png-png.png


High Schoolers only
11.
(solved by @Not anonymous ) A gardener holds a water hose horizontally and wants to water a bed ##6\,\rm m## away. The water exits the hose at a speed of ##8\,\rm m/s\,.## Calculate the minimum height the gardener needs to hold the hose for the water to reach the bed, the speed at which the water droplets hit the bed, and the angle at which the water droplets hit the bed.12. (solved by @Not anonymous ) A faucet delivers a volume flow of ##V'=6\,\dfrac{\it l}{\rm min} ##. The connected garden hose has an inner diameter of ##d_1=18\,\rm mm ##, the nozzle a cross-section of ##d_2=5\,\rm mm.## Calculate the mass flow in the garden hose, the speed of the water in the garden hose, and the speed of the water at the nozzle. It is observed that the water jet widens after the nozzle. Why?13. (solved by @Not anonymous and @kshitij ) As a result of the refraction, the light bundle emanating from the slit ##S## produces two bundles that overlap in the screen area of width ##D## and appear to arise from two virtual slit images ##A## and ##B##. Since the two virtual slit images originate from the same slit, the light emanating from them is coherent and can interfere in the area of overlap.
Spalt.png
Calculate the wavelength if monochromatic light is used from the quantities given in the sketch and the distance ##\Delta y## between two adjacent interference strips? Assume that the dimensions parallel to the optical axis can be viewed as large compared to those perpendicular to the optical axis.14. (solved by @Not anonymous ) A galaxy is ##42\,\rm MLy## away and oriented in space, such that its rotation axis is perpendicular to the line of sight. The ##\alpha## line of hydrogen is measured to occur at ##\lambda_1=658.003\,\rm nm## instead of ##\lambda _0=656.28 \,\rm nm## widened to ##b=0.438\,\rm nm.##
Galaxy.png

Assume that the main cause of the widening is the rotation of the stars around the center of the galaxy. Assume further that the different wavelength is only due to the radial motion of the galaxy compared to our solar system.

What is the maximal rotational velocity of the observed stars, and what is the maximal velocity the galaxy is moving, and in which direction as seen from our solar system?


15. (solved by @Not anonymous ) The spiral galaxy ##\rm M81## near Ursa Major can already be viewed by a small telescope. It has an apparent magnitude of ##M=6.9.## The angle to the celestial pole is about ##21°.## Is it possible to observe ##\rm M81## the entire year, if you live in Toronto?

The following diagram shows data-points of light from the cepheid ##\rm C27## in ##\rm M81.##

Hubble.png

Calculate our distance from ##\rm M81## in lightyears. (Use an average value of magnitude ##22.3## at a pulsation rate of ##30## per day and the relation ##M=-1.67-2.54\cdot\log_{10} p##.)

The second diagram is a comparison between ##\rm M81## and Milky Way. It shows the radial orbit velocity ##v## of the stars in relation to their distance ##r## from the galaxy center. Optical wavelengths are hardly to observe from around ##16\,kpc## on, so radio wavelengths are used.

M81.png

Verify that if a celestial body orbits a center of great mass, then we can calculate the central mass approximately by ##M=\dfrac{v^2\cdot r}{G}.## Show by choosing two data-points that the rotation curve of ##\rm M81## is approximately ##v\sim \dfrac{1}{\sqrt{r}}## for ##r=10\,\rm{kpc}.## What does that mean for the mass distribution in ##\rm M81\,##? Estimate the mass of ##\rm M81## within the optical spectrum in units of sun masses.

The rotation curves of ##\rm M81## and the Milky Way differ a lot for great distances from the center. What does that mean for the mass distribution in our Milky Way?

The wavelength of the ##\alpha ##-line of hydrogen from the optical center of ##\rm M81## is measured to be ##\lambda_1=656.38\,\rm nm## in comparison to ##\lambda_0 =656.47 \,\rm nm.## Can we apply Hubble's law to ##\rm M81##?#
 
Last edited:
  • Like
Likes Not anonymous and JD_PM
Physics news on Phys.org
(3).

Clearly the set of algebraic numbers ##\mathbb{A}## is infinite, because it is contains the rational numbers. Indeed, if ##q = a/b## is a rational with ##a,b \in \mathbb{Z}## and ##b \ne 0##, then ##q## is a zero of ##Xb-a##.

Next, denoting the polynomials of degree ##n## and integer coefficients by ##\mathbb{Z}_n[X]##, observe that ##\mathbb{A}= \bigcup_{n=1}^\infty \bigcup_{P \in \mathbb{Z}_n[X]}\{x \in \mathbb{R}: P(x)=0\}##. Because a polynomial of degree ##n## has at most ##n## roots, we find
$$|\mathbb{A}| \le \sum_{n=1}^\infty \sum_{P \in \mathbb{Z}_n[X]} n = \sum_{n=1}^\infty n \aleph_0 = \sum_{n=1}^\infty \aleph_0 = \aleph_0$$ where it was implicitly used that ##|\mathbb{Z}[X]| = \aleph_0##. We conclude that ##|\mathbb{A}| = \aleph_0##, so ##\mathbb{A}## is countably infinite.
 
About question (1) I am a little bit confused. Isn't completeness invariant under changing to an equivalent metric? If so, why would you want to change to an equivalent metric?
 
Problem #8

Let

\begin{align*}
S (z) & = \dfrac{az + b}{cz + d} \quad (ad -bc \not= ) \quad and \quad T (z) = \dfrac{a'z + b'}{c'z + d'} \quad (a'd' - b'c' \not= 0)
\end{align*}

\begin{align*}
S \circ T (z) & = S (T (z))
\nonumber \\
&= \dfrac{a \dfrac{a'z +b'}{c'z + d'} + b}{c \dfrac{a'z +b'}{c'z + d'} + d}
\nonumber \\
& = \dfrac{a (a'z +b') +b (c'z + d')}{c (a'z +b') + d (c'z + d')}
\nonumber \\
& = \dfrac{(aa' + bc') z + (ab' + bd')}{(ca' + dc') z + (cb' + dd')}
\end{align*}

There is an obvious relation to matrix multiplication:

\begin{align*}
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
\begin{pmatrix}
a' & b' \\
c' & d'
\end{pmatrix}
=
\begin{pmatrix}
aa' + bc' & ab' + bd' \\
ca' + dc' & cb' + dd'
\end{pmatrix}
\end{align*}

Taking determinants

\begin{align*}
\det
\begin{pmatrix}
aa' + bc' & ab' + bd' \\
ca' + dc' & cb' + dd'
\end{pmatrix}
= \det
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
\det
\begin{pmatrix}
a' & b' \\
c' & d'
\end{pmatrix}
\not= 0
\end{align*}

establishing that ##S \circ T (z)## is indeed a Mobius transformation, hence we have closure under composition. The relation to matrix multiplication establishes associativity under composition of Mobius transformations.

The identity corresponds to ##a = d \not= 0## and ##b = c = 0##:

\begin{align*}
\text{id} (z) & = z
\end{align*}

The relation to matrices implies the inverse is

\begin{align*}
S^{-1} (z) & = \dfrac{dz - b}{-cz + a} .
\end{align*}

So we have established that we have a group under composition of Mobius transformations.

Next part of the question: Having a ##(z - z_2)## in the numerator will mean ##S (z_2) = 0##. Having a ##(z - z_3)## in the denominator will mean ##S (z_3) = \infty##. So Consider

\begin{align*}
S (z) & = \dfrac{(z - z_2) A}{(z - z_3) B} .
\end{align*}

Then

\begin{align*}
S (z_1) & = \dfrac{(z_1 - z_2) A}{(z_1 - z_3) B} .
\end{align*}

So that if we choose ##A = (z_1 - z_3)## and ##B = (z_1 - z_2)## then ##S (z_1) = 1##. So finally, the Mobius transformation we are looking for is:

\begin{align*}
S (z) & = \dfrac{(z - z_2) (z_1 - z_3)}{(z - z_3) (z_1 - z_2)} .
\end{align*}

In this case

\begin{align*}
ad - bc & = (z_1 - z_3) [-z_3 (z_1 - z_2)] - [-z_2 (z_1 - z_3) (z_1 - z_2)]
\nonumber \\
& = (z_1 - z_3) (z_1 - z_2) (z_2 -z_3)
\end{align*}

this is not equal to zero as long as ##z_1,z_2,z_3## are distinct, which is required to be the case as a Mobius transformation is single valued.
 
Last edited:
  • Like
Likes Delta2
QuantumSpace said:
(3).

Clearly the set of algebraic numbers ##\mathbb{A}## is infinite, because it is contains the rational numbers. Indeed, if ##q = a/b## is a rational with ##a,b \in \mathbb{Z}## and ##b \ne 0##, then ##q## is a zero of ##Xb-a##.

Next, denoting the polynomials of degree ##n## and integer coefficients by ##\mathbb{Z}_n[X]##, observe that ##\mathbb{A}= \bigcup_{n=1}^\infty \bigcup_{P \in \mathbb{Z}_n[X]}\{x \in \mathbb{R}: P(x)=0\}##. Because a polynomial of degree ##n## has at most ##n## roots, we find
$$|\mathbb{A}| \le \sum_{n=1}^\infty \sum_{P \in \mathbb{Z}_n[X]} n = \sum_{n=1}^\infty n \aleph_0 = \sum_{n=1}^\infty \aleph_0 = \aleph_0$$ where it was implicitly used that ##|\mathbb{Z}[X]| = \aleph_0##. We conclude that ##|\mathbb{A}| = \aleph_0##, so ##\mathbb{A}## is countably infinite.
Well, the question was how to achieve an enumeration, i.e. why is ##\left|\mathbb{N}^\mathbb{N}\right|=\aleph_0=|\mathbb{Z}[X]|##? How can we be sure that there is no diagonalization argument possible between your inequalities?
 
QuantumSpace said:
About question (1) I am a little bit confused. Isn't completeness invariant under changing to an equivalent metric? If so, why would you want to change to an equivalent metric?
And how do you show that ##(X,\rho)## is complete? The problem provides a criterion. The point is to change to a metric that is equivalent but provides more information.
 
julian said:
Problem #8

Let

\begin{align*}
S (z) & = \dfrac{az + b}{cz + d} \quad (ad -bc \not= ) \quad and \quad T (z) = \dfrac{a'z + b'}{c'z + d'} \quad (a'd' - b'c' \not= 0)
\end{align*}

\begin{align*}
S \circ T (z) & = S (T (z))
\nonumber \\
&= \dfrac{a \dfrac{a'z +b'}{c'z + d'} + b}{c \dfrac{a'z +b'}{c'z + d'} + d}
\nonumber \\
& = \dfrac{a (a'z +b') +b (c'z + d')}{c (a'z +b') + d (c'z + d')}
\nonumber \\
& = \dfrac{(aa' + bc') z + (ab' + bd')}{(ca' + dc') z + (cb' + dd')}
\end{align*}

There is an obvious relation to matrix multiplication:

\begin{align*}
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
\begin{pmatrix}
a' & b' \\
c' & d'
\end{pmatrix}
=
\begin{pmatrix}
aa' + bc' & ab' + bd' \\
ca' + dc' & cb' + dd'
\end{pmatrix}
\end{align*}

Taking determinants

\begin{align*}
\det
\begin{pmatrix}
aa' + bc' & ab' + bd' \\
ca' + dc' & cb' + dd'
\end{pmatrix}
= \det
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
\det
\begin{pmatrix}
a' & b' \\
c' & d'
\end{pmatrix}
\not= 0
\end{align*}

establishing that ##S \circ T (z)## is indeed a Mobius transformation, hence we have closure under composition. The relation to matrix multiplication establishes associativity under composition of Mobius transformations.

The identity corresponds to ##a = d \not= 0## and ##b = c = 0##:

\begin{align*}
\text{id} (z) & = z
\end{align*}

The relation to matrices implies the inverse is

\begin{align*}
S^{-1} (z) & = \dfrac{dz - b}{-cz + a} .
\end{align*}

So we have established that we have a group under composition of Mobius transformations.

Next part of the question: Having a ##(z - z_2)## in the numerator will mean ##S (z_2) = 0##. Having a ##(z - z_3)## in the denominator will mean ##S (z_3) = \infty##. So Consider

\begin{align*}
S (z) & = \dfrac{(z - z_2) A}{(z - z_3) B} .
\end{align*}

Then

\begin{align*}
S (z_1) & = \dfrac{(z_1 - z_2) A}{(z_1 - z_3) B} .
\end{align*}

So that if we choose ##A = (z_1 - z_3)## and ##B = (z_1 - z_2)## then ##S (z_1) = 1##. So finally, the Mobius transformation we are looking for is:

\begin{align*}
S (z) & = \dfrac{(z - z_2) (z_1 - z_3)}{(z - z_3) (z_1 - z_2)} .
\end{align*}

In this case

\begin{align*}
ad - bc & = (z_1 - z_3) [-z_3 (z_1 - z_2)] - [-z_2 (z_1 - z_3) (z_1 - z_2)]
\nonumber \\
& = (z_1 - z_3) (z_1 - z_2) (z_2 -z_3)
\end{align*}

this is not equal to zero as long as ##z_1,z_2,z_3## are distinct, which is required to be the case as a Mobius transformation is single valued.
Right. But why is it unique?
 
fresh_42 said:
Right. But why is it unique?

\begin{align*}
0 = S (z_2) = \dfrac{a z_2 + b}{c z_2 + d} \quad \text{implies} \quad z_2 = -b/a
\end{align*}

Hence ##z_2## is unique.

\begin{align*}
\infty = S (z_3) = \dfrac{a z_3 + b}{c z_3 + d} \quad \text{implies} \quad z_3 = -d/c
\end{align*}

Hence ##z_3## is unique. Finally,

\begin{align*}
\frac{c}{a} = \frac{c}{a} S (z_1) = \dfrac{z_1 - (- b/a)}{z_1 - (- d/c)} = \dfrac{z_1 - z_2}{z_1 - z_3}
\end{align*}

which rearranged gives

\begin{align*}
z_1 = \dfrac{z_3 \frac{c}{a} - z_2}{\frac{c}{a} - 1}
\end{align*}

meaning that ##z_1## is unique.
 
julian said:
\begin{align*}
0 = S (z_2) = \dfrac{a z_2 + b}{c z_2 + d} \quad \text{implies} \quad z_2 = -b/a
\end{align*}

Hence ##z_2## is unique.

\begin{align*}
\infty = S (z_3) = \dfrac{a z_3 + b}{c z_3 + d} \quad \text{implies} \quad z_3 = -d/c
\end{align*}

Hence ##z_3## is unique. Finally,

\begin{align*}
\frac{c}{a} = \frac{c}{a} S (z_1) = \dfrac{z_1 - (- b/a)}{z_1 - (- d/c)} = \dfrac{z_1 - z_2}{z_1 - z_3}
\end{align*}

which rearranged gives

\begin{align*}
z_1 = \dfrac{z_3 \frac{c}{a} - z_2}{\frac{c}{a} - 1}
\end{align*}

meaning that ##z_1## is unique.
The general argument is:

Let ##S\not\equiv 1## and ##S(z)=z.## Then ##0=cz^2+(d-a)z-b## which has at most two different solutions. If ##a,b,c\in \mathbb{C}_\infty ## are three different points such that ##S(a)=T(a),S(b)=T(b),S(c)=T(c)## for two Möbius transformations ##S,T.## Then ##T^{-1}\circ S## has three fixed points, i.e. ##T^{-1}S\equiv 1## and ##S=T.## Hence, a Möbius map is uniquely determined by its action on any three distinct given points in ##\mathbb{C}_\infty .##
 
  • Like
Likes dextercioby and julian
  • #10
fresh_42 said:
Well, the question was how to achieve an enumeration, i.e. why is ##\left|\mathbb{N}^\mathbb{N}\right|=\aleph_0=|\mathbb{Z}[X]|##? How can we be sure that there is no diagonalization argument possible between your inequalities?

##|\mathbb{Z}[X]| = \aleph_0## is quite easy to prove. Indeed, ##\mathbb{Z}[X]= \bigcup_{n=0}^\infty \mathbb{Z}_n[X]## so since ##\mathbb{Z}_n[X] \cong \mathbb{Z}^{n+1} \cong \mathbb{N}##, we find $$|\mathbb{Z}[X]| \le \sum_{n=0}^\infty |\mathbb{Z}_n[X]| \le \sum_{n=0}^\infty \aleph_0 = \aleph_0.$$
I'm not sure what you mean by diagonalisation argument. All I did was applying standard cardinality arithmetic.

Btw, ##|\mathbb{N}^{\mathbb{N}}| = \aleph_0## is false, and I never used that.

Thanks for the feedback :)
 
  • #11
QuantumSpace said:
##|\mathbb{Z}[X]| = \aleph_0## is quite easy to prove. Indeed, ##\mathbb{Z}[X]= \bigcup_{n=0}^\infty \mathbb{Z}_n[X]## so since ##\mathbb{Z}_n[X] \cong \mathbb{Z}^{n+1} \cong \mathbb{N}##, we find $$|\mathbb{Z}[X]| \le \sum_{n=0}^\infty |\mathbb{Z}_n[X]| \le \sum_{n=0}^\infty \aleph_0 = \aleph_0.$$
I'm not sure what you mean by diagonalisation argument. All I did was applying standard cardinality arithmetic.
##|\mathbb{Z}^n|=\aleph_0## ok, but what is ##|\mathbb{Z}^\infty |## since you sum over all ##n##?

The "easy to prove" of all of your ##\leq## signs are what the problem is about. Find a smart enumeration, or do it the long way and prove the inequalities, especially the one with ##\sum^\infty ##.
 
  • #12
fresh_42 said:
##|\mathbb{Z}^n|=\aleph_0## ok, but what is ##|\mathbb{Z}^\infty |## since you sum over all ##n##?

The "easy to prove" of all of your ##\leq## signs are what the problem is about. Find a smart enumeration, or do it the long way and prove the inequalities, especially the one with ##\sum^\infty ##.

Are you telling me that I cannot use the standard cardinal arithmetic inequalities ##|\bigcup_{i \in I} A_i| \le \sum_{i \in I}|A_i| \le |I| \sup_{i \in I} |A_i|##? Because really that's all I'm using, together with the fact that ##\aleph_0 \aleph_0 = \aleph_0##. Cardinal arithmetic is invented to not have to find explicit bijections!
 
  • #13
fresh_42 said:
##|\mathbb{Z}^n|=\aleph_0## ok, but what is ##|\mathbb{Z}^\infty |## since you sum over all ##n##?

The "easy to prove" of all of your ##\leq## signs are what the problem is about. Find a smart enumeration, or do it the long way and prove the inequalities, especially the one with ##\sum^\infty ##.

Also, you can here appeal to the fact that countable union of countable sets is countable, if you are ok with ##|\mathbb{Z}_n[X]| = \aleph_0##. Maybe you are right and I overcomplicate the issue.
 
  • #14
In a way, yes, that's what I was saying. Cardinal arithmetic is nothing many readers use very often, so it would've been nice to show why it can be used, or why it is correct. E.g.

##|\bigcup_{i \in I} A_i| \le \sum_{i \in I}|A_i| \le \underbrace{|I|}_{=\aleph_0} \underbrace{\sup_{i \in I} |A_i|}_{=\aleph_0}##

could have been explained by the fact that this is the cardinality of ##\mathbb{Q}## and as such denumerable. And an explicit enumeration would have been quite as easy to find. The point was to see, that although we have a considerable large extension of ##\mathbb{Q}##, we are still on the countable side.

Edit: Otherwise an answer "Obvious." would have been sufficient, too.
 
  • #15
Attempt for an elementary solution for (3):

Alright, so let me try to give a more elementary approach then. All I will use is that the countable union of countable sets is again countable, which is proven using a standard diagonalisation argument.

We have ##\mathbb{Z}[X]= \bigcup_{n=0}^\infty \mathbb{Z}_n[X]##, so ##\mathbb{Z}[X]## is countable, as a countable union of countable sets.

Given a polynomial ##P\in \mathbb{Z}[X]##, let ##V(P)## be the set of its zeros. Note that ##V(P)## is a finite set. If ##\mathbb{A}## is the set of algebraic integers, we find
$$\mathbb{A}= \bigcup_{P \in \mathbb{Z}[X]} V(P)$$
which is again countable, as a countable union of countable sets.
 
  • #16
QuantumSpace said:
Attempt for an elementary solution for (3):

Alright, so let me try to give a more elementary approach then. All I will use is that the countable union of countable sets is again countable, which is proven using a standard diagonalisation argument.

We have ##\mathbb{Z}[X]= \bigcup_{n=0}^\infty \mathbb{Z}_n[X]##, so ##\mathbb{Z}[X]## is countable, as a countable union of countable sets.

Given a polynomial ##P\in \mathbb{Z}[X]##, let ##V(P)## be the set of its zeros. Note that ##V(P)## is a finite set. If ##\mathbb{A}## is the set of algebraic integers, we find
$$\mathbb{A}= \bigcup_{P \in \mathbb{Z}[X]} V(P)$$
which is again countable, as a countable union of countable sets.
It's ok. It is really not that difficult, which makes it harder to judge what between
"Obvious"
and
"Set ##w(f)=\deg f + \operatorname{card}\{x\,|\,f(x)=0\}## and order it e.g. lexicographically."
is a solution and what is not.
 
  • #17
fresh_42 said:
6. Let Fq be a finite field of characteristic p. Show that it's multiplicative group Fq∗=Fq−{0} is cyclic.
Let me try NO.6, to find out what have left to me after the abstract algebra course.

Because, those q-1 nonzero elements of ##F_q## are roots of x^(q-1)-1, which is the polynomial over F_q, and a simple lemma, that is, the number of roots of a polynomial over field is less than the degree of the polynomial, we know that x^(q-1)-1 is equal to the mutiple of all the x-##\alpha##, where the ##\alpha## is a nonzero element of ##F_q##. So, if the nonzero element who get the biggest order in the multiplicative group, still, whose order is smaller than q-1, which means those q-1 nonzero elements are roots of a polynomial ##x^n-1##, where n|(q-1). The last conclusion need a lemma to show that for the communicative group, all the order divides the biggest order, which can be proved by considering a*b, where a,b are two elements whose orders cannot divide (the inverse is divided) each other. That is a contradiction, ##x^n-1## has more than n roots.
 
  • #18
I cannot give you a counterexample to show where you go wrong, since the statements are true. But I do not see where you get the single generator. Let's pretend we had ##V_4## as group. Then all your arguments apply but ##V_4## isn't cyclic.

As far as I can see you only use
$$
\mathbb{F_q}^*=\{x\,:\,x^{q-1}=1\}=\{\alpha \,:\,(X-\alpha )\,|\,(X^{q-1}-1)\}=\{x\,:\,\operatorname{ord}(x)\,|\,(q-1)\}
$$
which is true, but how is it cyclic? You need something of the form ##A_1\wedge A_2\wedge \ldots \wedge A_n \Longrightarrow G=\langle x \rangle.##
 
  • #19
Sorry, what is ##V_4##?
I think I prove that the element which get the biggest order is the single generator, using the lemma that the biggest order (assume that is n) can be divided by any other order (any other element's order), here is the lemma:
graphking said:
The last conclusion need a lemma to show that for the communicative group, all the order divides the biggest order, which can be proved by considering a*b, where a,b are two elements whose orders cannot divide (the inverse is divided) each other.

Then ##x^n-1## has all the elements as its roots, which is a contrary to n<q-1. But, yes, I shouldn't mention x^(q-1)-1=all the ##x-\alpha## multiply at the beginning of my answer, it is irrelevant to the question.
 
  • #20
Just because the order divides the order of another element, does not make them powers of each other. ##V_4=\langle a,b\,|\,a^2,b^2,(ab)^2 \rangle## is the Klein four-group.
 
  • #21
For question 11, why doesn't the gardener tilt the hose up at an angle? It's better than holding the hose above his head, surely?
 
  • #22
fresh_42 said:
Just because the order divides the order of another element, does not make them powers of each other. ##V_4=\langle a,b\,|\,a^2,b^2,(ab)^2 \rangle## is the Klein four-group.
What I proved is: all the elements of ##F_q*## is a root of x^n-1, and n is the biggest order.
graphking said:
Then x^n−1 has all the elements as its roots, which is a contrary to n<q-1

I think, to prove "make them the powers of each other", I must wait until having proved the F_q* is cylic group.
For Klein group, true it is communicative, but it is not a ring, then we cannot say the polynomial over ##V_4##. but for the field ##F_q##, we can say the ##F_q[x]## is UFD (Unique Factorization Domain), since everybody knows F[x] is UFD (where F is a field), by using the division with remainder.
Btw, using UFD can get the conclusion that "the number of roots is less than the degree, for f(x)".
 
  • #23
graphking said:
What I proved is: all the elements of ##F_q*## is a root of x^n-1, and n is the biggest order.I think, to prove "make them the powers of each other", I must wait until having proved the F_q* is cylic group.
For Klein group, true it is communicative, but it is not a ring, then we cannot say the polynomial over ##V_4##. but for the field ##F_q##, we can say the ##F_q[x]## is UFD (Unique Factorization Domain), since everybody knows F[x] is UFD (where F is a field), by using the division with remainder.
Btw, using UFD can get the conclusion that "the number of roots is less than the degree, for f(x)".
There is nothing to add to what I already have said in posts #18 and #20. I know that ##V_4\ncong \mathbb{F}_5^*## because the latter is cyclic. However, your proof doesn't distinguish between the two.

For every element ##x\in G## of a finite group ##G## with ##n## elements holds ##x^n=1##. Therefore ##X^{q-1}-1=0## has exactly the ##n=q-1## roots of ##\mathbb{F}_q^*.##

And why is there a primitive root?
 
  • #24
fresh_42 said:
For every element x∈G of a finite group G with n elements holds xn=1. Therefore Xq−1−1=0 has exactly the n=q−1 roots of Fq∗.
Omg. In group, we have only one operation, like you called it, "*". We don't have "+".
I think maybe you have another way to prove it, but you truly didn't understand my way (whether it is true or not), and I say UFD is a critical thing, so is that I do it too sophisticated?
Still, sorry for my poor English and poor LaTeX, which may contribute to the problem in sending my message.
 
  • #25
fresh_42 said:
11. A gardener holds a water hose horizontally and wants to water a bed ##6 \ \text{m}## away. The water exits the hose at a speed of ##8 \ \text{m/s}##. Calculate the minimum height the gardener needs to hold the hose for the water to reach the bed, the speed at which the water droplets hit the bed, and the angle at which the water droplets hit the bed.

In the attempted solution, I assume that the effect of air resistance or friction on the water jet can be ignored.

Let ##h## be the height at which the hose is held and ##T## be the time taken by a water drop to touch the ground after exiting the hose. The horizontal distance covered by water before reaching the ground is ##8T \ \text{m}##. Since ##T## increases with the vertical distance ##h## to be covered, the horizontal distance covered too increases with increasing height. The minimum height needed to ensure that the water reaches the garden bed is the value for which ##8T = 6 \Rightarrow T = 0.75##, i.e. time of vertical fall just enough to allow water to cover the desired horizontal distance too.

##h##, the vertical distance covered by free fall till touching the ground, is given by $$
h = \int_{t=0}^T v\, dt = \int_{t=0}^T gt\, dt = \frac{gT^{2}} {2} \Rightarrow h = \frac{9.8 \times 0.75^{2}} {2} = 2.75625 \, \text{m}
$$

In the above equation, ##v## denotes the vertical velocity at instant ##t##, and ##g## is the gravitational acceleration at Earth's surface level.

The vertical velocity of water at the instant of hitting the ground is $$
V_{vertical} = \int_{t=0}^T g\, dt = gT = 9.8 \times 0.75 = 7.35 \, \text{m/s}
$$

The speed ##S## at which the water hits the garden bed equals water stream's velocity along the direction at which it hits the ground and is given by $$
S = \sqrt{V_{vertical}^2 + V_{horizontal}^2} = \sqrt{7.35^2 + 8^2} ≈ 10.864\, \text{m/s}
$$

The angle at which water hits the garden bed is given by $$
θ = \tan^{-1} \frac{V_{vertical}} {V_{horizontal}} = \tan^{-1} \frac{7.35} {8} ≈ 42.575°
$$
 
  • Like
Likes fresh_42
  • #26
Re #7: You know Emil Artin apparently didn't know how to solve this, right?
 
  • #27
mathwonk said:
Re #7: You know Emil Artin apparently didn't know how to solve this, right?
No, I did not. But I admit that some problems are more challenging than usual this month. Can happen because I try to post questions that are of some mathematical value. And I am always open to questions and hints.
 
  • #28
well I am just giving myself some solace since I made no headway. Artin's conjecture was that a homogeneous form of degree less than the number of variables always has a non trivial zero over a finite field. He conjectured this because fields with that property (quasi algebraically closed)) have trivial Brauer group, as does every finite field. but good questions sometimes generate surprising solutions. thanks for this one. maybe i will get somewhere on it.
 
Last edited:
  • #29
fresh_42 said:
12. A faucet delivers a volume flow of ##V' = 6 \,\dfrac{l}{\text{min}}##. The connected garden hose has an inner diameter of ##d_1 = 18 \,\text{mm}##, the nozzle a cross-section of ##d_2 = 5 \,\text{mm}##. Calculate the mass flow in the garden hose, the speed of the water in the garden hose, and the speed of the water at the nozzle. It is observed that the water jet widens after the nozzle. Why?

I am not very confident about the correctness of my answer as I have not solved physics problems related to liquid flows before this. I am new to the concept of mass flow - I go with an intuitive guess that it refers to the mass of fluid passing via a cross-section of the hose per unit of of time, though I am also skeptical about that interpretation as the question says "mass flow", not "mass flow rate". I also do not know if I am making overly simplifying assumptions, such as not considering the effect of backward pressure due to smaller size of nozzle.

Cross-sectional area of the hose = ##A_{h} = \pi \times 9^2 ≈ 254.469 \,\text{mm}^2 = 2.54469 \,\text{cm}^2##
Cross-sectional area of the nozzle = ##A_{n} = \pi \times {2.5}^2 ≈ 19.635 \,\text{mm}^2 = 0.19635 \,\text{cm}^2##

Mass flow rate in the hose = Rate of volume flow in the hose ##\times## Density of the water ≈ ##6 \times 0.997 = 5.982 \,\text{kg/min}##, and I assume that the volume flow

Here, I take density of water at room temperature to be approximately 0.997 kg/l and assume that full volume flow from the faucet goes unimpeded through the hose, i.e. pressure changes, smaller nozzle etc. do not slow down the flow.

Speed of water flow in the hose, ##S_{h} = \frac{V'}{A_{h}} ≈ \frac {6000 \,\text{cm}^3} {2.54469} ≈ 2357.851054549 \,\text{cm/min} ≈ 0.393 \,\text{m/s}##

Speed of water flow through the nozzle, ##S_{n} = \frac{V'}{A_{n}} ≈ \frac {6000 \,\text{cm}^3} {0.19635} ≈ 30557.6776 \,\text{cm/min} ≈ 5.093 \,\text{m/s}##
 
Last edited:
  • #30
Not anonymous said:
I am not very confident about the correctness of my answer as I have not solved physics problems related to liquid flows before this. I am new to the concept of mass flow - I go with an intuitive guess that it refers to the mass of fluid passing via a cross-section of the hose per unit of of time, though I am also skeptical about that interpretation as the question says "mass flow", not "mass flow rate". I also do not know if I am making overly simplifying assumptions, such as not considering the effect of backward pressure due to smaller size of nozzle.

Cross-sectional area of the hose = ##A_{h} = \pi \times 9^2 ≈ 254.469 \,\text{mm}^2 = 2.54469 \,\text{cm}^2##
Cross-sectional area of the nozzle = ##A_{n} = \pi \times {2.5}^2 ≈ 19.635 \,\text{mm}^2 = 0.19635 \,\text{cm}^2##

Mass flow rate in the hose = Rate of volume flow in the hose ##\times## Density of the water ≈ ##6 \times 0.997 = 5.982 \,\text{kg/min}##
The mass flow is correct. But we also need to velocities and a reason why the beam widens at the nozzle.
 
  • #31
fresh_42 said:
The mass flow is correct. But we also need to velocities and a reason why the beam widens at the nozzle.

Sorry, I had pressed the post-reply button instead of the save button, so ended up posting an answer that I was still typing. I have updated the original post now. As for why the water bean widens on existing the nozzle, my best guesses are:

1. The water stream flowing through the hose is under higher surrounding pressure - there is the atmospheric pressure exerted on the hose plus the pressure of water itself. And water being a more dense fluid would have a higher pressure than the same volume of air. So the stream of water exiting the smaller (than the hose) nozzle has not just the forward force given by the flow from the faucet but also the internal pressure of water. On existing the nozzle, the surrounding pressure is relatively lower than inside the hose, hence the water jet expands to adjust to the lower pressure.

2. Pressure is inversely proportional to the velocity. A jet of water moving at a high velocity experiences lower air pressure than water that is static or moving at a slower speed. Since water exits the nozzle with a higher speed that the speed at which it flows in the hose, the pressure experienced by water when inside moving inside the hose is higher than the pressure experienced when it exits the nozzle. The movement from a region of higher pressure to lower pressure caused the water beam to widen.
 
  • #32
Not anonymous said:
Sorry, I had pressed the post-reply button instead of the save button, so ended up posting an answer that I was still typing. I have updated the original post now. As for why the water bean widens on existing the nozzle, my best guesses are:

1. The water stream flowing through the hose is under higher surrounding pressure - there is the atmospheric pressure exerted on the hose plus the pressure of water itself. And water being a more dense fluid would have a higher pressure than the same volume of air. So the stream of water exiting the smaller (than the hose) nozzle has not just the forward force given by the flow from the faucet but also the internal pressure of water. On existing the nozzle, the surrounding pressure is relatively lower than inside the hose, hence the water jet expands to adjust to the lower pressure.

2. Pressure is inversely proportional to the velocity. A jet of water moving at a high velocity experiences lower air pressure than water that is static or moving at a slower speed. Since water exits the nozzle with a higher speed that the speed at which it flows in the hose, the pressure experienced by water when inside moving inside the hose is higher than the pressure experienced when it exits the nozzle. The movement from a region of higher pressure to lower pressure caused the water beam to widen.
Your numbers are correct. The reason why the beam widens is easier than your explanation by pressure. I'm not sure whether your explanation can be transformed into the easier one, but here it goes:

The velocity of the water (an incompressible fluid) is slowed down due to friction and air resistance. However, mass and volume stay the same, such that velocity times cross-section is constant. That is why the beam widens.
 
  • Informative
Likes Not anonymous
  • #33
hint for #7, building on the statement of #6:

Let's try it for just one polynomial. from #6, in a finite field k of q = p^r elements, a^(q-1) = 1 for every non zero element a of k, and of course a^(q-1) equals 0, if a=0. Now suppose f is a polynomial on affine n space over k. Then for every element x of the affine n space, f(x)^(q-1) = 0 or 1, depending on whether or not x is a zero of f.

Thus 1-f(x)^(q-1) = 1 or 0, depending on whether or not x is a zero of f. Thus if we add up all q^n such polynomials, namely [1-f(x)^(q-1)] summed over every point x of affine n space, we get the sum of as many 1's as there are zeroes of f.

This sum is in k, so p such terms add to 0, so this sum will equal the number of zeroes of f, mod p. Now we are asked in problem #7 to show this number is zero, and this expression for it is supposed to help. Of course we will need the hypothesis, that degree f < n.

Start by showing that any monomial of degree < n, summed over all points of k^n, is zero. First show that the sum, over all elements x of k, of any power x^j, is zero, if 1 ≤ j < q-1.

Hint: Look at the polynomial X^(q-1)-1, and recall what you know about its coefficients and roots.
 
  • Like
Likes graphking
  • #34
fresh_42 said:
13. As a result of the refraction, the light bundle emanating from the slit ##S## produces two bundles that overlap in the screen area of width ##D## and appear to arise from two virtual slit images ##A## and ##B##. Since the two virtual slit images originate from the same slit, the light emanating from them is coherent and can interfere in the area of overlap.

Calculate the wavelength if monochromatic light is used from the quantities given in the sketch and the distance between two adjacent interference strips ##Δy##? Assume that the dimensions parallel to the optical axis can be viewed as large compared to those perpendicular to the optical axis.
plot1.png


Diagram 1
plot2.png
Diagram 2Please refer diagram 1 above. Consider 2 points A and B from the 2 virtual images (named A and B in the question's diagram) such that they lie on the same vertical line. Let A' and B' be the points on the screen where the (virtual) light rays from points A and B respectively hit the screen perpendicular to the surface of the screen. A' and B' will also lie on the same vertical axis/line and distance between them will be the same as the distance between A and B, i.e. ##|AB| = d = |A'B'|## (using the notation ##|AB|## to denote length of line segment ##AB##). Let P' be the midpoint of line segment A'B'. Since P' is equidistant from A and B, the light rays from the 2 points hitting P' at any time instant ##t## would be in exactly the same phase (since the 2 virtual images are coherent) with respect to one another and therefore result in a bright fringe caused by constructive interference, i.e. P' lies on the central bright fringe. Let Q' be the point on the screen where the middle line of the next bright fringe (the first bright fringe after and above the central bright fringe passing through P') intersects A'B'. Since this fringe is also caused by constructive interference but distance of Q' and its fringe from B is larger than the distance from A, it must be the case that the light rays from A and B hitting Q' at any instant ##t## differ in the distance traveled by exactly 1 wavelength (λ), i.e. ##|BQ'| - |AQ'| = λ##. Hence, the wavelength can be calculated based on the distance between the slit and the screen (##a##), the distance between the 2 virtual slit image points (##d##) and the distance between the fringes (##\Delta y##), as follows.
##|BQ'| = \sqrt{|BB'|^2 + |B'Q'|^2}= \sqrt{|BB'|^2 + (|B'P'| + |P'Q'|)^2} = \sqrt{a^2 + (\dfrac{d}{2} + \Delta y)^2}##

##|AQ'| = \sqrt{|AA'|^2 + |A'Q'|^2}= \sqrt{|AA'|^2 + (|A'P'| - |P'Q'|)^2} = \sqrt{a^2 + (\dfrac{d}{2} - \Delta y)^2}##

∴ ##\lambda = \sqrt{a^2 + (\dfrac{d}{2} + \Delta y)^2} - \sqrt{a^2 + (\dfrac{d}{2} - \Delta y)^2}## (Eq. 1)

The question does not specify the value of ##d##, but it can be calculated using trigonometry based on the distances given in the question. According to the diagram given in the question, the bottom most light ray from A and the top most light ray from B cross each other at a horizontal distance of ##x## from the slit, and these 2 light rays hit the screen at points that are at a vertical distance of ##D## from each other. Refer to diagram 2 above which shows the triangles involving the 2 virtual image points (A, B), the points on the screen where the topmost and bottom-most light rays marking the boundary of the region of overlap hit the screen (F, H), and the point of intersection of the 2 rays. Since the 2 triangles are similar, ##\Delta ACB \sim \Delta FCH##, the ratios of height to base of the two triangles must be the same (here, I consider the line segments ##AB## and ##FH## to be the bases of the 2 triangles and the perpendicular distance between ##C## and these segments to be the heights), i.e.
##\dfrac{x}{d} = \dfrac{a-x}{D} \Rightarrow d = \dfrac{x}{a-x}D##.

Substituting for ##d## in (Eq. 1), we get the wavelength of the light source in terms of the distances specified in the question:
##\lambda = \sqrt{a^2 + \left(\dfrac{xD}{2(a-x)} + \Delta y \right)^2} - \sqrt{a^2 + \left(\dfrac{xD}{2(a-x)} - \Delta y \right)^2}##
 
  • #35
Not anonymous said:
View attachment 287673

Diagram 1View attachment 287674Diagram 2Please refer diagram 1 above. Consider 2 points A and B from the 2 virtual images (named A and B in the question's diagram) such that they lie on the same vertical line. Let A' and B' be the points on the screen where the (virtual) light rays from points A and B respectively hit the screen perpendicular to the surface of the screen. A' and B' will also lie on the same vertical axis/line and distance between them will be the same as the distance between A and B, i.e. ##|AB| = d = |A'B'|## (using the notation ##|AB|## to denote length of line segment ##AB##). Let P' be the midpoint of line segment A'B'. Since P' is equidistant from A and B, the light rays from the 2 points hitting P' at any time instant ##t## would be in exactly the same phase (since the 2 virtual images are coherent) with respect to one another and therefore result in a bright fringe caused by constructive interference, i.e. P' lies on the central bright fringe. Let Q' be the point on the screen where the middle line of the next bright fringe (the first bright fringe after and above the central bright fringe passing through P') intersects A'B'. Since this fringe is also caused by constructive interference but distance of Q' and its fringe from B is larger than the distance from A, it must be the case that the light rays from A and B hitting Q' at any instant ##t## differ in the distance traveled by exactly 1 wavelength (λ), i.e. ##|BQ'| - |AQ'| = λ##. Hence, the wavelength can be calculated based on the distance between the slit and the screen (##a##), the distance between the 2 virtual slit image points (##d##) and the distance between the fringes (##\Delta y##), as follows.
##|BQ'| = \sqrt{|BB'|^2 + |B'Q'|^2}= \sqrt{|BB'|^2 + (|B'P'| + |P'Q'|)^2} = \sqrt{a^2 + (\dfrac{d}{2} + \Delta y)^2}##

##|AQ'| = \sqrt{|AA'|^2 + |A'Q'|^2}= \sqrt{|AA'|^2 + (|A'P'| - |P'Q'|)^2} = \sqrt{a^2 + (\dfrac{d}{2} - \Delta y)^2}##

∴ ##\lambda = \sqrt{a^2 + (\dfrac{d}{2} + \Delta y)^2} - \sqrt{a^2 + (\dfrac{d}{2} - \Delta y)^2}## (Eq. 1)

The question does not specify the value of ##d##, but it can be calculated using trigonometry based on the distances given in the question. According to the diagram given in the question, the bottom most light ray from A and the top most light ray from B cross each other at a horizontal distance of ##x## from the slit, and these 2 light rays hit the screen at points that are at a vertical distance of ##D## from each other. Refer to diagram 2 above which shows the triangles involving the 2 virtual image points (A, B), the points on the screen where the topmost and bottom-most light rays marking the boundary of the region of overlap hit the screen (F, H), and the point of intersection of the 2 rays. Since the 2 triangles are similar, ##\Delta ACB \sim \Delta FCH##, the ratios of height to base of the two triangles must be the same (here, I consider the line segments ##AB## and ##FH## to be the bases of the 2 triangles and the perpendicular distance between ##C## and these segments to be the heights), i.e.
##\dfrac{x}{d} = \dfrac{a-x}{D} \Rightarrow d = \dfrac{x}{a-x}D##.

Substituting for ##d## in (Eq. 1), we get the wavelength of the light source in terms of the distances specified in the question:
##\lambda = \sqrt{a^2 + \left(\dfrac{xD}{2(a-x)} + \Delta y \right)^2} - \sqrt{a^2 + \left(\dfrac{xD}{2(a-x)} - \Delta y \right)^2}##
Can you simplify this to ##\lambda =\lambda (a,d,\Delta y)## under the assumption ##a \gg d ## and that the beams that run from ##A## and ##B## in direction ##P## on the screen are approximately parallel? And where did you use the interference pattern?
 
  • #36
fresh_42 said:
Can you simplify this to ##\lambda =\lambda (a,d,\Delta y)## under the assumption ##a \gg d ## and that the beams that run from ##A## and ##B## in direction ##P## on the screen are approximately parallel? And where did you use the interference pattern?
Thanks for reviewing the answer. (Eq. 1) in the solution I gave is already an expression involving only ##a, d, \Delta y##, so I am not sure I understand what is meant by simplifying to ##\lambda (a,d,\Delta y)##. Do you mean a simpler expression that does not involve difference of square roots? I couldn't get any satisfactory simplification by extracting ##a## out of the square root expressions, but I will try again tomorrow.

I am using the interference pattern to derive the difference between the lengths traveled by the 2 rays to reach Q'. The central bright fringe is equidistant from A and B and so the 2 rays interfering there will be in exactly the same phase, i.e. the 2 waves reaching and positively interfering at Q' at any instant ##t_1## would have originated from the 2 images at the same instant ##t_0##, and hence the same number of waves would have been emitted along the 2 paths. In case of the next bright fringe (in the solution, I considered the one immediately above the central fringe, but the same applies to the first bright fringe below too), the 2 constructively interfering waves would differ in phase by 1 wavelength, i.e. they would have originated from the sources at time instants that are ##\dfrac{1}{f}## seconds apart, where ##f = \dfrac{c}{\lambda}## is the frequency of the emitted light (assuming that it is okay to ignore the minor variations in speed of light as it passes through prism and non-vacuum air). In general, if we consider the bright fringe that is ##n## fringes above or below the central bright fringe, the waves interfering there would different in phase by ##n## times the wavelength, i.e. they would have been emitted from the source ##\dfrac{n}{f}## seconds apart. Am I missing something?
 
  • #37
Not anonymous said:
Do you mean a simpler expression that does not involve difference of square roots?
You can get a simpler expression as follows,

$$\begin{align} |BQ'|^2-|AQ'|^2&= (a^2 + (\dfrac{d}{2} + \Delta y)^2)-(a^2 + (\dfrac{d}{2} - \Delta y)^2)\nonumber\\ (|BQ'|-|AQ'|)(|BQ'|+|AQ'|)&=2 \Delta y \cdot d \nonumber \end{align}$$
Now, ##|BQ'|-|AQ'|## is the path difference which for a maxima (bright fringe) is ##n \lambda## (where ##n## is an integer)
and for ##a \gg d## ##|BQ'| \approx |AQ'| \approx a## hence we get, $$n \lambda= \frac{ \Delta y \cdot d}{a}$$ Which is pretty much the case for every YDSE, and if the question gives the value of angle of prism ##A## and its refractive index ##\mu## we will get $$n \lambda= \frac{2 \Delta y \cdot (2x(\mu-1)A)}{a}$$
 
  • Like
Likes Not anonymous and fresh_42
  • #38
kshitij said:
You can get a simpler expression as follows,

$$\begin{align} |BQ'|^2-|AQ'|^2&= (a^2 + (\dfrac{d}{2} + \Delta y)^2)-(a^2 + (\dfrac{d}{2} - \Delta y)^2)\nonumber\\ (|BQ'|-|AQ'|)(|BQ'|+|AQ'|)&=2 \Delta y \cdot d \nonumber \end{align}$$
Now, ##|BQ'|-|AQ'|## is the path difference which for a maxima (bright fringe) is ##n \lambda## (where ##n## is an integer)
and for ##a \gg d## ##|BQ'| \approx |AQ'| \approx a## hence we get, $$n \lambda= \frac{ \Delta y \cdot d}{a}$$ Which is pretty much the case for every YDSE, and if the question gives the value of angle of prism ##A## and its refractive index ##\mu## we will get $$n \lambda= \frac{2 \Delta y \cdot (2x(\mu-1)A)}{a}$$
Note that ##d## is equal to the distance between A and B in the figure
Not anonymous said:
plot1-png.png
which is equal to ##\dfrac{x}{a-x}D## according to the question
 
  • #39
fresh_42 said:
14. A galaxy is away and oriented in space, such that its rotation axis is perpendicular to the line of sight. The ##\alpha## line of hydrogen is measured to occur at ##\lambda_1 = 658.003 \,\text{nm}## instead of ##\lambda_0 = 656.28 \, \text{nm}## widened to ##b = 0.438 \, \text{nm}##.

Assume that the main cause of the widening is the rotation of the stars around the center of the galaxy. Assume further that the different wavelength is only due to the radial motion of the galaxy compared to our solar system.

What is the maximal rotational velocity of the observed stars, and what is the maximal velocity the galaxy is moving, and in which direction as seen from our solar system?

I have not solved before or been taught problems of this type (or anything related to stellar astronomy for that matter, except for a brief introduction to types of galaxies by shape), so I might be totally wrong in this attempted solution. I do not know the real meaning of ##\alpha## line of hydrogen though I surmise it is related to the spectrum of light emitted by that element at certain temperatures and is probably a signature of that element. And I hope that I am correct at least in assuming that the change in wavelength is due to the Doppler effect, which I have studied in the context of sound waves.

Let ##v_x## be the velocity at which the galaxy is moving along the line of sight, with a negative value meaning it is moving away from the solar system and a positive value indicating it is moving towards us. Assume that ##v_r## is the maximum rotational velocity of the stars in that galaxy. Since the rotational axis is perpendicular to the line of sight, there would be some (many, in fact) stars rotating towards us (solar system) and others rotating away from us. The stars rotating fastest in a direction away from us would have an effective velocity of ##v_A = v_x - v_r## along the line of sight, while the stars rotating fastest in a direction towards us have an effective velocity of ##v_B = v_x + v_r## along the line of sight. Among all stars in the galaxy, these two groups are stars are the ones that would appear to be moving the fastest and the slowest (or vice-versa, depending on whether the galaxy is moving away or towards us) along the line of sight and hence they should correspond to the 2 extremes of the ##\alpha## line shifted due to Doppler effect. I assume that the widening happens due to the ##\alpha## line of different stars getting shifted by different amounts due to their differing relative velocities w.r.t. solar system. Let ##\lambda_{1A}, \lambda_{1B}## be the shifted wavelengths of the stars moving with effective velocities ##v_A, v_B## respectively. Using Doppler effect formula, we get:

##\lambda_{1A} = \lambda_{0} \dfrac{c - (v_x - v_r)}{c}##
##\lambda_{1B} = \lambda_{0} \dfrac{c - (v_x + v_r)}{c}##
##\lambda_1 = \dfrac{\lambda_{1A} + \lambda_{1B}}{2} = \lambda_{0} \dfrac{c - v_x}{c}##
##\Rightarrow v_x = c - \dfrac{c \lambda_1}{\lambda_0} = c (1 - \frac{658.003}{656.28}) ≈ -787.621 \,\text{km/s}##

Thus the galaxy is moving away from the solar system with a velocity of 787.621km/s along the line of sight.

To derive ##v_r##, we use the observation that the width of the Doppler-effected ##\alpha## line would be ##b = \lambda_{1A} - \lambda_{1B} = \lambda_0 \dfrac{2 v_r}{c} \Rightarrow v_r = c \dfrac{b} {2 \lambda_0} = c \frac{0.438} {656.28} ≈ 200.219 \,\text{km/s}##.
 
  • #40
Not anonymous said:
I have not solved before or been taught problems of this type (or anything related to stellar astronomy for that matter, except for a brief introduction to types of galaxies by shape), so I might be totally wrong in this attempted solution. I do not know the real meaning of ##\alpha## line of hydrogen though I surmise it is related to the spectrum of light emitted by that element at certain temperatures and is probably a signature of that element. And I hope that I am correct at least in assuming that the change in wavelength is due to the Doppler effect, which I have studied in the context of sound waves.

Let ##v_x## be the velocity at which the galaxy is moving along the line of sight, with a negative value meaning it is moving away from the solar system and a positive value indicating it is moving towards us. Assume that ##v_r## is the maximum rotational velocity of the stars in that galaxy. Since the rotational axis is perpendicular to the line of sight, there would be some (many, in fact) stars rotating towards us (solar system) and others rotating away from us. The stars rotating fastest in a direction away from us would have an effective velocity of ##v_A = v_x - v_r## along the line of sight, while the stars rotating fastest in a direction towards us have an effective velocity of ##v_B = v_x + v_r## along the line of sight. Among all stars in the galaxy, these two groups are stars are the ones that would appear to be moving the fastest and the slowest (or vice-versa, depending on whether the galaxy is moving away or towards us) along the line of sight and hence they should correspond to the 2 extremes of the ##\alpha## line shifted due to Doppler effect. I assume that the widening happens due to the ##\alpha## line of different stars getting shifted by different amounts due to their differing relative velocities w.r.t. solar system. Let ##\lambda_{1A}, \lambda_{1B}## be the shifted wavelengths of the stars moving with effective velocities ##v_A, v_B## respectively. Using Doppler effect formula, we get:

##\lambda_{1A} = \lambda_{0} \dfrac{c - (v_x - v_r)}{c}##
##\lambda_{1B} = \lambda_{0} \dfrac{c - (v_x + v_r)}{c}##
##\lambda_1 = \dfrac{\lambda_{1A} + \lambda_{1B}}{2} = \lambda_{0} \dfrac{c - v_x}{c}##
##\Rightarrow v_x = c - \dfrac{c \lambda_1}{\lambda_0} = c (1 - \frac{658.003}{656.28}) ≈ -787.621 \,\text{km/s}##

Thus the galaxy is moving away from the solar system with a velocity of 787.621km/s along the line of sight.

To derive ##v_r##, we use the observation that the width of the Doppler-effected ##\alpha## line would be ##b = \lambda_{1A} - \lambda_{1B} = \lambda_0 \dfrac{2 v_r}{c} \Rightarrow v_r = c \dfrac{b} {2 \lambda_0} = c \frac{0.438} {656.28} ≈ 200.219 \,\text{km/s}##.
You must use ##\Delta \lambda =0.5 b## so the rotational velocity is only ##\approx 100\text{ km/s}.##
 
  • #41
fresh_42 said:
You must use ##\Delta \lambda =0.5 b## so the rotational velocity is only ##\approx 100\text{ km/s}.##
Sorry, I forgot to include 2 in the product expression of the denominator in the final step of the calculation and hence the mistake.
 
  • #42
fresh_42 said:
15. The spiral galaxy ##\text{M81}## near Ursa Major can already be viewed by a small telescope. It has an apparent magnitude of ##\text{M} = 6.9##. The angle to the celestial pole is about Is 21°. it possible to observe ##\text{M81}## the entire year, if you live in Toronto?

Calculate our distance from ##\text{M81}## in lightyears. (Use an average value of magnitude ##22.3## at a pulsation rate of 30 per day and the relation ##M = -1.67 - 2.54 \, . \log_{10} p##.)

The celestial north pole is visible from the whole of northern hemisphere throughout the year and for people living at a latitude of θ° north, the celestial north pole will appear at an elevation angle of θ°. Stars located at an angle of not more than θ° on any side of the celestial north pole must be visible above the horizon always from a place located at a latitude of θ° north on Earth's surface (though it must be noted that Arctic regions have 24-hours sunshine during summer making other stars invisible even when above horizon). Since Toronto is located at a latitude of approximately 43.5° N, stars that located less than 43.5° from the celestial north pole should be visible in the night sky throughout the year, and hence ##\text{M81}## that is located at a smaller deviation of 21° should also be visible throughout the year.

To calculate the distance of a cepheid variable, we can use the formula ##d = 10^\frac{m - M + 5}{5}## parsecs where ##m## is the apparent magnitude and ##M## is the absolute magnitude. The question tells us to use 22.3 as the average apparent magnitude, so ##m = 22.3##. To compute the absolute magnitude, we substitute ##p=1/30## (since question says that the pulsation rate is 30 per day, the pulsation period is ##\frac{1}{30}## days) in the periodicity-luminosity relation formula ##M = -1.67 - 2.54 \, . \log_{10} p##, giving ##M \approx 2.0819##. And from this we derive the distance to the cepheid C27 (and therefore also an estimate of the distance between Earth and M81): ##d \approx 10^\frac{22.3-2.0819+5}{5} \approx 110566.2 \text{parsecs}##, i.e. approximately 360618.73 light years.

Thanks to the websites of some astronomical observatories for making the cepheid luminosity-distance formula easily available on search and for explaining the formula too.

fresh_42 said:
Verify that if a celestial body orbits a center of great mass, then we can calculate the central mass approximately by ##M = \dfrac{v^2 \, . r}{G}##. Show by choosing two data-points that the rotation curve of ##\text{M81}## is approximately ##v \sim \dfrac{1}{\sqrt{r}}## for ##r = 10 \, \text{kpc}##. What does that mean for the mass distribution in ##\text{M81}##? Estimate the mass of M81 within the optical spectrum in units of sun masses.

From Newton's laws of motion, we know that the centrifugal force of an object in circular motion is given by ##F_c = \dfrac{mv^2}{r}##, where ##m## is the mass of the object, ##v## its orbital velocity and ##r## is the radius of the circular motion. For a celestial object orbiting around a center of great mass ##M## (such as a star orbiting around the center of gravity of a galaxy), when its circular motion is stable (i.e. its orbit is of fixed radius and its orbital velocity is also constant), the outward centrifugal force must be balanced by the gravitational force pulling the body towards the center of great mass. Newton's law of gravity gives the gravitational force acting on the celestial body to be ##F_g = \dfrac{GMm}{r^2}##. And since the forces balance out, we get ##F_g = F_c## and this gives a way to estimate the great mass ##M## which the celestial body (of mass ##m##) is orbiting. ##F_g = F_c \Rightarrow \dfrac{GMm}{r^2} = \dfrac{mv^2}{r} \Rightarrow M = \dfrac{v^2 \, . r}{G}##.

I am not too familiar with the ##\sim## notation in the context of ##v \sim \dfrac{1}{\sqrt{r}}## and I assume it means "proportional too". Since the question asks to validate this relation for ##r = 10 \, \text{kpc}##, we choose 2 points from the rotation curve that are fairly close to ##r = 10## and also fall in a region where the curve follows a similar trend. Since the curve for ##\text{M81}## shows a different relationship (##v## increasing with increasing ##r##) between ##v## and ##r## for ##r## up to around 8 kpc compared to the trend for ##r \geq 8 \, \text{kpc}##, we choose the points corresponding to ##r = 8\, \text{kpc}## and ##r = 12.5\, \text{kpc}## and calculate ##v\sqrt{r}## at each.

For ##r=8##, ##v## is approximately 270 and we get ##v\sqrt{r} \approx 763.7##. For ##r=12.5##, ##v## is approximately 235 (or is it 240? I find it difficult to find the better approximation from the plot as the axes ticks do not make it easy to interpolate) and we get ##v\sqrt{r} \approx 830.4##. Since 763.7 and 830.4 are of similar magnitude and may be treated as approximately equal considering the scale and range of values that ##v, r## take, it seems acceptable to use the approximate relation ##v \sim \dfrac{1}{\sqrt{r}}## for ##r = 10 \, \text{kpc}##.

Being able to apply the relation ##v \sim \dfrac{1}{\sqrt{r}}## for some value of ##r## means that the orbital velocity is largely obeying the gravitational force-determined circular motion (the centrifugal force-gravitational force balance described above). This implies that most of the mass of the galaxy is concentrated well within a radius of ##10 , \text{kpc}## from the center of (mass of) the galaxy, so the celestial body can be viewed as orbiting one center of great mass (instead of orbiting around or between 2 or more centers of great masses far apart from each other).

To find the mass of M81 within he optical spectrum, we use the formula ##M = \dfrac{v^2 \, . r}{G}## and substitute ##r = 15 \, \text{kpc}## (since question hints that ##r \geq 16 \, text{kpc}## is outside optical spectrum) and the corresponding value of ##v## taken from the rotation curve for ##\text{M81}## (I take ##v \approx 220 \, \text{km/s} =220000 \, \text{m/s}## for ##r = 15 \, \text{kpc} \approx 462851600000000000 \, \text{m}##). This gives ##M \approx \dfrac{220000^2 \timex 462851600000000000} {6.674 \times 10^{-11}} \approx 3.356610345 \times 10^{38} \, \text{kg}##, which is approximately equal to 168803670.3908 solar masses.
fresh_42 said:
The rotation curves of ##\text{M81}## and the Milky Way differ a lot for great distances from the center. What does that mean for the mass distribution in our Milky Way?

We notice that while the rotation curve of ##text{M81}## follows ##v \sim \dfrac{1}{\sqrt{r}}## from around ##r = 8 \, \text{kpc}## well into large distances (radius distance beyond optical spectrum), the rotation curve for Milky way does not show a similar strong inverse proportionality relation between ##v## and ##\sqrt{r}## even for large values of ##r##. Rather, ##v## appears almost constant for ##8 < r < 15 \, \text{kpc}## and decreasing very gradually as ##r## increases beyond ##15 \, \text{kpc}##. This suggests that the orbiting around once center of great mass relation described above cannot be applied the same way for Milky way as it could be done for ##\text{M81}##. This is most likely because the mass of Milky way is distributed (spread out) over a much larger distance and is not as highly concentrated in a relatively small region (within ##r = 10 \, \text{kpc}## (or even within ##r = 20 \, \text{kpc}## from its center) unlike in case of ##\text{M81}##. So the orbiting of many stars cannot be modeled by gravity-controlled circular motion around one center of great mass located well within their center of orbit.
 
  • Like
Likes fresh_42
  • #43
Not anonymous said:
The celestial north pole is visible from the whole of northern hemisphere throughout the year and for people living at a latitude of θ° north, the celestial north pole will appear at an elevation angle of θ°. Stars located at an angle of not more than θ° on any side of the celestial north pole must be visible above the horizon always from a place located at a latitude of θ° north on Earth's surface (though it must be noted that Arctic regions have 24-hours sunshine during summer making other stars invisible even when above horizon). Since Toronto is located at a latitude of approximately 43.5° N, stars that located less than 43.5° from the celestial north pole should be visible in the night sky throughout the year, and hence ##\text{M81}## that is located at a smaller deviation of 21° should also be visible throughout the year.

To calculate the distance of a cepheid variable, we can use the formula ##d = 10^\frac{m - M + 5}{5}## parsecs where ##m## is the apparent magnitude and ##M## is the absolute magnitude. The question tells us to use 22.3 as the average apparent magnitude, so ##m = 22.3##. To compute the absolute magnitude, we substitute ##p=1/30## (since question says that the pulsation rate is 30 per day, the pulsation period is ##\frac{1}{30}## days) in the periodicity-luminosity relation formula ##M = -1.67 - 2.54 \, . \log_{10} p##, giving ##M \approx 2.0819##. And from this we derive the distance to the cepheid C27 (and therefore also an estimate of the distance between Earth and M81): ##d \approx 10^\frac{22.3-2.0819+5}{5} \approx 110566.2 \text{parsecs}##, i.e. approximately 360618.73 light years.

Thanks to the websites of some astronomical observatories for making the cepheid luminosity-distance formula easily available on search and for explaining the formula too.
You have to use ##p=30## not ##1/30## but this might be due to a misleading translation on my side. The answer is, therefore, ##11.4\, Mly.##
Not anonymous said:
From Newton's laws of motion, we know that the centrifugal force of an object in circular motion is given by ##F_c = \dfrac{mv^2}{r}##, where ##m## is the mass of the object, ##v## its orbital velocity and ##r## is the radius of the circular motion. For a celestial object orbiting around a center of great mass ##M## (such as a star orbiting around the center of gravity of a galaxy), when its circular motion is stable (i.e. its orbit is of fixed radius and its orbital velocity is also constant), the outward centrifugal force must be balanced by the gravitational force pulling the body towards the center of great mass. Newton's law of gravity gives the gravitational force acting on the celestial body to be ##F_g = \dfrac{GMm}{r^2}##. And since the forces balance out, we get ##F_g = F_c## and this gives a way to estimate the great mass ##M## which the celestial body (of mass ##m##) is orbiting. ##F_g = F_c \Rightarrow \dfrac{GMm}{r^2} = \dfrac{mv^2}{r} \Rightarrow M = \dfrac{v^2 \, . r}{G}##.

I am not too familiar with the ##\sim## notation in the context of ##v \sim \dfrac{1}{\sqrt{r}}## and I assume it means "proportional too". Since the question asks to validate this relation for ##r = 10 \, \text{kpc}##, we choose 2 points from the rotation curve that are fairly close to ##r = 10## and also fall in a region where the curve follows a similar trend. Since the curve for ##\text{M81}## shows a different relationship (##v## increasing with increasing ##r##) between ##v## and ##r## for ##r## up to around 8 kpc compared to the trend for ##r \geq 8 \, \text{kpc}##, we choose the points corresponding to ##r = 8\, \text{kpc}## and ##r = 12.5\, \text{kpc}## and calculate ##v\sqrt{r}## at each.

For ##r=8##, ##v## is approximately 270 and we get ##v\sqrt{r} \approx 763.7##. For ##r=12.5##, ##v## is approximately 235 (or is it 240? I find it difficult to find the better approximation from the plot as the axes ticks do not make it easy to interpolate) and we get ##v\sqrt{r} \approx 830.4##. Since 763.7 and 830.4 are of similar magnitude and may be treated as approximately equal considering the scale and range of values that ##v, r## take, it seems acceptable to use the approximate relation ##v \sim \dfrac{1}{\sqrt{r}}## for ##r = 10 \, \text{kpc}##.

Being able to apply the relation ##v \sim \dfrac{1}{\sqrt{r}}## for some value of ##r## means that the orbital velocity is largely obeying the gravitational force-determined circular motion (the centrifugal force-gravitational force balance described above). This implies that most of the mass of the galaxy is concentrated well within a radius of ##10 , \text{kpc}## from the center of (mass of) the galaxy, so the celestial body can be viewed as orbiting one center of great mass (instead of orbiting around or between 2 or more centers of great masses far apart from each other).

To find the mass of M81 within he optical spectrum, we use the formula ##M = \dfrac{v^2 \, . r}{G}## and substitute ##r = 15 \, \text{kpc}## (since question hints that ##r \geq 16 \, text{kpc}## is outside optical spectrum) and the corresponding value of ##v## taken from the rotation curve for ##\text{M81}## (I take ##v \approx 220 \, \text{km/s} =220000 \, \text{m/s}## for ##r = 15 \, \text{kpc} \approx 462851600000000000 \, \text{m}##). This gives ##M \approx \dfrac{220000^2 \timex 462851600000000000} {6.674 \times 10^{-11}} \approx 3.356610345 \times 10^{38} \, \text{kg}##, which is approximately equal to 168803670.3908 solar masses.

I took ##16\,kpc## and ##210\,kms^{-1}## but that shouldn't lead to a difference of magnitude ##10^3##. I assume that you have forgotten the kilo in ##kpc##.

My number is ##3.2628 \cdot 10^{41}\,\rm kg \approx 164\cdot 10^{9} \,\rm m_{sun}\,.##
Not anonymous said:
We notice that while the rotation curve of ##text{M81}## follows ##v \sim \dfrac{1}{\sqrt{r}}## from around ##r = 8 \, \text{kpc}## well into large distances (radius distance beyond optical spectrum), the rotation curve for Milky way does not show a similar strong inverse proportionality relation between ##v## and ##\sqrt{r}## even for large values of ##r##. Rather, ##v## appears almost constant for ##8 < r < 15 \, \text{kpc}## and decreasing very gradually as ##r## increases beyond ##15 \, \text{kpc}##. This suggests that the orbiting around once center of great mass relation described above cannot be applied the same way for Milky way as it could be done for ##\text{M81}##. This is most likely because the mass of Milky way is distributed (spread out) over a much larger distance and is not as highly concentrated in a relatively small region (within ##r = 10 \, \text{kpc}## (or even within ##r = 20 \, \text{kpc}## from its center) unlike in case of ##\text{M81}##. So the orbiting of many stars cannot be modeled by gravity-controlled circular motion around one center of great mass located well within their center of orbit.

It can. It only means that we did not see all the mass (dark matter):

The orbital velocity of the Milky Way is almost constant for large distances from its center. So there must be considerable (non-luminous) masses at these distances.

The last answer that you have forgotten is:

Since the ##\alpha ##-line of hydrogen is blue-shifted, ##\lambda_0>\lambda_1,## Hubble's law does not apply. ##\rm M81## is approaching the Milky Way.
 
Last edited:
  • #44
fresh_42 said:
I assume that you have forgotten the kilo in ##kpc##.
Sorry. Yes, you are right - I forgot to multiply by 1000. Also forgot to answer to the last part of the question relating to Hubble's law - the question was quite huge and I missed including the last part of the answer before posting the reply. That said, I thought that the 2 wavelength values indicate a redshift rather than a blueshift.

fresh_42 said:
Since the ##\alpha##-line of hydrogen is blue-shifted, ##\lambda_1 > \lambda_0##, Hubble's law does not apply
Assuming that ##\lambda_0## is the original wavelength of the ##\alpha##-line of hydrogen (i.e. the wavelength that would be seen by an observer if the light source is relatively stationary w.r.t. the observer), and ##\lambda_1## is the actually observed wavelength of light (or more precisely, that of the ##\alpha##-line in that light) from the center of ##\text{M81}## (which is in all likelihood moving, not stationary w.r.t. earth) as observed from earth, doesn't ##\lambda_1 > \lambda_0## indicate a shift towards the red end of the spectrum rather than towards the blue end? My understanding has always been that an increase in wavelength (or in other words, a decrease in frequency) is indicative of a redshift rather than a blueshift. Did I swap the meanings of ##\lambda_0## and ##\lambda_1## leading to this confusion?

Thanks for posting an interesting set of physics questions this month! It was a different type of challenge to solve these and truly a delight, though I look forward to seeing math questions too.
 
  • #45
Not anonymous said:
Sorry. Yes, you are right - I forgot to multiply by 1000. Also forgot to answer to the last part of the question relating to Hubble's law - the question was quite huge and I missed including the last part of the answer before posting the reply. That said, I thought that the 2 wavelength values indicate a redshift rather than a blueshift.Assuming that ##\lambda_0## is the original wavelength of the ##\alpha##-line of hydrogen (i.e. the wavelength that would be seen by an observer if the light source is relatively stationary w.r.t. the observer), and ##\lambda_1## is the actually observed wavelength of light (or more precisely, that of the ##\alpha##-line in that light) from the center of ##\text{M81}## (which is in all likelihood moving, not stationary w.r.t. earth) as observed from earth, doesn't ##\lambda_1 > \lambda_0## indicate a shift towards the red end of the spectrum rather than towards the blue end? My understanding has always been that an increase in wavelength (or in other words, a decrease in frequency) is indicative of a redshift rather than a blueshift. Did I swap the meanings of ##\lambda_0## and ##\lambda_1## leading to this confusion?

Thanks for posting an interesting set of physics questions this month! It was a different type of challenge to solve these and truly a delight, though I look forward to seeing math questions too.
You are right. I made a mistake. The source where I had the problem from defined ##\lambda_0=656.47 \,\rm nm##. I corrected it. My difficulty was, that I couldn't find a source that said the ##\alpha##-line is ... If I changed the website, I found another value.

Sorry.
 
  • Like
Likes Not anonymous
  • #46
fresh_42 said:
It can. It only means that we did not see all the mass (dark matter)

Sorry, I am a bit confused by this. Even if there is a huge amount of unseen mass from dark matter, if most of that dark matter were concentrated near the center of the galaxy, would not the orbit of stars and other celestial bodies orbiting around the galactic center at a medium to large radius approximately obey the relation ##v \sim \dfrac{1}{\sqrt{r}}##? Since the mass of anyone star, even if it be a very large one, would be far too small compared to the mass (of both ordinary and dark matter) closer to the center of the galaxy, I thought that the orbital motion of the relatively further out stars around the galactic center could be approximately modeled as a gravity-controlled circular motion of one small mass object around a large mass object if most of the mass exerting significant gravity on the star's orbit is concentrated at the galaxy's center. If the mass is more spread out, i.e. there is large amount of matter (of any type) both near orbit's center and outside the orbit but at a distance comparable to the radius (so not too far out that its garvitational effect on the stars is very small), then can the rotation of stars around the galactic center still be approximated well enough as 1 small mass object orbiting around another much more massive object that can be viewed as almost stationary? If yes, why do we not see the relation ##v \sim \dfrac{1}{\sqrt{r}}## in case of Milky way? I did not mean to say that we cannot explain the orbits using gravitational effects, but rather meant that gravity could still explain the motion but the model would be more complex than 1 small mass object orbiting 1 very large mass object.

I am happy to have got a chance to attempt solving a problem that is related to dark matter, even it were only a very tangential relation and even though I didn't get the answers correct for all parts of the question :oldsmile:. I have read about dark matter and dark energy in science articles and the enigma surrounding them only gets deeper every time!
 
  • #47
Not anonymous said:
Sorry, I am a bit confused by this. Even if there is a huge amount of unseen mass from dark matter, if most of that dark matter were concentrated near the center of the galaxy, would not the orbit of stars and other celestial bodies orbiting around the galactic center at a medium to large radius approximately obey the relation ##v \sim \dfrac{1}{\sqrt{r}}##? Since the mass of anyone star, even if it be a very large one, would be far too small compared to the mass (of both ordinary and dark matter) closer to the center of the galaxy, I thought that the orbital motion of the relatively further out stars around the galactic center could be approximately modeled as a gravity-controlled circular motion of one small mass object around a large mass object if most of the mass exerting significant gravity on the star's orbit is concentrated at the galaxy's center. If the mass is more spread out, i.e. there is large amount of matter (of any type) both near orbit's center and outside the orbit but at a distance comparable to the radius (so not too far out that its garvitational effect on the stars is very small), then can the rotation of stars around the galactic center still be approximated well enough as 1 small mass object orbiting around another much more massive object that can be viewed as almost stationary? If yes, why do we not see the relation ##v \sim \dfrac{1}{\sqrt{r}}## in case of Milky way? I did not mean to say that we cannot explain the orbits using gravitational effects, but rather meant that gravity could still explain the motion but the model would be more complex than 1 small mass object orbiting 1 very large mass object.

I am happy to have got a chance to attempt solving a problem that is related to dark matter, even it were only a very tangential relation and even though I didn't get the answers correct for all parts of the question :oldsmile:. I have read about dark matter and dark energy in science articles and the enigma surrounding them only gets deeper every time!
I think you should ask this in a Cosmology thread. I am no physicist, so I don't know whether my guess that it could be due to DM was correct, or if was due to any other reason.
 

Similar threads

Replies
42
Views
10K
2
Replies
67
Views
11K
2
Replies
93
Views
14K
2
Replies
61
Views
11K
2
Replies
93
Views
11K
3
Replies
100
Views
11K
2
Replies
56
Views
10K
3
Replies
102
Views
10K
2
Replies
61
Views
9K
3
Replies
114
Views
10K
Back
Top