« first day (1748 days earlier)      last day (3276 days later) » 

6:00 PM
@Hippalectryon I use Mathematica only to verify some of my final results. Sometimes it's not reliable, especially for the last questions I created.
 
Well tell me something if i have been given a matrix of a linear transformation and of what it does to the standard order basis how can i work back to get the linear transformation?
 
didn't know matrices had foes
 
@Rememberme To see what it does to an arbitrary element, just write that element in the given basis
 
@Hippalectryon here is an example $$\int_{-\infty}^{\infty} \frac{e^{x+1}+1}{e^x-1} \cdot \frac{1}{\pi ^2+(x+1)^2} \ dx=\frac{1+e}{1+\pi ^2}$$ You don't want to rely on Mathematica here. :-)
 
@TobiasKildetoft hello.
 
6:02 PM
@Hippalectryon The amazing thing about the question above is that I finalized it by real analysis only (this is crazy hard - but pretty easy by complex analysis) :D
 
@BenLim Hi
 
anything happening lately?
 
and take linear transformation on both sides @TobiasKildetoft
 
not much
Been writing mostly
 
Ok. I see you're now a Dr.
 
6:03 PM
@Rememberme Not sure what you mean. You just use linearity
 
@Hippalectryon It's hard to know what to do, how to make the connections, but the proof is very clean, short, fast, elegant, easy to understand (that was possible in my case due to some personal research).
 
@BenLim Yeah (been one for almost a year)
 
I'm just about to start along that road...
 
@Chris'ssis I hope I'll see it the the book :P
@Chris'ssis Mathematica says it does not converge lol
 
@Hippalectryon Yeap ;)
@Hippalectryon The issue comes from the Cauchy principal value, but I don't like to put that P.V. in front (in case you missed that).
In general the integrals (where considering P.V.) of this type make all CAS drive crazy. :-)
 
6:08 PM
Hopefully CAS is not perfect yes
 
I'm out. I need to prepare some stuff.
BBL
 
Is $2^{(2^n)}=(2^2)^n$??
 
hi guys
hi @Rememberme @BalarkaSen @Chris'ssis
 
@KarimMansour Hi
 
@Remember plug in $n = 3$.
 
6:15 PM
Hi@KarimMansour
 
Can someone help me with my Arc Length problem?
 
Ahh got it
 
Hold on.
 
Hi@StanShunpike
 
6:31 PM
Does anyone know how to prove if $A|B$ and $C|D$ are Dedekind cuts and $A|B < C|D$ then each element $u|v$ of the set $C\A$ satisfies $A|B \leq u|v$?
 
Would like some help setting up a problem calc problem. When I do this problem, I get half of the correct answer. I'm looking for the volume of a solid with semicircular base of radius 9 and cross section "perpendicular to the base and parallel to the diameter" are squares. So the sides of each square are $y=\sqrt{81-x^2}$ and the area of each square is $A(x)=81-x^2$. When I integrate that from -9 to 9 I get $V=\int_{-9}^9 (81-x^2) dx = 972$. The correct answer is 1944. What am I doing wrong?
 
Could anyone help me with Arc Length?
I cannot seem to get it: imgur.com/lSSINyN
 
I just received that (good to know in actual circumstances)
 
Sup @Rememberme?
 
good@StanShunpike
wooooo I have reached 1k
 
6:39 PM
I hate Arc Length problems
They take forever, and I've yet to solve a bloody one today.
 
good job @Rememberme
 
Thanks @Karim
 
@Jeff do you know how to do a triple integral?
 
@flakmonkey I do, but this is not triple integral. This is for a Calc 2 class on Volume by Slicing and the General Slicing method.
 
I never really became proficient with solving such problems by slicing, but $4\int _0 ^9 \int _0 ^{\sqrt{81-x^2}} \int _0 ^{\sqrt{81-x^2}} \mathrm{d}z \, \mathrm{d}y \, \mathrm{d} x$ gives the right answer
the product of the integrals gives $\frac{1}{4}$ the volume of the solid: you integrate from the xy-plane, z=0, to the height of the square cross-section, $z=\sqrt{81-x^2}$
 
6:54 PM
@flakmonkey are those both $x^2$ in the top of the two integration ranges?
 
yes
 
@KarimMansour I never asked you. Do you plan to specialize in analysis?
 
@Chris'ssis my interest lie in the interplay between physics and math that is I want to do physics but on really rigorous way as mathematicians do math
 
@KarimMansour Ah, I see. There are some famous problems that arose in the physics, some of them related to integrals, series and limits - one example is the Ahmed integral.
 
6:59 PM
@flakmonkey I still don't see what's wrong with my setup, then. Do you?
 
there is also alot of pde in general relativity too
 
@KarimMansour Many of them are very hard. I remember a series I posted some time ago here, it was proposed by Omran Kouba, and no one sent me a solution to it so far. I shared it with some students and professors.
 
Hello!! Is someone of you familiar with Ackermann's function?
 
@Chris'ssis that is interesting do you have like a blog or something I would love also getting to read your work too as such stuff will be valuable to me.
 
@KarimMansour I'll have my book soon that I'd be glad to give you a copy. :-)
 
7:02 PM
alright that would be awesome @Chris'ssis
 
@KarimMansour One thing to show one another amazing problem you mgiht be very interested in.
 
which problem @Chris'ssis?
 
@KarimMansour See this one
36
Q: Prove that $\sum_{k=1}^{\infty} \large\frac{k}{\text{e}^{2\pi k}-1}=\frac{1}{24}-\frac{1}{8\pi}$

Chris's sisProve that $$\sum_{k=1}^{\infty} \frac{k}{\text{e}^{2\pi k}-1}=\frac{1}{24}-\frac{1}{8\pi}$$

@KarimMansour "It is amusing since, "essentially", the sum is the energy of a photon gas with discrete wave numbers." – Felix Marin
 
yeah that is very interesting answer !
 
@KarimMansour Related to physics as Felix Marin noted.
 
7:04 PM
yeah
where do you get those problems ?
@Chris'ssis
 
@KarimMansour Major part of them are created by me, but this particular one is by Ramanujan as far as I know.
 
oh I see
 
@MikeMiller this is a little late, but wouldn't I have to restrict the codomain to [0, 1) if I want f(x)^2 to be injective
 
@SamuelYusim did you ask that your map be injective? sorry.
 
@KarimMansour Some of my latest research will allow an elementary solution to that problem I asked on main. I might add that to my book (not sure yet - I already exceeded the number of problems to add).
 
7:08 PM
yep
 
bleh, i say
 
@Chris'ssis very interesting
 
injective, continuous, and not open
 
nah its good to add as much problems as possible
I like for example layout of DF because it has many problems
 
I think that might actually not be possible
 
7:09 PM
I don't think its possible to do math without solving as much problems as possible
 
I was trying to come up with a topological embedding that was neither open nor closed and I figured this was the place to start
 
your function is a homeomorphism restricted to $[-n,n]$ for all $n$
 
oh, really?
 
@KarimMansour True. There is no better way to learn math than working extremely hard on problems. This is my opinion.
 
7:10 PM
yeah mine 2
 
(injective continuous maps from compact spaces to Hausdorff spaces are homeomorphisms onto their image)
 
I wouldn't have known that but alrighty then
 
do you know compactness yet?
 
I'll try finding what I'm looking for by looking at spaces other than $\mathbb{R}$
also, nope
 
ah, ok. this is one of the fundamental results
not so hard to prove straight from the definition when you get there; for now, take my word for it
so pick an open set $U$; its intersection with $(-n,n)$ $U_n$; then $f(U_n)$ is open for all $n$, and thus $f(U) = f(\cup U_n) = \cup f(U_n)$ must be open
 
7:12 PM
@Chris'ssis One needs to be able to do those problems though :-) I'm still learning
 
compact means every open cover has a finite subcover or something, right?
 
that's precisely it
 
Is there any way to reduce: $4t(cos^{2}t + t^{2}sin^{2}t - 2tsintcost)$ ?
 
sure
makes sense
 
7:13 PM
@Hippalectryon If I did it, just a self-educated person, then someone with uni background and a lot of other courses combined with very hard work should do far better than me. :-)
 
@Chris'ssis How do you do that problem? Not the details, just what method?
 
@Jeff I use my research, a certain type of series.
 
nevermind, i forgot again that the point was we were trying to prove that in this case, injective continuous maps are automatically open
 
@Chris'ssis Very few people are as specialized as you are, that's all the more true with uni background
 
@Owatch $2 \sin t \cos t$ is a well-known trig identity (that I don't recall), which might help you.
 
7:14 PM
@Chris'ssis Because in Uni you see a lot of diverse things
 
@Chris'ssis It's not a geometric or alternating series. And I don't remember any other kind.
 
@SamuelYusim: I think the argument above might be faulty, but can probably be saved. sorry for the mess.
 
wait, wouldn't $\mathbb{R}$ not be compact
 
it's not, but $[-n,n]$ is
 
ah, I see
 
7:16 PM
@Hippalectryon Yeah, but after a while you can specialize in analysis, for example. Then you take a lot of helpful courses, meet a lot of experienced professors. Instead, when I have a problem I need to talk to myself most of the time.
 
Oh well. I give up.
 
so the idea is: $f$, restricted to $[-n,n]$, is a homeomorphism onto its image. so $f(U \cap (-n,n))$ is open in $f([-n,n])$ in the subspace topology. the only worry is that maybe this being open in the subspace topology is not actually ope in $\Bbb R$ itself. i think that's not possible but it seems like a little work to check
 
Thanks for the identity though.
 
and i should probably be working. sorry for leaving you high and dry
 
@Chris'ssis Analisys is way wider than most of what you do though :-) once again, very few people specialize in only doing sums, integrals etc.
 
7:17 PM
it's all good
 
@Hippalectryon Absolutely true. I'm aware of this. I still explore this little corner of analysis, that is integrals, series and limits.
@Hippalectryon It's hard to describe the amount of pleasure you feel when you finalize a problem like the one I showed you.
11832
@Hippalectryon The art of making all needed mathematical connections to create a simple, marvellous picture with the solution is just wow. I cannot describe the amazing feeling you have. :-)
 
Hellos
$(\frac{1}{e})^{-x}=(\frac{1}{e^2})^{x+1}$
 
@Chris'ssis I'm still stuck in some points of my research though q_q
 
So the way I think to do it is pull the 2 out of $e^2$ and then set the exponents together. $-x=2x+2$ and got $x=-\frac{2}{3}$ which is the answer in the book
 
@Hippalectryon I'm also stuck sometimes, but after a while, when working on a different problem, an idea comes to mind and then know how to solve that problem. I never give up with the tough problems, I return to them after a while and solve them.
 
7:27 PM
Although I'm being told as well that taking the 2 from $e^2$ would be negative then so it would be $-x=-2x-2$ and I got like $x=2$ or negative 2
Which way is right?
 
@Chris'ssis I thought I was done with my latest research (related to accelerating approximations of functions) but a new problem appeared :/
 
-2(x+1) = -x
I think (@Maximilian)
 
thats what i am being told
but the book gives me another answer if i do it that way
 
@Hippalectryon That's just a natural thing, it happens when you do research. :-)
 
-2x-2 = -x, -2x+x-2 = 0
Okay.
 
7:30 PM
I get x=-2
 
-x -2 = 0
-x = 2
 
$-x=-2x-2$
and then $x=-2$
 
x = -2?
And that is wrong?
 
The answer in the book is $x=-\frac{2}{3}$
 
huh.
Maybe someone else can help then, I don't have time.
 
7:32 PM
lol
 
I'm tired as hell.
 
I have to finalize a proof now. BBL
 
And I have an exam. Stupid of me to wear myself out.
 
Chris's sis, do you know
 
Wait.
Something's odd about that problem
 
7:34 PM
I know
 
$(\frac{1}{e})^{-x}$
 
yes?
 
$e^{-x}$ is $\frac{1}{e}$
So is that some sort of inverse
So you can rewrite it as $e^{(x)}$
 
I figured it out
 
No, wait.
There, fixed it.
 
7:36 PM
@Maximilian What is the difficulty there. Get in both sides $e^{something}=e^{something*}$ and then consider something=something* and from there you get the solution (explaining things in a non-mathematical way though). :-)
 
Easy
We got it now
Thank you @Owatch
 
Does that fix it? IDK
 
@Maximilian Then you simply get $x=-2/3$ as your book states.
BBL (I need to finalize my proof)
 
Jesus Christ. Why does an eyelash have to get lodged in my eye when shaving
It just detached, and I blinked to get rid of it, but that stuck it on the eyeball, and I had to spend the next 2 minutes trying to remove it.
 
Cool story bro'
 
7:45 PM
Go away.
Tu n'as aucun d'historie que se compare.
 
@Owatch Cut your head off, you won't feel it anymore.
 
You're clever Raman.
 
@Owatch Don't get mad because of a stupid eyelash...
 
I'm not mad?
 
@Owatch ?? What is that supposed to mean ?
 
7:48 PM
I was trying to say he has no story that compares to mine.
I checked in translate after, doesn't mean that really.
 
@Owatch Google traduction ?
 
No.
I wrote that, I just checked in Google Translate that it was okay.
 
@Ramanewbie It's Translate
 
And it sounded a bit awkward.
 
It's not @Owatch
 
7:50 PM
And why is that
 
@Ramanewbie It's totally awkward and not French
 
Is it because the saying doesn't work?
 
@hippa no, I answered owatch : 'It\'s not correct'
 
@Owatch 1) it's histoire 2) should be pas de rather than aucun 3) should be qui instead of que
We get the global meaning though
 
Why not aucun?
 
7:52 PM
approximatively yes.
 
Because it is more of "none"
So like, you have none story
 
@Owatch But the grammar doesn't allow that
 
Which is why it sounds weird?
 
@Owatch Well actually aucune works (feminine!)
 
yes...
 
7:53 PM
Okay, so "Tu n'as aucune histoire qui se compare?"
Should I remove d'?
 
We'd rather say "comparable" instead of "qui se compare" but at least that one is correct And yes, remove d'
 
I'm bad in most areas.
Oh-well.
 
8:44 PM
hi @TedShifrin
 
please how to prove $$\int_0^t \frac{d}{dt} u(tx) dt=\int_0^1 \sum_{i=1}^N x_i \frac{\partial u}{\partial x_i}(tx) dt$$
i know that it is chains rule
but i cant write
 
9:02 PM
bah, @Mike, they've lost me at tangent bundles, framing, etc.
i guess all of this will make sense after i get to know some differential topology.
 
Oh, yeah, you need to know all that. Whoops.
 
grr. all the cool stuffs seem to require knowing everything I don't. (or, as you say, stuff I know gets less cooler after I really know it).
 
goodnight, @MikeM
 
hello, @Ted
almost my bedtime, yeah, i know.
 
hi @Balarka @Karim
LOL ... you are so predictable, Balarka
 
9:13 PM
Morning, @Ted.
My June plans are solidified... maybe I'll find some time to say hi to some friends at Santa Clara.
 
I am hoping to be well enough settled that I go up to the Bay Area around Labor Day ... and stop by LA to harass you guys on the way back
so, Balarka, I see we're all the bad people now
 
pressed a key trying to kill a mosquito. carry on. :P
bad people?
 
Hi @Ted @Mike @Balarka
 
Now let's see if I have time to do any math during all this traveling, @Ted
Hi @karl
 
heya @Karl :)
 
9:15 PM
hello @Karl
 
Some people do the most math whilst traveling, @MikeM
 
If $S$ is a subset of a topological space that is the union of an open dense set and complement of some other open dense set, then surely $S$ is not necessarily open right? Surely, even in places like $\mathbb R$?
 
wish me luck
bye
 
dumb
 
good luck, @Owatch!
Interesting, @Karl.
 
9:27 PM
consider $(\Bbb R - A) \cup B$ where $A$ is union of very small open intervals around the rationals in $\Bbb R$ and $B$ is, say, irrationals in $[0, 1]$ intersection $\Bbb R - A$.
 
is $B$ the complement of an open dense set?
 
$\Bbb R - A$ is a complement of an open dense set
the actual question is if $B$ is an open dense set
 
yeah, i am not sure if B is dense
 
oh, right, let me rephrase :P
doesn't feel open, since you're intersecting with irrationals
 
yeah, maybe something like both open and closed. ack.
 
9:30 PM
your $B$ is trivially not dense in $\Bbb R$, since it's a subset of $[0,1]$. what's worse is that it's also not open.
 
huh?
well, you can get rid of $[0,1]$, Mike.
 
that's why I said what's worse
 
right ...
 
fuhget about what i said
 
ok done
 
9:33 PM
say what?
BTW, Mike, I finally heard from the unmentioned person.
 
well, what i said works for $\Bbb R^2$, say. leave $A$ as it is on the x-axis, and intersect the complement with a $B$ homeomorphic to $A$ away from the x-axis.
 
@Ted: Good to hear. I don't want to be the middleman. :P
 
I know: You always want to be the center of detention.
BTW, Mike, I told AlexW I'd invite you all down for dinner ...
 
aw, hell, not again with topology and groupoids
i mean, just writing out the map would have sufficed.
 
@Balarka: You are getting very temperamental in your old age.
 
9:42 PM
People do get temperamental in old age.
 
RB's posts are essentially spam.
 
Luckily, I won't be around to see your old age :P
 
Me neither.
 
Well, that's what happens to us old guys who have written books, @MikeM.
 
9:45 PM
I don't know whats wrong with me those days I keep getting headace in my eyes
weird
 
@TedShifrin This is all he posts.
 
too much time at the computer, @Karim ... but you should have your eyes checked.
 
yeah probably my eye sight is decreasing or something
 
I have to wonder what it's like to write a math book
 
Seriously, @Karim, too much time at the computer is bad for the health in lots of ways.
No you don't, @Samuel. :)
 
9:48 PM
how often will an author need to look up something from another book as they're writing in order to write about it him/herself?
 
It's too much work to write about anything.
 
It certainly happens, @Samuel, but we also include our sources/references.
 
It's too much work to write about how much work it is to write about anything.
 
But they'd better not be copying ... that's immoral and illegal, just as it is for students to do so.
 
yeah I agree @TedShifrin
I will go for a walk brb
 
9:49 PM
@KarimMansour I am pretty sure your eyes are going through a phase of metamorphosis, and are transforming into butterflies.
 
Good boy, @Karim
 
yeah, of course. I know a good author won't plagiarize
another question: what's the usual proportion of writing to editing?
 
Ah, that reminds me of the wonderful Tom Lehrer song :P
 
yeah @PaulPlummer they are haha
 
ok, gotta sleep.
 
9:50 PM
@Samuel: Depends on the author and on the subject, I imagine.
Night, @Balarka.
 
Just go close your eyes lids for a little while and let them transform
 
also, how do authors manage firstly to come up with exercises and secondly to check all of them? I feel like this would be a huge amount of work
 
@Samuel: In all four books I've written, the thing I'm most proud of (and the thing Jasper doesn't care about) is the exercises. I made up a number of unusual ones.
 
that's pretty awesome
 
But, yeah, writing a good book is hard work and takes lots of time and class-testing.
Lots and lots of revisions after teaching.
 
9:54 PM
I can only imagine
 
With a really cool insight a student had at a review session before the final in diff geo, @Samuel, I actually made two edits right after.
 
interesting. neat to see that students can make a difference like that.
I'd ask what kind of insight, but I don't know any differential geometry so it'd probably be lost on me
 
Well, when you learn some, I'll tell you :)
 
well it looks like I'll be taking a course on it in the fall, so probably then
 
10:14 PM
Meh, in regards to my question, let $U$ be the complement of $\{0\}\cup\{1/n\mid n\in\mathbb Z_+\}$. Then $U\cup\{0\}$ is not open.
 
10:33 PM
@r9m The Knuth's problem is wrong. I was preparing to write the paper and thought to add that point to remark. Anyway, the problem is corrected by me as I think it should look like and then sent.
So, no concern about that.
It's good that I have the habit of checking the details numerically ... I hate the problems wrongly posed ...
 
10:53 PM
I need to also explain the mistakes in the paper, since the only problem lies in the left side of the quality (generating function of the Catalan's number? Sorry? No)
Back to work.
@r9m ^^^
 

« first day (1748 days earlier)      last day (3276 days later) »