« first day (812 days earlier)      last day (4206 days later) » 
00:00 - 21:0021:00 - 00:00

12:07 AM
@JasperLoy The problem with lhf (in my experience) is that you don't get accepts.
 
@JayeshBadwaik ssssss.......
 
user19161
12:22 AM
@Charlie Hey there!
 
@JasperLoy Hello!!!
@JasperLoy wassup?
E aí @IanMateus?que contas?
 
@Charlie Oi! Tô bem hehe e tu?
 
@IanMateus Good!
 
@Charlie não passei na primeira fase do IME, mas acho que fui bem =D
 
@IanMateus :D
 
12:37 AM
@Charlie Tirei 17 de 40, o mínimo é 20
 
@IanMateus puxa...
 
@Charlie acredita que eu ainda faço feira da cultura? Fiquei na parte financeira heh
 
geez
 
@Charlie What time is it there?
 
@IanMateus 22h38
 
12:40 AM
@Charlie Ei, qual o teu nome verdadeiro?
 
@IanMateus i have no name
 
@Charlie lol
 
12:52 AM
@Charlie Got to go, bye!
 
@IanMateus bye
 
1:07 AM
@anon Ahoy.
 
I see you read my poetry.
 
@anon You write poems?
 
No, I just did one of those jimmericks for jasper with "ahoy" in it.
 
@anon Haha, I saw you guys exchange fiddles.
Hm, apparently "fiddle" does mean something.
 
user19161
@peter Do you want to do me a favour and look at this? =) math.stackexchange.com/a/219739/4594
 
1:14 AM
@JasperLoy LHF!
 
I skipped over that one actually. :P
 
user19161
@peoplepower The one I got upvoted for was not accepted.
 
user19161
Even though that was the neatest proof.
 
user19161
The induction was not a necessary part of OP's question.
 
1:16 AM
I answered an abstract-algebra version of LHF, of course no accept.
 
user19161
@peoplepower I have a feeling I know you from somewhere...
 
@peoplepower Run like hell.
 
Oh no
@JasperLoy I am very forgetful of the past, recent or not, so you could be right, but the feeling is not mutual.
 
user19161
@peoplepower OK. Then probably my feeling is wrong too.
 
3:21 AM
Here any ideas?
 
 
3 hours later…
6:26 AM
Hi.
 
6:42 AM
@JonasTeuwen Morning.
 
 
3 hours later…
9:25 AM
Hellllllo!
Stupid question about Jacobians: is it true that $ \left|\frac{\partial g^{-1}}{\partial y} \circ g(x)\right|^{-1} = \left| \frac{\partial g}{\partial x} \right| $?
ah, of course
 
 
1 hour later…
10:28 AM
Hi all.
(sister here)
 
user19161
@Chris'ssister Hi! I will assume it is the sister as the brother never comes to chat.
 
Hi @JasperLoy! :-)
I was looking at the question here and I wondered if there is any mean to avoid Dominated convergence theorem.
 
11:37 AM
I've asked a great question
I tried to adapt four squares proof but I couldn't
@Chris'ssister, that is a fearsome integral
I like that use of DCT, but I can see why you'd want a non DCT one
what's the smallest even number that needs to be written as four squares?
28 = 8^2 - 6^2
the next even number that needs 4 squares is 60 = 8^2 - 2^2
next is 92 = 24^2 - 22^2
I guess the key is to half them: 14 = 2^2 - 2*3^2, 30 = 2*4^2 - 2*1^2, 46 = 6^2 - 2*11^2
 
12:02 PM
@spernerslemma: fearsome, but beautiful at the same time. :)
 
46 = 2*12^2 - 2*11^2
 
12:14 PM
Anyone know the book From Calculus to Chaos?
 
I don't know it
I wonder if anyone knows Hasse-Minkowski, I'm curious if it's applicable to a problem I have
 
12:41 PM
hello
how many signed squares do you need to sum every to integer?
it's either 2 or 3, but I'm not sure which
odd numbers you can write as a^2 - b^2, even numbers as 1^2 + a^2 - b^2
so I was looking for an even number that can't be written as a sum or difference of two squares
anyone know an example?
6?
so really it proves S+S-S=N
strange that that's so much easier to prove than S+S+S+S=N
 
Please anybody Can tell me Whats mean $C_0^\infty$?
 
I think that's continuous functions on [0,\infty)
 
i think that not
 
1:18 PM
@spernerslemma You need to use LaTeX, for the sake of beautiful exposition of mathematics. :p
 
I still don't understand how rm + sn + rx^{m+n}R + sx^{m+n}R = rm + sn + x^{mn}R for R modules
 
What is a smaller space that contains a zero function ?
 
@Juan Perhaps it's better to ask on the stack.
You can obtain answers fastly.
Since it's exposed to a bigger audience.
 
Exhibit A + Exhibit B => contradiction. Ex falso quodlibet therefore Asaf is a pony.
 
user19161
1:41 PM
@MattN. Er, what you said is beyond my paygrade!
 
user19161
@Juan Check the book for the definition of the notation.
 
@JasperLoy I'm almost finishing a chapter on limits. =)
 
cool
what's up
 
user19161
You know what I am going to say.
 
2:13 PM
1
A: When is $1^5 + 2^5 + \ldots + n^5$ a square?

David SpeyerThe general solution to $$m^2 = \frac{1}{12}(2n^6+6n^5+5n^4−n^2)$$ is $$m = \frac{n(n+1)}{2} y, \quad n = (x-1)/2$$ where $$x+\sqrt{6} y = (3+\sqrt{6}) (5+2 \sqrt{6})^k$$ for some integer $n$. Here are the first few values $$\begin{array}{|r|l|l|l|l|} \hline k& x & y & n & m\\ \hl...

so that pell equation is really effective
 
Good evening!
hi @JonasTeuwen, do you know a PsDO for which $x \mapsto e^{-(x_1 y_1 + \ldots + x_n y_n)^{\alpha}}$ is en eigenfunction? Something that generalizes differentiation by direction
 
good evening
 
2:49 PM
@MattN. Hey
 
@N3buchadnezzar Hi there. What's up?
@JasperLoy Pony riding is free!
 
@MattN. Need help!
_Functional analysis
 
Shoot!
 
Problem 4
I understand that is hat to do with picardi iteration, and banach fixpoint theorem. But I have problems tying togheter the knots.
 
Confused: $$ \int_0^1 t s x(s) ds = t \int_0^1 t s x(s) ds \leq t \|x\|_\infty \int_0^1 s ds = t \|x\|_\infty \frac{1}{2}$$
Then $$(Tx)(t) \leq t \|x\|_\infty \frac{1}{2}$$
 
3:03 PM
@MattN. Oh, I was talking about part b)! But thanks for clearifying a)
 
I'm not sure about the notation. Is $BC$ bounded and continuous?
 
@MattN. Yes
 
@N3buchadnezzar So, $T: (BC[0,1]\to \mathbb R) \to (BC[0,1]\to \mathbb R)$?
I guess.
@N3buchadnezzar To answer b) you want to show $\|T\| \leq \frac{1}{2}$ and $\|T\| \geq \frac{1}{2}$.
The first part you get from your answer to a).
I think.
 
So $x = 1/2$ satisifes the differential equation for all $t \in [0,1]$ ? Seems a bit strange
 
@N3buchadnezzar Sorry, can you elaborate what you mean by this?
 
3:08 PM
The problem asks for find an $x(t)$ that satisfies the equation does it not? It seems a tad odd to me to focus solely on $T$ then
"Find $x \in ([0,1],\mathbb{R})$ that satisfies
$$ x(t) = 4 + \int_0^1 t s x(s)\,\mathrm{d}s $$ for $t \in[0,1]$"
 
Duh. I was talking about part a) ii) !
Ok.
I'm with you now.
 
@MattN. OH, I completely missed the a) ii) part! Sorry!
 
Hi
Could someone help me to compute an integral? I need maple ...
$\int_{0}^{\infty} e^{-a(x^2+x)} \ dx$
 
@N3buchadnezzar So we want to find $x$ such that $x = 4 + Tx $
Can one write it like this at all?
 
@MattN. yes!
Is it not opposite?
 
3:14 PM
@Chris'ssister It is not in closed form. Complete the square.
 
Tx = 4 + x?
 
@Chris'ssister Here
 
@N3buchadnezzar Why do you think that?
 
I read the condition wrongly from my book, sorry
 
@JayeshBadwaik: thanks.
 
3:17 PM
$$-1/2\,{\cfrac {\sqrt {\pi }{{\rm e}^{1/4\,a}} \left(
{{\rm erf}\left(1/2\,\sqrt {a}\right)}-1 \right) }{\sqrt {a}}}
$$
 
@N3buchadnezzar: is this the closed form?
 
@MattN. So x = - 4 / ( T - 1 )
@Chris'ssister No, note the erf function in the answer
 
@N3buchadnezzar: ah. I see! Thanks.
 
user19161
@N3buchadnezzar That means you need more sleep or coffee.
 
@Chris'ssister One does not simply obtain a closed form from a gaussian integral.
@JasperLoy Both!
 
3:20 PM
Hold on.
For $x(s) = s$ we get $$x(t) = t = 4 + t \int_0^1 s x(s) ds = 4 + t \int_0^1 s^2 ds = 4 + \frac{t}{3} $$
Is this right?
 
user19161
Did you guys see the proposal ad on meta about a new math SE site?
 
@MattN. Yeah
 
user19161
I think MSE and MO are enough, no point having a third one in between.
 
@JasperLoy I don't even......
 
user19161
@JayeshBadwaik In fact, I think one is enough, MSE and MO are already too many.
 
3:27 PM
@JasperLoy I was going to write two are bad enough, but then probably research mathematicians need their space. So, two is good enough. One for things which are known and one for things which are not known.
 
Let's try another one. For $x(t) = c \in \mathbb R$ we get $$ c = 4 + t \frac{c}{2}$$
Is this also right?
 
user19161
@JayeshBadwaik I think people seriously doing research would be communicating with each other via other means. Is MO really their platform?
 
So this doesn't work either.
@N3buchadnezzar Are you still there?
 
@MattN. Yeh
 
Good.
 
3:29 PM
I have tried like 15 different functions
 
@JasperLoy can be, why not?
 
: D
 
@MattN. But I do not think one are supposed to guess the solution?
 
@N3buchadnezzar And you got the same for $x(t) = t$ and $x(t) = c$?
@N3buchadnezzar I don't know. I thought that is how one solved differential equations.
 
@MattN. Yes
 
3:30 PM
@N3buchadnezzar I may be wrong, but I think you can observe $t$ is independent of the integral, so the integral is basically a constant.
 
@N3buchadnezzar Excellent.
 
@MattN. I thought one used lagranges method, iteration, or something to solve them...
 
user19161
@JayeshBadwaik Hmm OK. In that case, I see MSE as elementary school to upper undergrad level and MO as beginning grad to millennium problems level.
 
@N3buchadnezzar Oh yes. Banach fixed point theorem looks promising.
 
Its proof.
 
user19161
@JayeshBadwaik I need 350 more points to get 4k, after which I will retire from MSE!
 
@JasperLoy nice. :-)
 
@JasperLoy whyP?
 
user19161
@N3buchadnezzar Just finding a reason not to be addicted.
 
3:42 PM
Hi,
 
@N3buchadnezzar Reading the link you posted suggest that you are supposed to find such $x$ by doing Picard iteration.
@N3buchadnezzar Then you have $x_0 = 4 = x(t_0) = x(0)$
and iterate...
bbl
 
4:02 PM
@JasperLoy: it's not that bad to be addicted to math. :)
2
 
@MattN. Good morning.
@Nimza Perhaps I do, working on a problem like that.
 
@JonasTeuwen good. The same problem is to find such PsDO that $x^{\alpha n} \mapsto n x^{\alpha(n-1)}$ for any $n$
 
Yep.
Working on that.
Perhaps you should mail me and explain what you are working on? Maybe can share ideas.
(In a different context, I suppose. For me harmonic analysis)
 
yep, ok :)
 
@JayeshBadwaik aare you still there?
 
4:32 PM
How funny is that.
I just updated my mac and the colours have changed.
Before:
After:
The new ones are nice : )
 
@JonasTeuwen I've sent you a message
 
Good.
Writing something up on UMD spaces.
I will reply soon.
 
good :)
 
4:56 PM
is there theory about recurrence relations which depend on n?
like a_0 = 4 ; a_{n+1} = 3 + n a_n
could be related to differentiation?
 
@Charlie I am here.
 
hello
 
5:20 PM
is anyone interested in recurrences
 
plz
any number theory at all
 
Okay! Enough UMD for now. Ran into a result of Bourgain again. That guy is like my daemon, always around when I look for stuff.
 
5:37 PM
Jean Bourgain (born 28 February 1954) is a Belgian mathematician. He has been a faculty member at the University of Illinois, Urbana-Champaign and, from 1985 until 1995, professor at Institut des Hautes Études Scientifiques at Bures-sur-Yvette in France, and since 1994 at the Institute for Advanced Study in Princeton, New Jersey. He is currently an editor for the prestigious Annals of Mathematics. He received his Ph.D. from the Vrije Universiteit Brussel in 1977. His work is in various areas of mathematical analysis such as the geometry of Banach spaces, harmonic analysis, analytic numb...
Who put Newton's picture on this?
 
hahahah)
How has experience of computing fractional derivatives? :)
 
@JayeshBadwaik oh oh !!!!!!!
 
@spernerslemma fractional or partial?
 
5:44 PM
:D
 
I reject fractional differentation
 
i'm beginner too
 
What a handsome fellow Jean Bourgain is :-D
 
so are you
 
I want to compute say $\frac{\partial^{0.3}}{\partial x_1^{0.3}} (a x_1 + b x_2)^{0.3n}$. Is it $a (ax_1 + b x_2)^{0.3(n-1)} \frac{\Gamma(0.3n + 1)}{\Gamma(0.3n + 1 - 0.3)}$ ?
 
5:47 PM
hi @Charlie
 
@skullpatrol wassup Skull?
 
@Charlie Not much, you?
 
My roof is what is up
 
@skullpatrol why not much?I'm fine!!
 
@Charlie Why ask why?
 
5:48 PM
@skullpatrol why not?
 
@Charlie why?
 
@skullpatrol you're always bad... Jasper is bad, Sperner is bad, Jonas is bad...
 
@Charlie "Why" is one of those question you can ask $\Huge\text{Forever...}$
 
$\huge\text {Por quê}$
 
I didn't say "bad." :)
I said "not much."
or
chillin'
 
5:53 PM
@skullpatrol Say "Good"!
 
@Charlie Why?
 
@skullpatrol ow...
 
I need to name a boat relation
 
@N3buchadnezzar Banana
Banana Boat
 
HMS Titanic
 
5:57 PM
@Charlie Then I could finaly be in a relation ship!
 
@N3buchadnezzar AHHAHAHAHAHAHAHAHAHAHAHAHAHAH
 
43 secs ago, by skullpatrol
HMS Titanic
This^ is your relationship.
 
@N3buchadnezzar you can order a relation from amazon, they would ship it to you, you would have a relation-shipped (close enough)
 
I just finnished writing a one page long complicated proof
I deserve and demand several relations brought to me at once, with haste!
 
6:11 PM
@N3buchadnezzar Relationship is something you have with other person. Relation ship is a ship that has something to do with relations! xD
 
@GustavoBandeira But I do not want to share my relationship with anyone!
It is mine!
 
=)
You won't even share it on torrent?
 
Sharing a boat over a torrent? You must be crazy
 
@N3buchadnezzar A boat over a torrent. =)
 
6:16 PM
If I could, I would download a car.
 
@JonasTeuwen Same here
 
me too
 
In Brazil, we can download cars.
 
In Sovjet Russia, car downloads you
 
@N3buchadnezzar Very well drawn good Sir.
 
6:20 PM
@spernerslemma this is awesome!
 
@N3buchadnezzar =D
 
Since I have no friends, I have plenty of time to draw.
 
Did you already draw my TiKZ bull?
If you do, I will be your friend, or not whatever you prefer.
 
I hate those new era shops that ask you for your name to order food, and then call you by your name 209804985 times.
"Here's you change, Pedro." "Here' your food, Pedro." "Thank you, Pedro."
 
6:22 PM
@PeterTamaroff Try telling them that your name is fuck me.
 
In Sovjet Russia continuous functions on a closed interval gives you an upper bound.
 
@GustavoBandeira, hahaha
 
@JonasTeuwen whatever you prefer
 
@N3buchadnezzar Keep up with the Sovjet-Russia jokes!
The ad nauseum might actually make it funny one day.
 
It's so funny I forgot to laugh
 
6:34 PM
That^ is what a forgotten laugh looks like.
 
@JonasTeuwen In Sovjet Russia, Jonas Teuwen tells jokes!
 
@N3buchadnezzar haha (Nelson's laugh, from Simpsons)
 
@JonasTeuwen In Sovjet Russia, Jonas scoops Bourbaki ?
 
Yes.
 
6:37 PM
 
In Sovjet Russia, girls don't run away from JT.
Must be a horrible place to be. I'm happy it dissolved.
 
@skullpatrol yup!In my language is funnier
 
Hiugh hiugh hiugh
 
6:58 PM
Did anybody here deal with Mittag-Leffler function?
 
Yes.
 
heheh)))
I have a problem with evaluation of $\alpha$-th fractional derivative of $E_{\alpha}( ( a+ bt)^{\alpha})$, it is a complicated thing, right?
for $E_{\alpha}(t^{\alpha})$ it's just $E_{\alpha}(t^{\alpha})$ but this sum gives problems
 
Yes.
 
7:14 PM
@JonasTeuwen For exponent we have $E_{1}(x) E_{1}(y) = E_{1}(x+y)$. Is there something similar for Mittag-Leffler? $E_{\alpha}(x^{\alpha})E_{\alpha}(y^{\alpha})...$ ?
 
@Nimza Did you check out binomial type operators?
Perhaps you will find something in my upcoming but infinitely often unfinished paper 8-).
 
:) m, thanks, will find something on "binomial-type operators"
 
The thing is, that it will probably not so cutely looking, but still OK.
 
I searched for semi-group property of Mittag-Leffler functions, found only something on discrete Mittag-Leffler
I don't chase cute-looking, I wan't to find papa operator for my orphan eigenfunctions)
 
I am doing very similar things, but the other way around.
 
7:30 PM
8)
 
Do you also fancy Calderon reproducing formulas? 8-).
 
no, I didn't hear
 
anybody know why maple's Student[VectorCalculus] hates minus signs?
 
It hates students.
Very much rightfully so.
It is probably the GUI that sucks and does not understand you are trying to feed it a minus.
 
then I have no other option but to hate it back >:(
 
7:39 PM
haha
 
Has anyone seen the "raised minus sign"?
 
yes, I do think it's the GUI, because computations and graphs work out fine. oh well.
maybe if I export it as html and edit it nobody will be the wiser
nope, gif images for output and equations, and ghastly ones at that
 
Given two random variable, $X_1, X_2$, is it true that $\sigma(X_1, X_2) = \sigma( \sigma(X_1) \cup \sigma(X_2) )$?
 
what does $\sigma$ mean?
 
Sigma algebra
 
7:50 PM
oh, that makes sense
 
Well, do you even know how to define the $\sigma$-algebra of a rv?
 
I think so.
 
@anon The GUI and the disabling of the classic worksheet mode made me switch to Mathematica.
@ablmf Then you can answer your question, can't you?
 
I've preferred mathematica all along. my school prefers maple for inexplicable reasons.
even my high school preferred it
 
@anon Perhaps because it is much cheaper?
 
7:53 PM
ah, that would make sense.
 
My university also seems to prefer Maple.
But then the physics people were like wadafuqisdisshit and bought a site license.
 
8:09 PM
even though it's wrong
or is it?
I can't figure out how to reflect a point around a point on the real line
what conditions on 0<a,b<2pi does sin(a)=sin(b) imply?
 
Oho, what an epic series I've received! :\
 
8:33 PM
why hasn't anyone found an odd perfect number yet
 
Because you have not looked hard enough.
 
8:53 PM
@JonasTeuwen do you know a PsDO that sends $(a+bt)^{n\alpha}$ to $(a+bt)^{(n-1)\alpha} \cdot C(t,a,b,\alpha)$, where $C$ doesn't depend on $n$?
I want to find a series by powers of $(a+bt)^{\alpha}$ invariant under action of some PsDO
when I made the same for powers of $t^{\alpha}$ I've met Mittag-Leffler for the first time :D
 
00:00 - 21:0021:00 - 00:00

« first day (812 days earlier)      last day (4206 days later) »