« first day (1092 days earlier)      last day (3931 days later) » 
00:00 - 21:0021:00 - 00:00

9:01 PM
@Chris'ssis This formula is not exact, right?
The limit looks plausible
 
@robjohn I think that formula is exact.
 
Maple gives 1 + 1/3 though
to the limit
 
@Chris'ssis In the exact integral, there should be a $\frac{\pi}{2^{n+1}}$ or something floating about
 
@robjohn I checked that relation for a some specific values of $n$ and everything is just fine.
 
@Chris'ssis No $\pi$ around? Fishy...
 
9:13 PM
@Chris'ssis I checked the borwein integral for a few specific values, everything seemed fine.
 
All started with the problem $9$ (books.google.ro/… that I studied 2 years ago, but I kept in my mind some specific values and I recognized those values again when I worked on this integral. Then I realized that something amazing is about to happen....
 
Hello! Help me please with notion, what is the "n-th infinitesimal neighborhood" of a region?
 
@Nimza Whuuuut?
 
The integral is rational?
Hmmm
 
@Peter ah?
 
9:25 PM
@robjohn IMPOSSIBRU
@Nimza I have no clue what that is.
Context? Definition?
 
@Nimza Looks like some algebraic nonsense
Definition 1.5 here.
 
some complex-analytic nonsense @user1
 
@Chris'ssis Oh, I know what happens, I am looking at the Imaginary part of the integral at that point and the $\pi$ part is real
 
@Nimza nonsense nevertheless :)
 
@Nimza Maybe $$B \left(x;\frac 1 n\right)$$
=)
 
9:31 PM
oh, I can't write anything, my internet is so slow now :( It is related to calibration fields, Radon-Penrose transform etc
@user1 I think that your definition is a generalisation of what I want, but I don't understand this generalisation)
 
Nice exercise: suppose $f:\Bbb R^n\to\Bbb R$ is $\mathscr C^1$ with $n\geq 2$. Suppose there is $p$ such that $f(p)=0$ and $\nabla f(p)\neq 0$. Prove $f(x)=0$ for infinitely many $x\in\Bbb R^n$.
 
$$
\begin{align}
\lim_{n\to\infty}n\int_0^{\pi/2}\cos^n(x)\sin(nx)\,\mathrm{d}x
&=\mathrm{Im}\left(\lim_{n\to\infty}n\int_0^{\pi/2}\left(\frac{e^{ix}+e^{-ix}}{2}\right)^ne^{inx}\,\mathrm{d}x\right)\\
&=\mathrm{Im}\left(\lim_{n\to\infty}n\int_0^{\pi/2}\left(\frac{1+e^{2ix}}{2}\right)^n\,\mathrm{d}x\right)\\
&=\mathrm{Im}\left(\lim_{n\to\infty}\frac{n}{2^{n+1}}\int_{0}^\pi\sum_{k=0}^n\binom{n}{k}e^{ikx}\,\mathrm{d}x\right)\\
&=\mathrm{Im}\left(\lim_{n\to\infty}\frac{n}{2^{n+1}}\sum_{k=1}^n\binom{n}{k}\frac{(-1)^k-1}{ik}\right)\\
 
@robjohn Dope.
 
@robjohn excellent work!
 
Nevertheless: All Hail Laplace!
 
9:40 PM
@PeterTamaroff Kè?
 
@N3buchadnezzar What I said.
 
@Chris'ssis last step is dominated convergence
 
@PeterTamaroff All hail Legendre
 
@robjohn Handwavy!
 
@PeterTamaroff where?
 
9:46 PM
@robjohn Last step.
 
It what way? It is dominated convergence:$$
\begin{align}
\frac1{2^{k+1}}\frac{n}{n-k}
&=\frac1{2^{k+1}}+\frac1{2^{k+1}}\frac{k}{n-k}\\
&\le\frac1{2^{k+1}}+\frac{k}{2^{k+1}}
\end{align}
$$
The terms are $0$ for $k\ge n$
No handwavyness whatsoever
 
@robjohn Dominated convergence?
What is the statement?
 
If $|b_{n,k}|\le a_n$, $b_{n.k}\to c_n$ and $\sum a_n$ converges, then $\sum b_{n,k}\to\sum c_n$
 
@robjohn OK.
With my idea, it boils down to showing $$\mathop {\lim }\limits_{\alpha \to \infty } \alpha \int\limits_0^\alpha {{e^{ - \frac{{{x^2}}}{2}}}\sin \alpha xdx} = 1$$
 
@PeterTamaroff Same as the integral with discrete measure
 
9:55 PM
@robjohn Right.
 
@PeterTamaroff You want $\sin(\alpha x)$ and the integral from $0$ to $\alpha$?
That limit is one. Integrate by parts and use Riemann-Lebesgue
 
@robjohn Yeah. Can one show $$\mathop {\lim }\limits_{\alpha \to \infty } \alpha \int\limits_\alpha ^\infty {{e^{ - \frac{{{x^2}}}{2}}}\sin \alpha xdx} = 0$$ so as to look at $$\mathop {\lim }\limits_{\alpha \to \infty } \alpha \int\limits_0^\infty {{e^{ - \frac{{{x^2}}}{2}}}\sin \alpha xdx} = 1$$?
 
$$
\lim_{\alpha\to\infty}\alpha\int_0^\infty e^{-x^2/2}\sin(\alpha x)\,\mathrm{d}x=1-\lim_{\alpha\to\infty}\int_0^\infty xe^{-x^2/2}\cos(\alpha x)\,\mathrm{d}x
$$
Riemann Lebesgue or integrate by parts again
 
10:12 PM
@robjohn I don't know the other opinions, but to me you're really brilliant and I feel fine to say that. I learned many nice things from you. :-)
 
@Chris'ssis Thanks, though I know you're wrong :-)
I may not be smart, but I'm smart enough to know I'm not smart :-)
2
 
@robjohn annoying MathJax error in comments strikes again. Is there a way to fix it by now?
 
hi all
 
@robjohn ;)
My (your) work here is done.
 
@IanMateus Here I come to save the day! -Mighty Mouse
3
 
10:22 PM
I have a question about an elementary number theory answer I gave.
0
A: find a solution of 9x = 24 (mod 21)

AtaraxiaThis essentially becomes a Diophantine equation: $$9x\equiv{24}\pmod{21} \\ 9x-24=21y \\ 9x-21y=24 \\ 3x-7y=8$$ Solve the Diophantine equation: $3u-7v=1$ using the Euclidean algorithm: $$3(2)+1=7\\ 3(-2)-7(-1)=1\\ u=-2;\,v=-1$$ Now multiply out by $8$ to get the original Diophantine equation...

Does anyone know why my answer is different than everyone else's?
 
@Ataraxia $-16+21=5$
It is the same as everyone's
 
@Ataraxia $5\equiv 5-21$
 
@robjohn Hahaha
 
Ah, got it. Thank you!
 
@IanMateus fixed
 
10:27 PM
@robjohn Thanks! Is there some way I can fix it myself next time?
 
@Ataraxia There are an infinite number of solutions to linear diophantine equations (or none)
@IanMateus only if you catch it in the first 2 minutes.
after 2 minutes, you cannot edit comments.
 
I had always wondered if there was an infinite number of solutions to them.
I had only learned to find one of the solutions though, unfortunately
 
@robjohn I catched this one in time, what should I had done?
 
@Chris'ssis Thanks for the nice problem, gal.
Or guy.
Who knows.
 
@IanMateus You need to make sure that you have a space more than every 80 characters.
 
10:31 PM
@Ataraxia Solving an equation of the form $ax\equiv b\pmod n$ is the same as solving $[a]x=[b]$ in the ring of equivalence classes $\mathbb Z/n\mathbb Z$.
 
@PeterTamaroff thanks for your solution. The way you approached the problem was far simpler than what I thought of. ;)
 
@robjohn ok. My original second part didn't even render
 
@Ataraxia That is, any solution is really representative of an equivalence class.
 
@PeterTamaroff it's relative hard to see (observe) that series ...
 
I read it as
"There are an infinite number of solutions to linear diophantine equations (or *more*)"
Made me chuckle.
 
10:33 PM
@Chris'ssis Sorry?
 
@N3buchadnezzar that's a lot
 
hi, Peter. I wasn't around erlier
 
he was asquare... :-)
 
Thank you.${}{}{}{}{}{}$ — Humanity 42 mins ago
lol'd
 
@anon HAHAHAHAHAHA me too
This guy Mhenni is apparently a PhD... and I'm like whuuuut?
 
10:36 PM
@PeterTamaroff or maybe it's easy to you. :-)
 
@Chris'ssis What are you talking about now?
 
What's wrong with donkey's answer?
 
@PeterTamaroff forget it. All it matters the problem is done and everybody is happy. ;)
 
@Chris'ssis Yay!
 
10:40 PM
@anon it didn't exist when I looked :P
 
It is also a rather broad question, which easily permits "dumb" (non-specifically insightful) answers. In fact, let $r(a)$ be any function. For every $a$, let $c_1(a),c_2(a),\cdots$ be any sequence of nonzero numbers converging to $r(a)$. Then $\prod_{i=0}^\infty q_i(a)=r(a)$, where $q_0(a):=c_1(a)$ and $q_i(a):=c_{i+1}(a)/c_i(a)$.
This is the power of "telescoping."
 
@anon All hail!
 
@Chris'ssis I am not happy, give me more things.
 
@anon Apologies for the broadness but it does kinda imply that it needed to be approached from the nested radical perspective
 
what implies that?
 
10:49 PM
@user1 Makes sense. Good to know!
 
@N3buchadnezzar a funny integral $$\int e^{e^{x^2}+x+\log(x) }\ dx$$
 
note that the answer wasn't approached in anything but the telescopy perspective (and used the recursion definition for a distinguished telescoping product)
 
The fact that the function in the question is talking about infinitely nested radicals
Im sorry I shall stop asking 'dumb' questions
 
like I said, the question is "broad" and the answer format is "dumb" in the sense that the construction process used in the answer has really nothing to do with the particulars of the question. as I explained in detail above, the same process works for literally any function r(a), with nested radicals or otherwise.
 
@N3buchadnezzar I missed a power above. It's $$\int e^{e^{x^2}+x^2+\log(x) }\ dx$$
 
10:55 PM
Artigere med de hvor en har uendelige potenstårn
 
@N3buchadnezzar try to do it without touching Maple :-)
 
I said those are more fun when the exponent tower is infinite
$e^{e^{e^x}\cdot^{x^2}\cdot x}$
 
Okay, this is really banal and you've all certainly seen this before, but can someone give a hint for $\int_0^{\frac{\pi}{2}}\frac{dx}{1+a^2\tan^2(x)}$?
 
11:13 PM
@Alyosha Potatoes.
Marshmallows. Russian officers.
 
Cheese for everyone!
 
Hmmmm It may be an integral
im not definate
 
Is your Chatjax not working?
 
I was giving you sarcastic unhelpful hints
 
Sarcasm always comes across poorly over the internet
 
11:17 PM
and making defanate-indefanate jokes
 
$$=a\int_0^\infty {\frac{1}{{1 + {u^2}}}} \frac{{du}}{{{a^2} + {u^2}}}$$ and partial fraction decomposition.
 
2:18 bedtime
 
@PeterTamaroff I always underestimate the spendour of the partial fraction. Thanks
 
$$\frac{1}{{1 + {u^2}}}\frac{1}{{{a^2} + {u^2}}} = \frac{1}{{ {a^2}-1}}\left( {\frac{1}{{1 + {u^2}}} - \frac{1}{{{a^2} + {u^2}}}} \right)$$
 
@PeterTamaroff Good ;)
 
11:20 PM
@Chris'ssis =)
 
Best question title ever
Prove: $\int_0^{\infty}\Big({\sin x}\over{x}\Big)^2dx=\pi/2$
 
I didn't know about \Big
 
@N3buchadnezzar HAHAHAHA
 
@N3buchadnezzar Hahahaha I've seen it!
 
It is fixed now, but gave me a good laugh.
 
11:25 PM
what did I miss
 
I suspect I am wrong here, as the question is a "challenge". math.stackexchange.com/a/456815/67848
 
Does anyone know how to solve integrals involving bessel functions?
 
Anybody have any ideas of where I am wrong?
 
@user1 I don't think you start with one, you already start at $n$.
 
11:43 PM
@user1 idk sounds right to me
 
@IanMateus @AlexanderGruber It's unclear what our starting value is and how it relates to the number we are taking the fifth power of.
 
@user1 True, I'm still trying to understand.
 
@user1 well if the question is, can you start with any integer $n$ and end up with any 5th power of any other integer $m$, then it's obviously false, just let $n>m^5$
 
@user1 My interpretation: start at $n$. Can you reach $k^5$ for some $k\in\mathbb{N}$?
 
@IanMateus ohhh i see, that's better
 
11:47 PM
lol
Yes, quid commented that on my answer at the same time. Much better question then.
 
@user1 hi, had not yet notice what is in chat. But likely it is better on main anyway.
 
00:00 - 21:0021:00 - 00:00

« first day (1092 days earlier)      last day (3931 days later) »