« first day (2044 days earlier)      last day (3274 days later) » 
00:00 - 18:0018:00 - 00:00

18:01
Nope. I just figured it was the smallest example I'd have to make you work for.
user174558
@robjohn What happened to Chris's Sis? Seems she left chat?
psshh :P
i think, actually, that there's kind of a morse theory story going on in the example I quoted
namely, if you pick sufficiently small energy in that case, the point is that the lines of constant $H=E$ in the $(x,p)$ plane are three distinct circles (whose crossings with the $x$-axis define the above roots)
user174558
I wonder when her book will be published.
by circles i only mean topologically
anyways. as you increase the energy, eventually the adjacent circles will 'touch' to form a caustic. and above that you've instead got a single large circle which encloses the initial three
which is equivalent, i should think, to taking a particular genus-2 torus, intersecting with an appropriate plane, and watching how the intersection changes as you drag the plane out. @mike
(not a perfect analogy, but w/e)
18:13
does a line have a direction?
Or is it two points unordered?
Do you think a "What are some exceptional numbers?" question would be a good and fun question to ask? There's $\pi, e$ and a bunch of others, but there's probably a bunch of stealth ones, like $\sum\limits_{i=0}^\infty \frac 1 {10^{n!}}$.
Wait, that's the wrong formula.
It's the one who's got digits of 1's that get wider and wider gaps between them
kind've a sloppy response, but: if there's no reason to prefer one point over the other, then there's not a single direction in the sense that a ray does. instead you have two possible directions. @johan
You want $n!$ in the exponent, @Axoren.
That's what it waas
Thanks, @TedShifrin
now, you could choose to describe those two different directions as 'equivalent' since they describe the same line. and that's a valid perspective to take, but it's one which comes with surprises.
to get a sense of the strangeness that can result: suppose i draw a sphere and then pick two points, one on the sphere's surface and one at its center
i can use that to define both a line between these points and a ray emanating from the center, and by changing the point on the sphere i change what ray + line i get
@Jasper I don't really know. She did not say anything to me before she left. She came here in mid February, but I was either not here, or did not recognize the name she was using.
the weirdness is this: if i move my point on the sphere from, say, the north pole to the south pole, the ray reverses direction. but the line doesn't change.
so according to the former, the north and south pole are different. but not according to the latter
18:43
yeah it is tricky
19:06
I am convinced of a result but I do not know where to start in proving it: $$\int_{1}^{x}{{{\left \lceil z \right \rceil}\over{z}}\;dz}=\log
\left({{x^{\left \lfloor x \right \rfloor+1}}\over{\left \lfloor x
\right \rfloor\,\Gamma\left(\left \lfloor x \right \rfloor\right)}}
\right)$$
I guess I know where to start... I used a finite difference of a derivative of the Hurwitz zeta function combined with some identities for sums-of-logarithms to derive this, but I believe at some point I exchanged the order of a sum and an integration without proving that it was correct to do so.
19:28
I want to show that $\langle \frac{\partial{E}}{\partial{t}}-\Delta E, \phi \rangle= \phi(0,0)$.

So far I got that:

$\langle \frac{\partial{E}}{\partial{t}}-\Delta E, \phi \rangle= \lim_{\epsilon \to 0} \int_{\mathbb{R}^n} E(\epsilon, x) \phi(\epsilon,x) dx$

How could we continue?
@robjohn I replaced $E(\epsilon, x)$ by $\frac{1}{(2 \sqrt{\pi \epsilon})^n} e^{-\frac{|x|^2}{4 \epsilon}}$ but I don't know what to do next.
@Evinda Do you remember I said that $\int_{\mathbb{R}^n}E(\epsilon,x)\,\mathrm{d}x$ is independent of $\epsilon$? Read up on approximations of the identity.
I want to find how many different necklaces we can create with $m$ symmetric beads if we have $k$ colours.

Burnside's Formula is the following: $$\text{ # orbits } =\frac{1}{|G|}\sum_{g\in G} X (g)$$

In this case $G$ is the group of the permutations of the symmetric beads, or not?
And $X(g)$ is the number of elements that $g$ leaves unchanged, right? But how can we find this number in this case? Could you give me a hint?
is there an inequality relating the mean of the product of random variables and the product of the mean?
@robjohn I haven't really understood why $\int_{\mathbb{R}^n}E(\epsilon,x)\,\mathrm{d}x$ is independent of $\epsilon$. Could you explain it to me?
@MaryStar You can think of $\sum X(g)$ differently. How many permutations leave $m$ beads unchanged? How many leave $m - 1$ unchanged?
19:39
@Evinda I did already.
yesterday, by robjohn
@Evinda substitute $x\mapsto x\sqrt{t}$
@robjohn Can we just do it? Or do we have to substitute x by $y \sqrt{t}$ ?
@Evinda Fine, do that and then substitute $y\mapsto x$.
whatever
Do we substitute $x$ by $\sqrt{t} y$ at E(t,x) and then find $E(\epsilon, x)$ ? @robjohn
@Axoren $m$ permutations leave $m$ beads unchanged, or not?
@Evinda $$\frac1{(2 \sqrt{\pi \epsilon})^n} \int_{\mathbb{R}^n}e^{-\frac{|x|^2}{4 \epsilon}}\,\mathrm{d}x =\frac1{(2 \sqrt\pi)^n} \int_{\mathbb{R}^n}e^{-\frac{|y|^2}4}\,\mathrm{d}y=1$$ for all $\epsilon$
19:55
@robjohn So we substitute $x$ by $\sqrt{\epsilon} y$ ?
@MaryStar We are talking about necklaces as in: https://en.wikipedia.org/wiki/Necklace_(combinatorics)

Correct?
@Evinda yes. That is what I have been saying for two days.
@MaryStar There should only be $m$, the identity and all the full-length cycles.
Whoops, not cycles.
So does it hold that $\int_{\mathbb{R}^n} e^{-\frac{|y|^2}{4}} dy=2 \sqrt{\pi}$ ? If so, how do we deduce this? @robjohn
Something more specific, can't remember the name of it.
But yeah. The $m$ case is relatively easy. Now, there's the other cases $m - i$, where $i$ elements are changed. There are $\binom m i$ ways to pick the elements which get changed and there are $i! - 1$ ways to change them.
20:00
@Evinda No. $$\int_{\mathbb{R}^n}e^{-\frac{|y|^2}4}\,\mathrm{d}y =\left(\int_{-\infty}^\infty e^{-\frac{t^2}4}\,\mathrm{d}t\right)^n =\left(2\sqrt\pi\right)^n$$
@robjohn Ah, I see... :) But how do we use the fact that $\int_{\mathbb{R}^n} E(\epsilon, x) dx$ is independent on x, at the calculation of $\lim_{\epsilon \to 0} \int_{\mathbb{R}^n} E(\epsilon, x) \phi(\epsilon, x) dx$ ?
32 mins ago, by robjohn
@Evinda Do you remember I said that $\int_{\mathbb{R}^n}E(\epsilon,x)\,\mathrm{d}x$ is independent of $\epsilon$? Read up on approximations of the identity.
@Axoren Why are there $i! - 1$ ways to change them?
@MaryStar After selecting the $i$ elements to change, one of the $i!$ orderings is the order they're already in.
For example, in $1, 2, 3, 4, 5$, if we select $1, 2, 3$ for $i = 3$, one of the orderings is $1, 2, 3$. This permutation no longer changes $i$ elements, it changes $0$.
20:16
@robjohn Can we do it like that althought t is in this case a function of n variables?
@robjohn What change of variables can we do in this case where $\phi$ is not given?
However, there's still $(2, 3, 1)$, $(3, 2, 1)$, $(1, 3, 2)$, $(3, 2, 1)$, and $(3, 1, 2)$
$3! - 1$
@Evinda $t\in(-\infty,\infty)$
@Axoren Ah ok...
@robjohn You mean that even if we write it like that : $\int_{\mathbb{R}^n} e^{-\frac{x_1^2+ \dots+ x_n^2}{4}} dx_1 \cdots dx_{n}$ the integral is equal to $\int_{\mathbb{R}^{n-1}} \left( \int_{-\infty}^{+\infty} e^{-\frac{x_1^2+ \dots+ x_n^2}{4}} dx_1 \right) dx_2 \cdots dx_{n}$ and at the inner interval $x_2, \dots, x_n$ are considered to be constants, right?
But how do we know how many permutations these $m-i$ leave unchanged? I got stuck right now... @Axoren
20:28
@MaryStar Do you mean how many elements these permutations leave unchanged?
If there are $m$ beads, and we change $i$ of them, $m - i$ beads are left unchanged.
So, if we enumerate all the permutations that change $i$ beads. Let's call this set $C(i)$, the set of permutations that change $i$ elements. If we know there are that many of them, and we know they leave $m - i$ elements unchanged, then the sum $\sum C(i) (m - i) = \sum X(g)$
@Evinda Yes. We can break up the Gaussian into the product of Gaussians in each separate variable because $e^{x+y}=e^x\,e^y$
This new sum is easier to calculate, in my opinion.
@robjohn Ah I see...
Could you maybe also explain further to me what change of variables we could do in order to show that the integral $\int_{\mathbb{R}^n} \frac{1}{(2 \sqrt{\pi \epsilon})^n} e^{-\frac{|x|^2}{4 \epsilon}} \phi(\epsilon,x) dx$ is also 1?
@Evinda It is not $1$. Please read about approximations of the identity as I asked a while ago.
1 hour ago, by robjohn
@Evinda Do you remember I said that $\int_{\mathbb{R}^n}E(\epsilon,x)\,\mathrm{d}x$ is independent of $\epsilon$? Read up on approximations of the identity.
@robjohn You mean that I should use this, right?
20:40
is there any way to see question which i have marked a star
@robjohn Is this known or do we have to prove it? I haven't really understood why it holds.
@Evinda Look, the integral of $E$ is one for all $\epsilon$, as $\epsilon\to0$, the function tends to a point mass at $0$. Use this idea to show the convolution limit above.
hi
can anyone have a look at this question
0
Q: Find all continuous functions $f$ over reals satisfying $f(x)^2+x^2=1$

Puzzled417 Find all continuous functions $f$ over reals satisfying $f(x)^2+x^2=1$. I thought to solve we can just do $f(x) = \pm \sqrt{1-x^2}$. Doesn't that solve it? I think it doesn't since they aren't defined over the reals.

What do you mean with: the function tends to a point mass at $0$ ? @robjohn


Also then we get that $\lim_{\epsilon \to 0} \int_{\mathbb{R}^n}\frac{1}{(2 \sqrt{\pi \epsilon})^n} e^{-\frac{|x|^2}{4 \epsilon}} \phi(\epsilon, x) dx \to \lim_{\epsilon \to 0} \int_{\mathbb{R}^n} \phi(\epsilon, x) dx=\int_{\mathbb{R}^n} \phi(0,x) dx$.

Why is the latter equal to $\phi(0,0)$ ?
@Axoren I haven't really understood why the equality $\sum C(i) (m - i) = \sum X(g)$ holds? Could you explain it further to me?
20:58
@Evinda no... $E(\epsilon,x)\to\delta(x)$ not $1$.
@robjohn So do we just say that since $E(\epsilon, x)$ is not defined for $\epsilon=0$ and $\int_{\mathbb{R}^n} E(\epsilon, x) dx=1$ that $E(\epsilon, x) \to \delta(x)$ ?
@Evinda Since $E$ satisfies the conditions for an approximation of the identity.
@robjohn You mean that we use the following?

Let $\rho \in C_C^{\infty} (\mathbb{R}^n)$ with $\int_{\mathbb{R}^n} \rho(x) dx=1, \rho \geq 0$ with $supp \rho \subset \{ |x| \leq 1\}$.

We define $\rho_{\epsilon}(x)=\frac{1}{\epsilon^n} \rho \left( \frac{x}{\epsilon} \right), \epsilon \geq 0$

It holds that $\rho_{\epsilon}\to \delta$ in $D'(\Omega)$ while $\epsilon \to 0$.
21:48
Anyone here who can help with this?
2
Q: Modulo the Mods

Double AAI'm told the mods here are "msh210", "MonicaCellio" and "DoubleAA". How do I calculate the equivalency classes defined by the congruence relation a (mod p) of a ∈ ℤ for p ∈ {"msh210", "MonicaCellio", "DoubleAA"}?

@MaryStar The original sum is $\sum\limits_{g \in G} X(g)$. For every $g \in G$, add its $X(g)$, which is the number of elements it leaves unchanged.
2
Instead of going over one $g$ at a time, we instead separate them into groups because on how many elements they change.
i.e., we partition them under $X$
By doing so, we have slices of the partition $P_i = \{g \mid X(g) = i\}$
If we take the union over all $P_i$, we get $G$, so we're not leaving out any group elements, we're not including ones that weren't there before, and we're only counting each group element once. Exactly the same as the original summation.
However, calculating the partial sums in each of these slices of the partition is much easier.
$\sum\limits_{g\in P_i} X(g) = i|P_i|$
Do you see that all members of $P_i$ have the same $X$ value and that that value is $i$? Now, simply sum over all $i$ to get the total for the full set $G$. $$\sum\limits_{g \in G} X(g) = \sum\limits_i \sum\limits_{g \in P_i} X(g) = \sum\limits_i i|P_i|$$
Hello, i have this space $E=\mathcal{C}([0,1],\mathbb{R})$ and $d(f,g)=\int_0^1 |f(x)-g(x)|dx$
who have an idea about a sequence $(f_n)$ which is Cauchy but not convergent in $)E,d)$ ?
thank you
 
2 hours later…
23:52
I have to think about it... Thank you for your answer!! :-) @Axoren
No problem. Good luck.
00:00 - 18:0018:00 - 00:00

« first day (2044 days earlier)      last day (3274 days later) »