Math Challenge - November 2020

In summary, the conversation covers various topics in mathematics such as the diffusion equation, sequence space, Banach space, linear algebra, quadratic forms, population distribution, Sylow subgroups, Lotka-Volterra, ring theory, and field extension. Specifically, the conversation includes discussions on the maximum value of a function satisfying the one-dimensional diffusion equation, the boundedness and compactness of a certain set, the non-existence of a Banach space, properties of matrices and their eigenvalues, the Euclidean normal form of a conic section, the behavior of solutions to the diffusion equation with constant population, the existence of normal subgroups in a group, the stability of a diffusional Lotka-Volterra system, the properties
  • #1
fresh_42
Staff Emeritus
Science Advisor
Insights Author
2023 Award
19,654
25,636
Summary: Diffusion Equation, Sequence Space, Banach Space, Linear Algebra, Quadratic Forms, Population Distribution, Sylow Subgroups, Lotka-Volterra, Ring Theory, Field Extension.

1. Let ##u(x,t)## satisfy the one dimensional diffusion equation ##u_t=Du_{xx}## in a space-time rectangle ##R=\{0\leq x\leq l,0\leq t\leq T\}##, then the maximum value of ##u(x,t)## is assumed either on the initial line ##(t=0)## or on the boundary lines ##(x=0 \,or\,x=l )##. ##D > 0.##

2. (solved by @Office_Shredder, second proof possible ) Show that ## M= \{ (a_n)\in \ell^2(\mathbb{C})\,|\,\forall \,n: |a_n| \leq n^{-1} \} \subseteq \ell^2(\mathbb{C})## is bounded and compact.

3. (solved by @Office_Shredder ) Show by two different methods that the normed space ##\mathcal{C}:=(C^1([0,1]),\|.\|_\infty)## is not a Banach space.

4. (solved by @PeroK ) Let
$$
A:=\begin{bmatrix}5&0&1&6\\3&3&5&2\\0&0&3&0\\6&0&3&0\end{bmatrix} \in \mathbb{M}_4(\mathbb{Z}_7)
$$
(a) Determine the characteristic polynomial ##\chi_A(x)## of ##A.##
(b) Determine bases of the eigenspaces.
(c) Determine a matrix ##S\in\operatorname{GL}_4(\mathbb{Z}_7)## such that ##S^{-1}AS## is a diagonal matrix. Which one?
(d) Calculate ##A^{31}.##

5. (solved by @etotheipi ) Let ##f(x,y)=34x^2+24xy+41y^2+20x+110y+50.## Determine the Euclidean normal form of the conic section $$Q_f=\{(x,y)^\tau\in\mathbb{R}^2\,|\,f(x,y)=0\}.$$ What are its foci and vertices in the normal form?

6. (solved by @benorin ) Let ##u(x,t)## be a solution of the one dimensional diffusion equation ##u_t=Du_{xx}.## Assume that
$$
C:=\int_{-\infty}^{\infty} u(x,t)\,dx
$$
is independent of ##t,## which corresponds to a constant population, and ##u## is small at infinity, which means that
$$
\lim_{x \to \pm\infty} xu(x,t) = 0 = \lim_{x \to \pm \infty} x^2 \dfrac{\partial}{\partial x}u(x,t)
$$
If
$$
\sigma^2(t)=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2u(x,t)\,dx
$$
then
$$
\sigma^2(t)=2Dt\,+\,\sigma^2(0)
$$
In the special case of an initial population (i.e. for ##t = 0##) which is concentrated near ##x = 0## (like a ##\delta ##-function) then we get ##\sigma^2(t)\approx 2Dt.##

7. (solved by @fishturtle1 ) Let ##G## be a group of order ##351.## Show that ##G## has a non trivial normal subgroup.

8. Show that the diffusional Lotka-Volterra system ##(a>0)##
\begin{align}
u_t&\, = \,u(1-v)+D\Delta u\\
v_t&\, = \,av(u-1)+D\Delta v
\end{align}
with equal diffusion coefficient ##D>0## and homogeneous Neumann boundary conditions
$$
\dfrac{\partial u}{\partial n}(x,t)=0=\dfrac{\partial v}{\partial n}(x,t)
$$
for ##x\in \partial\Omega\, , \,\Omega\subseteq \mathbb{R}^n## of finite volume and ##n## outward normal, ##\Delta ## the Laplace operator, tends to a spatially uniform state for ##t \to \infty,## i.e.
$$
\lim_{t \to \infty} \nabla u = \lim_{t \to \infty} \nabla v = 0
$$
Hint: Consider the energy of the system ##s=a(u-\log u)+(v - \log v).##

9. (a) (solved by @disregardthat ) Let ##R## be a Notherian local commutative ring with ##1## and maximal ideal ##M.## If ##A \trianglelefteq R## is an ideal in ##R## such that ##A/MA\cong_R \{0\},## then ##A=(0).##
9. (b) (solved by @disregardthat ) Let ##R## be an integral domain, and ##\dim R_P=0## for all ##P\in \operatorname{Spec}(R)##, then ##R## is a field. The dimension is the Krull dimension.

10. (solved by @Office_Shredder ) Let ##\alpha\in \mathbb{C}## a root of the polynomial ##f(x)=x^3-3x-1\in \mathbb{Q}[x]##. Show that ##f(x)## is irreducible, and that there is an automorphism ##\sigma\in \operatorname{Aut}(\mathbb{Q}(\alpha)/\mathbb{Q})## with ##\sigma(\alpha)=2-\alpha^2.## If ##\alpha ## is chosen closest to zero, what is ##+\sqrt{12-3\alpha^2}## in the splitting field of ##f(x)##? This means in terms of a polynomial in ##\alpha,## not numerical.
1596234944639-png-png-png.png


High Schoolers only11. (solved by @songoku ) Determine all ##a\in \mathbb{R}## such that
$$
x(x+1)(x+2)(x+3)=a
$$
has no real solution, a unique real solution, exactly two, three, or four real solutions, more than four real solutions.

12. (solved by @songoku ) An international conference has ##30## scientists who speak English, Russian or Spanish. The number of people who speak exactly two languages is more than twice as big, but less than thrice as much as the number of people who speak only one language, which are as many as speak all three languages. Those who speak only English are more than those who speak only Russian, but less than those who speak only Spanish. The number of those who speak only English is less than thrice the number of people who speak only Russian. How many people do speak only English, Russian, Spanish, and how many all three languages? (The conference language is French.)

13. (solved by @songoku ) Calculate (manually!)
$$
z=\dfrac{65533^3+65534^3+65535^3+65536^3+65537^3+65538^3+65539^3}{32765\cdot 32766+32767\cdot 32768+32768\cdot 32769+32770\cdot 32771}
$$

14. (solved by @songoku ) Show that (##n\in \mathbb{N}_0##)
$$
f_n(x)=1+x+\dfrac{x^2}{2!}+\ldots+\dfrac{x^n}{n!}
$$
has at most one real zero.

15. (solved by @songoku ) Find all ##\lambda\in \mathbb{R}## such that
$$
\sin^4x-\cos^4x=\lambda(\tan^4x-\cot^4x)
$$
has no, exactly one, exactly two, more than two real solutions in ##\left(0,\dfrac{\pi}{2}\right)##
 
Last edited:
  • Like
Likes LCSphysicist and Delta2
Physics news on Phys.org
  • #2
In 5 I think I know the meaning of Euclidean normal form and its foci and vertices.

Do I need to understand the notation ##(x,y)^\tau## ?
 
  • #3
Keith_McClary said:
In 5 I think I know the meaning of Euclidean normal form and its foci and vertices.

Do I need to understand the notation ##(x,y)^\tau## ?
Old habit to write vectors as columns, so rows must be transposed. Just a reflex.
 
  • #4
fresh_42 said:
6. Let ##u(x,t)## be a solution of the one dimensional diffusion equation ##u_t=Du_{xx}.## Assume that
$$
C:=\int_{-\infty}^{\infty} u(x,t)\,dx
$$
is independent of ##t,## which corresponds to a constant population, and ##u## is small at infinity, which means that
$$
\lim_{x \to \pm\infty} xu(x,t) = 0 = \lim_{x \to \pm \infty} x^2 \dfrac{\partial}{\partial x}u(x,t)
$$
If
$$
\sigma^2(t)=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2u(x,t)\,dx
$$
then
$$
\sigma^2(t)=2Dt\,+\,\sigma^2(0)
$$
eIn the special case of an initial population (i.e. for ##t = 0##) which is concentrated near ##x = 0## (like a ##\delta ##-function) then we get ##\sigma^2(t)\approx 2Dt.##
We have
$$\begin{gathered}\sigma^2(t)=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2u(x,t)\,dx=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2\int_{0}^{t}u_{t}(x,\tau )\,d\tau \,dx+\sigma^2 (0) \\ = \dfrac{D}{C}\int_{-\infty}^{+\infty} x^2\int_{0}^{t}u_{xx}(x,\tau )\,d\tau \,dx+\sigma^2 (0) \\ = \dfrac{D}{C} \int_{0}^{t} \int_{-\infty}^{+\infty}x^2 u_{xx}(x,\tau ) \, dx \,d\tau+\sigma^2 (0) \\ \end{gathered}$$

Let ##u_1^{\prime}=x^2\Rightarrow du_1^{\prime}=2x\, dx## and ##dv_1^{\prime}=u_{xx}(x,\tau )\, dx\Rightarrow v_1^{\prime}=u_{x}(x, \tau )##, then

$$\begin{gathered}\sigma^2(t) = \dfrac{D}{C} \int_{0}^{t}\underbrace{\left[ x^2 u_{x}(x, \tau )\right|_{x=-\infty}^{+\infty}}_{=0}\, d\tau- \dfrac{2D}{C} \int_{0}^{t} \int_{-\infty}^{+\infty}x u_{x}(x,\tau ) \, dx \,d\tau+\sigma^2 (0) \\ \end{gathered}$$

Let ##u_2^{\prime}=x\Rightarrow du_2^{\prime}=dx## and ##dv_2^{\prime}=u_{x}(x,\tau )\, dx\Rightarrow v_2^{\prime}=u(x, \tau )##, then

$$\begin{gathered}\sigma^2(t) = \dfrac{D}{C} \int_{0}^{t}\underbrace{\left[ x u(x, \tau )\right|_{x=-\infty}^{+\infty}}_{=0}\, d\tau + \dfrac{2D}{C} \int_{0}^{t} \underbrace{\int_{-\infty}^{+\infty} u(x,\tau ) \, dx}_{=C} \,d\tau+\sigma^2 (0) \\ = 2D \int_{0}^{t}\,d\tau + \sigma^2 (0) \boxed{=2Dt + \sigma^2 (0)} \\ \end{gathered}$$
 
Last edited:
  • Like
Likes Delta2
  • #5
Very cool solution for 6 (and very cool problem). I think you typod and have an ##x^2## in the last integration by parts that is supposed to be an ##x##.

Number 2. I'm a little embarrassed by the length of the proof and wonder if I wasn't supposed to use this result.
by this neat theorem
https://calculus7.org/2017/04/27/compact-sets-in-banach-spaces/

We have to show it's bounded and flat.

Let ##a=(a_i) \in M##. Then
$$ ||a|| = \sum_i |a_i|^2 \leq \sum_i \frac{1}{n^2}$$.

That last sum converges, so ##M## is bounded.

Now we need to show it is flat. Since that sum above converges, for any ##\epsilon >0##, there exists ##r## such that
$$\sum_{i=r+1}^{\infty} \frac{1}{n^2} < \epsilon$$.

Let ##V_r \subset l_2## be the space of all sequences for which only the first ##r## elements are non-zero. Then ##V_r## is flat, and any element ##a## of ##M## is at most ##\epsilon## away from ##V_r## by taking the sequence which equals ##a## for the first ##r## elements and then 0 afterwards. Therefore it's flat and hence compact.
 
  • #6
benorin said:
We have
$$\begin{gathered}\sigma^2(t)=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2u(x,t)\,dx=\dfrac{1}{C}\int_{-\infty}^{+\infty} x^2\int_{0}^{t}u_{t}(x,\tau )\,d\tau \,dx+\sigma^2 (0) \\ = \dfrac{D}{C}\int_{-\infty}^{+\infty} x^2\int_{0}^{t}u_{xx}(x,\tau )\,d\tau \,dx+\sigma^2 (0) \\ = \dfrac{D}{C} \int_{0}^{t} \int_{-\infty}^{+\infty}x^2 u_{xx}(x,\tau ) \, dx \,d\tau+\sigma^2 (0) \\ \end{gathered}$$
Let ##u_1^{\prime}=x^2\Rightarrow du_1^{\prime}=2x\, dx## and ##dv_1^{\prime}=u_{xx}(x,\tau )\, dx\Rightarrow v_1^{\prime}=u_{x}(x, \tau )##, then
$$\begin{gathered}\sigma^2(t) = \dfrac{D}{C} \int_{0}^{t}\underbrace{\left[ x^2 u_{x}(x, \tau )\right|_{x=-\infty}^{+\infty}}_{=0}\, d\tau- \dfrac{2D}{C} \int_{0}^{t} \int_{-\infty}^{+\infty}x u_{x}(x,\tau ) \, dx \,d\tau+\sigma^2 (0) \\ \end{gathered}$$
Let ##u_2^{\prime}=x\Rightarrow du_2^{\prime}=dx## and ##dv_2^{\prime}=u_{x}(x,\tau )\, dx\Rightarrow v_2^{\prime}=u(x, \tau )##, then
$$\begin{gathered}\sigma^2(t) = \dfrac{D}{C} \int_{0}^{t}\underbrace{\left[ x^2 u(x, \tau )\right|_{x=-\infty}^{+\infty}}_{=0}\, d\tau + \dfrac{2D}{C} \int_{0}^{t} \underbrace{\int_{-\infty}^{+\infty} u(x,\tau ) \, dx}_{=C} \,d\tau+\sigma^2 (0) \\ = 2D \int_{0}^{t}\,d\tau + \sigma^2 (0) \boxed{=2Dt + \sigma^2 (0)} \\ \end{gathered}$$
It's a bit easier if you consider ##\dfrac{d\sigma^2}{dt}## and pull the differentiation into the integrals, but ok. What about the last question if ##u(x,0)=0## for ##|x|>\varepsilon##?
 
  • #7
Office_Shredder said:
Very cool solution for 6 (and very cool problem). I think you typod and have an ##x^2## in the last integration by parts that is supposed to be an ##x##.

Number 2. I'm a little embarrassed by the length of the proof and wonder if I wasn't supposed to use this result.
by this neat theorem
https://calculus7.org/2017/04/27/compact-sets-in-banach-spaces/

We have to show it's bounded and flat.

Let ##a=(a_i) \in M##. Then
$$ \|a\| = \sum_i |a_i|^2 \leq \sum_i \frac{1}{n^2}$$.

That last sum converges, so ##M## is bounded.

Now we need to show it is flat. Since that sum above converges, for any ##\epsilon >0##, there exists ##r## such that
$$\sum_{i=r+1}^{\infty} \frac{1}{n^2} < \epsilon$$.

Let ## V_r \subset l_2 ## be the space of all sequences for which only the first ## r ## elements are non-zero. Then ## V_r ## is flat, and any element ## a ## of ## M ## is at most ## \epsilon ## away from ## V_r ## by taking the sequence which equals ## a ## for the first ## r ## elements and then 0 afterwards. Therefore it's flat and hence compact.
What about closure? This is the trick I wanted to see.
 
  • #8
fresh_42 said:
It's a bit easier if you consider ##\dfrac{d\sigma^2}{dt}## and pull the differentiation into the integrals, but ok. What about the last question if ##u(x,0)=0## for ##|x|>\varepsilon##?
Taking the ##\delta -##function we have ##u(x,0)=\tfrac{1}{2\varepsilon}## for ##|x|\leq \varepsilon## whence

$$\begin{gathered} \sigma ^2(0)=\tfrac{1}{C}\int_{-\infty}^{+\infty} x^2 u(x,0) \, dx = \int_{-\varepsilon }^{+\varepsilon}x^2 \tfrac{1}{2\varepsilon} \, dx \\ = \tfrac{1}{6\varepsilon} \left[ x^3 \right|_{-\varepsilon}^{+\varepsilon} = \tfrac{\varepsilon ^2}{3} \rightarrow 0^{+} \\ \end{gathered}$$
since ##C=1## by definition of the ##\delta -##function.
 
  • Like
Likes Delta2 and fresh_42
  • #9
fresh_42 said:
What about closure? This is the trick I wanted to see.

Whoop!

To show ##M## is closed, we can show the complement is open. Let ##b=(b_i) \notin M##. Then there exists some ##k## such that ##|b_k|>1/k##.

Pick##\epsilon>0## such that ##\epsilon < |b_k| - \frac{1}{k}##. Let ##c\in B_{\epsilon}##. Then ##|c_k|<\epsilon##, and hence by the triangle inequality ##|b_k+c_k|> |b_k|-\epsilon > \frac{1}{k}##.

Hence ##b+c \notin M##, and therefore the compliment of ##M## is open.
 
  • #10
Office_Shredder said:
Whoop!

To show ##M## is closed, we can show the complement is open. Let ##b=(b_i) \notin M##. Then there exists some ##k## such that ##|b_k|>1/k##.

Pick##\epsilon>0## such that ##\epsilon < |b_k| - \frac{1}{k}##. Let ##c\in B_{\epsilon}##. Then ##|c_k|<\epsilon##, and hence by the triangle inequality ##|b_k+c_k|> |b_k|-\epsilon > \frac{1}{k}##.

Hence ##b+c \notin M##, and therefore the compliment of ##M## is open.
For all who want to prove it without the theorem @Office_Shredder quoted:
Show that ##M## is sequence compact.
 
  • #11
Just wanted to check - for #1, "space-time" rectangle doesn't have some special definition from physics, it just means a rectangle in the domain of u, right?
 
  • #12
Office_Shredder said:
Just wanted to check - for #1, "space-time" rectangle doesn't have some special definition from physics, it just means a rectangle in the domain of u, right?
Right. It's a spatial coordinate ##x## and a time coordinate ##t##. Classical of course. I guess it would remain true in more than one spatial coordinate and norms, but we have only one. The statement even has a name.
 
  • Like
Likes Office_Shredder
  • #13
Alright let me try

it's called the diffusion equation. If the statement wasn't true it would mean mass is gathering, not diffusing.

I think it needs a little work 😁
 
  • #14
Office_Shredder said:
Alright let me try

it's called the diffusion equation. If the statement wasn't true it would mean mass is gathering, not diffusing.

I think it needs a little work 😁
... or a little variation calculus.
 
  • #15
Number 3., I have one method. How different does the second way need to be?

Define ##f_n(x)## to be ##\sqrt{(x-1/2)^2 +1/n}##. Then each ##f_n## is differentiable, and in ##C^{0}## with the sup norm converges to ##|x-1/2|##. In particular it's a cauchy sequence in ##C^1##. But the limit is not in ##C^1##, so it's not complete as required.

I assume picking another cauchy sequence that doesn't converge in ##C^1## doesn't count as a second proof? Every idea I have boils down to constructing another such sequence (e.g. show the graph of the derivative operator is not a closed subset of the product topology boils down to constructing a sequence like the above)
 
  • Like
Likes mathwonk
  • #16
Office_Shredder said:
Number 3., I have one method. How different does the second way need to be?

Define ##f_n(x)## to be ##\sqrt{(x-1/2)^2 +1/n}##. Then each ##f_n## is differentiable, and in ##C^{0}## with the sup norm converges to ##|x-1/2|##. In particular it's a cauchy sequence in ##C^1##. But the limit is not in ##C^1##, so it's not complete as required.
This is correct, but you could be a little more detailed for lurkers and users who are still in the learning process.
I assume picking another cauchy sequence that doesn't converge in ##C^1## doesn't count as a second proof?
Well, yes, no.
Every idea I have boils down to constructing another such sequence (e.g. show the graph of the derivative operator is not a closed subset of the product topology boils down to constructing a sequence like the above)
I thought about an operator instead. In a way the complete abstraction of the sequence method above.
 
  • #17
Now that @etotheipi is at university, there's no one left who can do the high school problems!
 
  • Haha
Likes member 587159 and etotheipi
  • #18
@etotheipi

Since you are no longer at school, I have to remove your post. Well, I think it is still a bit early in the month. Let me hide it and see if someone else tries. If not, I will undelete it later on and give you the credits.

Moreover, Taylor and MVT are not really school level. Induction is, but you have to rephrase the statement first, i.e. prove a slightly stronger version.
 
Last edited:
  • #19
fresh_42 said:
Since you are no longer at school, I have to remove your post. Well, I think it is still a bit early in the month. Let me hide it and see if someone else tries. If not, I will undelete it later on and give you the credits.
I was wondering about that. He is in his first term at uni, so technically still a super-senior from high school. But given his extraordinary intellectual gifts, maybe it's an unfair competition against folks still in high school. Still very nice work by @etotheipi :smile:
 
  • Like
Likes fresh_42
  • #20
Yeah okay sorry, I won't post any more solutions. The HS problems are good practice but I'm still too dumb to do any of the big boy questions. Maybe that's just more motivation to study more, so that I can start doing the challenges again 😜
 
  • #21
etotheipi said:
Yeah okay sorry, I won't post any more solutions. The HS problems are good practice but I'm still too dumb to do any of the big boy questions. Maybe that's just more motivation to study more, so that I can start doing the challenges again 😜
You can do 4, 5 and maybe 7.
 
  • Like
Likes etotheipi
  • #22
etotheipi said:
The HS problems are good practice but I'm still too dumb to do any of the big boy questions
You have just received an infraction for posting false information. Your infraction point total is an imaginary number, however, so I'm not sure if the system will ban you or not... o0)
 
  • Wow
Likes etotheipi
  • #23
PeroK said:
Now that @etotheipi is at university, there's no one left who can do the high school problems!
Not a problem. I will take his place. All I need to do is just posting all the questions in homework section and let the helpers do the rest
 
  • #24
fresh_42 said:
@etotheipi
Since you are no longer at school, I have to remove your post. Well, I think it is still a bit early in the month. Let me hide it and see if someone else tries. If not, I will undelete it later on and give you the credits.
Yeah, foul!

fresh_42 said:
Moreover, Taylor and MVT are not really school level.
In the UK these are covered in the Further Maths A-level, usually at age 16-17.
 
  • #25
pbuk said:
In the UK these are covered in the Further Maths A-level, usually at age 16-17.
Well, this is not everywhere the case. I only wanted to encourage other high schoolers that this heavy machinery isn't necessary.
 
  • Like
Likes pbuk
  • #26
There should be some intermediate questions for early undergraduates who haven't taken any advanced math yet.
 
  • #27
fresh_42 said:
@etotheipi
Moreover, Taylor and MVT are not really school level. Induction is.
I saw both Taylor and MVT in high school, but only one induction proof.
 
  • #28
Mayhem said:
There should be some intermediate questions for early undergraduates who haven't taken any advanced math yet.
We tried, but it didn't work. What is intermediate? Taylor and MVT in high schools (see post #24), or are even induction and limits too difficult? Especially school systems vary significantly all over the world.

And on the other end: Problems #4 and #5 are not very sophisticated. I would have called them "intermediate", and even the algebraic questions are not so difficult. We even had questions which could have been solved by looking up some definitions on Wikipedia, and even this was too much to do. People get scared by technical terms, but our questions are already heavily limited to only easy concepts. I tried to find some more interesting questions in my books ... no chance! I would need to hold a lecture beforehand, regardless whether a question would had been easy or difficult, simply to set up the language.

We have a thread with solutions to many questions:
https://www.physicsforums.com/threads/solution-manuals-for-the-math-challenges.977057/
where I think can be found problems at any level.
 
  • Like
Likes StoneTemplePython
  • #29
fresh_42 said:
And on the other end: Problems #4 and #5 are not very sophisticated. I would have called them "intermediate", and even the algebraic questions are not so difficult. We even had questions which could have been solved by looking up some definitions on Wikipedia, and even this was too much to do.
I agree. I found problem #5 could be solved easily in a few minutes by referring to https://en.wikipedia.org/wiki/Matrix_representation_of_conic_sections. I like this problem because it showed me a beautiful connection between linear algebra and geometry. Thank you for making the effort to post the monthly challenges, I learn a lot from them:smile:
 
  • Like
Likes etotheipi and fresh_42
  • #30
What is a Euclidean normal form, and what do we mean by ##(x,y)^{\tau}##?
 
  • #31
etotheipi said:
What is a Euclidean normal form, and what do we mean by ##(x,y)^{\tau}##?

I believe it means the vector ##(x,y)## transposed, so written as column vector ##\begin{pmatrix}x \\ y\end{pmatrix}##.
 
  • #32
etotheipi said:
What is a Euclidean normal form, and what do we mean by ##(x,y)^{\tau}##?
Yes, it is only a habit in this case to write vectors or coordinates as column. The Euclidean normal form is, when the axis of the conic sections are the coordinate axis, and its center the origin of the Cartesian coordinate system: rotations, translations; basically such that all interesting quantities can directly be read.
 
  • #33
So if I understand correctly,
$$A_Q = \begin{pmatrix} 34 & 12 & 10 \\ 12 & 41 & 55 \\ 10 & 55 & 50\end{pmatrix}$$and ##f(x,y) = \mathbf{x}^{\tau}A_Q \mathbf{x}##, ##\text{det}(A_Q) = -31250##, and ##\text{det}(A_{33}) = 1250##, and ##\frac{\text{det}(A_Q)}{\text{det}(A_{33})} = -25##, so I guess when you say you want it in normal form, since ##A_{33}## has eigenvalues ##\lambda = 25, 50##, it will be$$50u^2 + 25v^2 = 25 \iff 2u^2 + v^2 = 1 \iff \left(\frac{u}{1/\sqrt{2}}\right)^2 + \left(\frac{v}{1}\right)^2 = 1$$so vertices at ##(u,v) = \left( \pm 1/\sqrt{2}, 0\right), \left( 0, \pm 1\right)## and foci at ##(0, \pm \frac{1}{2})##? Is that what you had in mind, @Fred Wright?
 
  • #34
etotheipi said:
So if I understand correctly,
$$A_Q = \begin{pmatrix} 34 & 12 & 10 \\ 12 & 41 & 55 \\ 10 & 55 & 50\end{pmatrix}$$and ##f(x,y) = \mathbf{x}^{\tau}A_Q \mathbf{x}##, ##\text{det}(A_Q) = -31250##, and ##\text{det}(A_{33}) = 1250##, and ##\frac{\text{det}(A_Q)}{\text{det}(A_{33})} = -25##, so I guess when you say you want it in normal form, since ##A_{33}## has eigenvalues ##\lambda = 25, 50##, it will be$$50u^2 + 25v^2 = 25 \iff 2u^2 + v^2 = 1 \iff \left(\frac{u}{1/\sqrt{2}}\right)^2 + \left(\frac{v}{1}\right)^2 = 1$$so vertices at ##(u,v) = \left( \pm 1/\sqrt{2}, 0\right), \left( 0, \pm 1\right)## and foci at ##(0, \pm \frac{1}{2})##? Is that what you had in mind, @Fred Wright?
Well, you could have shown how you did it. It's a bit difficult to learn anything from your solution. And the foci are ##(0,\pm 1/\sqrt{2})## if I wasn't mistaken.
 
  • #35
As far as making questions more accessible, you could have just asked something like construct a sequence of functions that are differentiable whose limit is not differentiable, and not scared off people that haven't heard of a Banach space.
 

Similar threads

2
Replies
42
Views
8K
2
Replies
61
Views
11K
2
Replies
61
Views
7K
3
Replies
93
Views
12K
2
Replies
60
Views
9K
3
Replies
100
Views
9K
2
Replies
56
Views
8K
3
Replies
86
Views
11K
2
Replies
67
Views
9K
2
Replies
61
Views
9K
Back
Top