« first day (1538 days earlier)      last day (3488 days later) » 

9:00 PM
nice proof.
 
Why do people say a proof is cool but never say it is hot? LOL.
 
mathematics is cold. best done in the polar regions of the world.
 
I will go to bed in 1 hour from now.
 
Interesting star panel indeed.
But I don't belong there.
turns away
 
@BalarkaSen How many seas must a white dove sail?
 
9:10 PM
Good ol' Dylan.
The answers are just blowing in the wind, @Daniel
You just need to grab and post them.
 
Two, @DanielF
 
@MikeMiller 24.
 
No, two.
 
Not 42?
 
No. Two.
 
9:14 PM
24 is equivalent to 42 modulo flipping, @Daniel
 
heya @DanielF ... doesn't say hello to needy Mike
 
Heya @Ted.
 
Hmph
 
@TedShifrin Mike boycotted me :(
 
good, @Balarka ... You're becoming a mathematician.
 
9:18 PM
haha
 
He's treating you the way his professors treat him :D
 
On math Overflow they say that the best programming language for math is called graduate student.
 
It's not as bad in math as in the experimental sciences. There graduate students literally are slaves.
 
Nudges @Mike
 
@Ted It's only until he redacts his reprehensible opinions on topology.
 
9:24 PM
LOL @ reprehensible
 
Reprehensible opinions? Which ones?
 
hmmm, with my upgrade to the latest Mac OS, all my TeX output looks totally blurred :( Seems I'm not the only one with this problem.
 
@TedShifrin The future is now.
 
That's helpful, @Antonio.
 
I try.
 
9:26 PM
I'll remember that next time you want help :)
 
Oh man, I've gained a negative favor
 
negative favor?
 
It's like someone owing you a favor, except the opposite.
 
@TedShifrin Are you using Helvetica fonts?
 
@Balarka Your thoughts on differential topology and algebraic topology from earlier :)
 
9:28 PM
Is $\displaystyle \lim_{x\to x_0} f(x)$ an operator? Is it legal to say; Let $\mathcal{L_{x_0}}$ denote $\displaystyle \lim_{x \to x_0$ then $L_{x_0} f(x)=\dots$?
 
no, standard TeX fonts and Lucida and Times ... all the same.
 
@MikeMiller That "Diff topo is BS" and "Algebraic topology without covering spaces is BS"?
 
that sounds like either a debt or a vendetta
 
They look fine in Acrobat Reader or other .pdf readers.
@Mike: He knows nothing of which he speaks. Sounds like our politicians.
 
@TedShifrin I'll get there soon enough in say 10 years. Ya'll gonna regret.
 
9:30 PM
I'm aware, @Ted, but a boycott won't affect a politician.
 
Nah, I'll be dead.
 
exactly which blasphemies have been committed? (as a grad physics student, i've probably done worse)
 
Me too.
 
@TedShifrin It seems they have designed the new system for retina displays and it does not work for normal displays or something.
 
OK, OK, I take back my words, @Mike.
No you'll survive. You got to survive.
 
9:30 PM
Well, that sure is f****d, @Jayesh.
 
@TedShifrin Yeah, I always thought Apple was stupid that way. :-P
 
But it can't be right ... it's only affecting TeXShop users on some Macs. Some say it's fine.
Well, I'm a Mac devotee since 1988, so don't bash me.
 
Ohh, then it's probably a different issue. And don't worry, no bashing here. To each his own.
 
@Balarka Since you're interested in algebraic geometry: Cohomology theories are how algebraic geometry is really done. The simplest, most pleasant early examples to learn first from come from algebraic topology. (And I might add that the topological covering space theory is really not going to be helping you much for etale covering spaces....)
 
Well let me finish point-set first!
 
9:35 PM
@Mike: étale is standard topological covering, not Zariski ...
 
physicist sin: i know the concepts of algebraic topology (homotopy / homology / cohomology) better than i know point-set
 
Ayo.
 
mostly because i know a bit about how the former is relevant for doing integrals
 
@Anthony ... stranger.
 
That's not a sin...
 
9:36 PM
:(
 
and i'm too lazy to care about knowing how to prove stuff :P
 
well, it's more important than most of point-set, @Semiclassical
 
that is a sin, @Semiclassical
 
heh. computations > proofs for most of the stuff i've done
 
Is there some statement about the taylor expansion of an analytic complex function that is real valued on the real line?
I've seemed to have forgotten.
 
9:38 PM
_____ reflection principle
 
Is it really?
 
can't remember whose name goes with it
 
Schwarz.
 
there we go
 
No, @Anthony ... It just means that if it's defined on the upper half-plane you can Schwarz reflect it to be defined everywhere
 
9:39 PM
Hmm.
 
am i mixing it up? drat
 
Analogous results for reflection across a circle
 
In class my professor was talking about $(z^2+ \epsilon^2)^{\frac{1}{2}}$
And he said that since it was real valued on the real axis we could say that it had only real coefficients in it's expansion. Or something to that effect...
 
Well, you can define a branch of that on the complement of $[-\epsilon,\epsilon]$, for example. What's the point?
Oh, if you have an analytic function that's real on the real axis, you can compute all the derivatives at $0$ by using $\partial/\partial x$, and you will see that all the derivatives are real. That's true.
 
Does anyone know a good book that will introduce Cantor normal form?
Not as the sole purpose of the book, that is.
 
9:42 PM
Oh.
 
Is $\displaystyle \lim_{x\to x_0} f(x)$ a linear operator? Is it legal to say; Let $\mathcal{L_{x_0}}$ denote $\displaystyle \lim_{x \to x_0$ then $L_{x_0} f(x)=\dots$?
 
I see.
Thank you @TedShifrin <3
 
What the blank is Cantor normal form?
 
evidently something to do with ordinal arithmetic (which i know jack about, all hail google)
 
ah, since I know nada about set theory, I should have kept my mouth closed.
 
9:45 PM
Representing the cardinality of a set $A$ as a 'polynomial' in $\omega$.
The powers of this polynomial are arbitary ordinals, I think.
 
Except $\omega^\omega$ ain't no polynomial :P
 
Also, is the example 4 @math24.net/differential-operators.html correct? shouldnt the differential operator be $L(D)=D^4+D^2$?
 
that's pretty much my reaction when it comes to anything Cantorian (save Cantor sets, though only b/c i like dynamical systems)
 
This is why I put '' around polynomial.
 
oh @Alyosha
 
9:46 PM
You know of it?
 
might not be a bad reference-request question
i'm sure one of the set-theorists on MSE would know a good source
 
@robjohn some details might miss (or I'm simply too tired here).
 
@Chris'ssis I am pretty sure my answer is correct... I am checking it now.
 
it's interesting that the problem requires care with the limit
 
@Semiclassical OK. I ask as I received a better answer to my recently posted MSE question than any of the current ones (in person) in terms of Cantor normal form.
 
9:50 PM
@Semiclassical yes, the change of variables causes some weird stuff near $1$
 
right
 
@robjohn Oh, yes, that works. I misread something.
 
interesting that it can be written as f(r)-f(a)+log(c) where r=b/c
 
@robjohn Mathematica is in trouble with it. Also without some care one can easily get a wrong answer.
 
@Chris'ssis I checked it with Mma, and it agrees numerically
 
9:56 PM
@robjohn Yeah, numerically it's perfect.
 
Try f[a_, b_, c_] := NIntegrate[t^(a - 1)/(1 - t) - c t^(b - 1)/(1 - t^c), {t, 0, 1}, WorkingPrecision -> 30, PrecisionGoal -> 20, MaxRecursion -> 1000]
 
I'm going to try to compute the derivatives with respect to b/c, a, and c
 
f[1/2, 1, 3] and N[Gamma'[1/3]/Gamma[1/3] - Gamma'[1/2]/Gamma[1/2] + Log[3], 20]
 
@Semiclassical I think this is an useful integral for computing some advanced stuff.
 
wasn't saying anything against it :) I just like converting integrals into differential equations
 
9:58 PM
hehe, OK ;)
 
mostly b/c i remember it coming in handy for dealing with certain logarithmic limits of eliptic integrals
 
@robjohn did you see this one? $$\int_0^{\pi/2} \frac{x \cos^2(x) \cot(x)}{3+\cos(4x)} \ dx =\frac{\pi}{128} \log(9232+6528\sqrt{2})$$
 
@Balarka, @Ted!
 
@Chris'ssis: I may have a way to extend this answer for $\sum\limits_{n=1}^\infty\frac{H^{(p)}_n}{n^q}$. The formula may not be very useful as it might be ugly when $p$ is bigger than $1$.
 
@Chris'ssis
 
10:07 PM
@robjohn that sounds nice!
 
@Chris'ssis No... but I think I know a trick that might work :-)
 
@robjohn Really? A trick that doesn't use complex analysis?
 
@Chris'ssis I don't think so... At least, not at the beginning.
 
@robjohn Well, it's OK any way you have (just asking).
 
Got stuck. If $f$ has extrema in $[0,2]$ then how do I prove that $\int_{-2}^2 f(x) \mathrm{d}x \leq 2$?
I set up a MVT but it didn't get me anywhere
 
10:23 PM
Is this at least solvable? It would be much easier if it gave me $[-2,2] instead of $[0,2]$
 
10:38 PM
Damn, found a counter-example... Does this mean the problem is wrong?
 
Well if the counter-example is right..
One of them should be wrong
 
user61230
It also depends on whether the counterexample falls within the assumptions of the MVT
 
Well, let $f(x)=10e^{-(x-0.5)^2}$
 
I have a pimple inside my nose. It hurts.
 
it hss a maximum $10$ at $x=\frac12 \in [0,2]$
 
10:42 PM
@UserX What kind of function is $f$?
 
Don't know, that's all it gives. I have high suspicions it's a trick question, a competitor of mine irl told me she had a problem she couldn't solve and she would send it if I solved this one.
Doesn't my counter-example fulfil the requirements?
and the integral $\int_{-2}^2 10e^{-(x-0.5)^2} \mathrm{d}x$ is greater than $2$(in fact I don't know how to prove it elementary, but even if it isn't, the $10$ is a number I chose, it can be made arbitrarily large untill it is greater than $2$)
Is my reasoning correct?
 
@UserX If f has extrema in $[0, 2]$ then take $f(x)=x^2$ clearly $\int_{-2}^2f(x)dx=16/3>2$
 
holy shit
all this time to construct that exponential
lol
 
Think simple :P
 
10:58 PM
Thanks. I definitely need sleep. Cya
 
11:11 PM
@robjohn Is the fact that $t$ is close to 1 enough to justify the 4th line of your most recent answer?
 
@MikeMiller You forgot that pesky $0$.
 
Could anyone give me a help on this basic analysis problem ? ttp://postimg.org/image/5bx3bocrp/
 
@Daniel Good point.
 
@DanielFischer Hello!
@MikeMiller Hello.
 
11:20 PM
Hullo @Pedro.
 
@nerdy Hint I take $R=\Bbb R$ the reals. It suffices you show that if a continuous function is not zero at $x$ there is a nbhd of $x$ where it is not zero.
 
@nerdy $f(p) - g(p) = f(p) - f(x_0) + g(x_0) - g(p)$, since $f(x_0) = g(x_0)$ by assumption.
$\kappa\alpha\lambda\iota\;\;\nu\iota\chi\tau\alpha$
 
@UserX See you in your dreams. Try to quit smoking. It is bad for health.
 
11:35 PM
@RandomVariable are you talking about $\displaystyle\lim_{d\to1^-}\log\left(\frac{1-d}{1-d^{c}}\right)$
The numerator is essentially $1$ the denominator is the thing that is changing enough to make a difference
@RandomVariable Think of it this way, the integral is between $$\lim_{d\to1^-}\int_d^{d^c}\frac{d^{b/c-1}}{1-t}\mathrm{d}t$$ and $$\lim_{d\to1^-}\int_d^{d^c}\frac{ d^{b-c}}{1-t}\mathrm{d}t$$ and the ratio of those is about $1$
 
@robjohn Did they give you any presents when you reached 100k?
 
@JasperLoy No. I got a nice mug when I became a mod, though.
 
@robjohn You should threaten to delete your account, lol.
 
@robjohn That was basically my argument as well. But I didn't post my answer because it seemed handwavy to me.
 
@RandomVariable the one thing to watch out for is the behavior near $1$. That was Anastasiya-Romanova's difficulty.
@RandomVariable perhaps I should add some explanation of the steps.
 
11:49 PM
@robjohn Yeah. You can't make a substitution just for the 2nd term unless you break up the integral. But you can't break it up if the upper limit is $1$.
 
@RandomVariable Indeed.
 
@PedroTamaroff Let $A = \Bbb R[x,y]/\langle x^2+y^2-1\rangle$; $P = \langle x, 1-y\rangle$. I claim but will not prove that this is not isomorphic to $A$ (as $A$-mods) but that they're locally isomorphic.
 
@MikeMiller OK. I'll sleep on it.
 
I am going to meet a Putnam 40th position guy in 3.5 hours.
 

« first day (1538 days earlier)      last day (3488 days later) »