« first day (1580 days earlier)      last day (3442 days later) » 

1:41 PM
@Sawarnik When I did have a girlfriend, I didn't have an MSE account so there's that. Also, it's not like I was living the happy dream with my girlfriend being with her 24/7 and shit. When we both had time we hanged out.
@BalarkaSen my number theory knowledge is next to non-existent and this sounds connected to it. Let me see if I get anything.
@BalarkaSen I know that every order 4 group is isomorphic either to the Klein four group or Z_4(I think studentmath told me this). Never looked it up though so I don't know how to prove it. But I guess the answer is 2.
 
2:12 PM
@UserX prove it. it has nothing to do with number theory.
next, find the number of groups of order 6.
 
@BalarkaSen lagrange's theorem uses the word "divides". I'm scared of that word.
 
LOL! Well the proof of Lagrange requires 0 number theory, but indeed it has applications to elementary number theory ;)
 
@UserX I am scared of Balarka's mathematical statements in this chat.
 
@UserX Care for a hint?
 
2:28 PM
@BalarkaSen let $G$ be a group that satisfies $|G|=4$. If there exists a generator $\langle x\rangle$ of $G$ then $G\cong C_4\cong Z_4$ by the first isomorphism theorem.
Trying to figure out the Klein four group isomorphism.
 
Right, but you don't need first isomorphism theorem.
 
I don't know anything of value for the Klein four :( only its cayley table.
 
@UserX You're thinking too abstractly. What does it mean for $G$ to have order $4$?
 
It has 4 elements?
 
mmhmm.
 
2:33 PM
Proving that there is only one order 4 non cyclic group up to isomorphism would complete the proof right?
 
@UserX Sure.
 
But I don't know if this is easier to approach
 
Every approach is easier
Just do it
@UserX Look at the generators.
 
@BalarkaSen there are no generators, V_4 isn't cyclic
 
who said that
@UserX what's your definition of generators?
 
2:35 PM
Elements you use to generate a group
That's pretty vague I guess.
 
It is indeed vague.
 
Anyway, I really enjoyed this but I have to prove continuity for some exercises I gotta hand in in less than an hour
 
You need to get focused to do any serious mathematics, dude.
 
I'll think about it. Brute forcing the possible cayley table values is the worst way to show it right?
 
Yes.
 
2:38 PM
@BalarkaSen I need to focus on getting on med school.
Serious math comes second.
 
If you're not gonna think I am not gonna provide problems.
@MikeMiller wat
 
I told you I will lol. Although I suspect that I'll end up brute forcing the table.
 
@Balarka I don't think you should be getting self-righteous here...
Brute forcing the table is easy, but not very fun.
 
Anyway, happy smacking I guess. Hey and bye @MikeMiller
 
@MikeMiller OK, you were replying to UserX.
Brute forcing the table is a bad way to do it.
 
2:41 PM
We're doing order 4, so it's fine. The next nicest way to do it that immediately comes to mind is knowing the $G/Z(G)$ trick.
 
I'd rather stick to Lagrange.
@MikeMiller Prof used to give me arbitrary numbers and find the number of groups of that particular order when I was learning Sylow theory. It was fun, partially because most of those numbers turned out to have large prime factors which made stuff easy :P
@Mike vector space isomorphisms are correct analogies of equivalence of covering spaces, right?
 
What analogy are you trying to make...?
 
equivalence of E \to B and E' \to B induces isomorphism of \pi_1(E) and \pi_1(E') and vice versa, and given field exts K/F and K'/F with K \cong K' as F-vector spaces induces the isomorphism Gal(\bar Q/K) \cong Gal(\bar Q/K') and vice versa.
 
Then field isomorphism, not vector space isomorphism. Isomorphic coverings mean isomorphic field extensions.
 
@MikeMiller no. Q(\sqrt{2}) and Q(\sqrt{3}) are not field isomorphic, even though galois groups over Q are isomorphic.
but they are vector space isomorphic over Q
 
2:59 PM
@UserX I have a very nice integral for you
$$\int_0^1 \frac{\log(2)-\log(1+\sqrt{1-x^2})}{x} \ dx$$
 
So, @Balarka? A space can have more than one double covering. (It's also not at all true that extensions of the same degree have the same galois group...)
 
oh ok makes sense
 
Dimension of $K$ as an $F$-space ~ degree of the covering.
 
Everyone loves me today. I have a weird question. Say we got a 3 equation 4 unknown system of equations. How come W|A found integer solutions?
 
@UserX Diophantine equations.
 
3:04 PM
@BalarkaSen not in my class
It's a calculus class
 
? It was an answer to your question.
 
Yea
 
So what about your class?
 
I gotta find a,b,c,d such that $ax^2+bx+c\over x-1$, x<1, f(x)=7-d^2 for x=1, $f(x)=c^2x^2-2cx+8e^{x-1}$ is continuous at 1
And I can't latex the multiple-formula functions
I found 3 equations but I still have 4 unknowns. Don't know if I'm missing something or they system is solvable.
 
3:10 PM
@MikeMiller that doesn't sound good
 
it just looks gross
 
i second that
 
The LaTeX or the prob itself?
 
problem itself
 
@Chris'ssis Do you still go running every day?
 
3:13 PM
yeah there should be a free variable, @UserX
 
@WillHunting Yeah, I'm just preparing to do that. Unfortunately, it's raining here.
 
Well I have about 10 minutes left to solve it. We gotta have the numerator of the first case for x<1 equal 0 for the lim to exist so a+b+c=0. Plugging in and evaluating we have that lim equal-b-2c which has to equal to f(1) to be continuous. The last case is straightforward(has to equal f(1) too)
But I got 3 equations...
 
@Chris'ssis I should start running this month. It's Dec already.
 
Got an idea brb
 
@WillHunting Well, it's a very healthy step in my opinion ... it provides many benefits for you. :-)
 
3:16 PM
@Chris'ssis Who will you be spending your Christmas with? Alone?
 
@WillHunting With my mom.
 
@Chris'ssis Same here, lol.
 
@WillHunting :D
@WillHunting Out for some jogging! :D
bbl
 
Someone downvoted me for using Bolzano's theorem on a question requiring IVT
I don't even...
 
3:38 PM
@MikeMiller
there are some regularity results for Sobolev spaces
for instance, if a function has enough weak derivatives, it's actually differentiable in the standard sense
so one way to find classical solutions is to find a weak solution and then check that it has enough weak derivatives
also, theorems like Lax Milgram prove existence and uniqueness of weak solutions
since classical solutions are weak solutions, the weak solution must be classical (if there is one)
and if not, it's the closest thing you can possibly get
 
right
also when you say Riesz representation @FM you mean the Hilbert space one, yeah?
 
F M
Yes
The Sobolev space associated to $L^2$ is a Hilbert space @MikeMiller
 
I know
 
3:57 PM
Back from jogging.
 
@Chris'ssis wb :D
Also, good morning everyone
 
@teadawg1337 Greetings :-) I posted above a very nice integral you don't wanna miss.
$$\int_0^1 \frac{\log(2)-\log(1+\sqrt{1-x^2})}{x} \ dx$$
 
F M
@MikeMiller do you know about k-theory?
 
yes or sort of or no, depending on which k-theory you mean
 
F M
algebraic k-theory
 
4:00 PM
@Chris'ssis I'm gonna be out and about this morning, and I forgot to bring my notebook and a pencil. I'll give it a go when I get home, I promise
 
then no
 
F M
do you know if Rosenberg's book is accesible?
 
the yes was topological and the maybe was operator algebraic
 
@teadawg1337 No hurry with that.Take your time! ;)
 
4:02 PM
I have no idea
have you considered Weibel's K-book/
 
F M
Weibel's is 2deep4me
 
but I think the 2deep4u stuff is how people think about it nowadays
 
F M
yeah, but I need to know some other stuff first
 
fair nuff
 
F M
I'm taking diff geometry next quarter
so then it will be reasonable to read about vector bundles and that kind of stuff
I guess
 
4:04 PM
vector bundles don't need smooth structure, they're sensible over any space
 
F M
I'm looking for excuses mike
 
how much algebraic topology do you know
 
F M
just the basics
but I'm taking an algebraic topology course next quarter as well
 
yeah, the algebraic topology is the real pre-req here
an important first theorem that gives you the ability to think is this
let $\text{Pic}_{\Bbb R}(X)$ be the group of real line bundles over $X$ with the tensor product (which shouldn't be too hard to picture intuitively); similarly for $\text{Pic}_{\Bbb C}(X)$
then $\text{Pic}_{\Bbb R}(X) \cong H^1(X, \Bbb Z/2\Bbb Z)$, and $\text{Pic}_{\Bbb C}(X) \cong H^2(X, \Bbb Z)$
 
F M
I have no idea what a bundle is
 
4:07 PM
you stick a line at each point
and if you look locally it's just a product $U \times \Bbb R$
woo
 
Am i right to say that "almost everywhere continuously differentiable functions are almost everywhere lipchitz continuous?"
 
anyway the point is that this helps you do examples, and I don't think it's possible for me to grasp a theory without examples
if you want to learn what bundles are now, the beginning of hatcher's book on K-theory doesn't require background knowledge
 
F M
sounds good but I have to prepare my galois theory final
 
the other book I've heard lauded but never looked at is Karoubi's k-theory booi
 
Guys could anyone help?
Am i right to say that "almost everywhere continuously differentiable functions are almost everywhere lipchitz continuous?"
 
4:11 PM
glancing at the table fo contents it looks like it mixes topological and algebraic which is probably good for intuition
you should read it and teach me clifford algebras
 
Hi guys, is it right that almost everywhere continuously differentiable functions are almost everywhere lipchitz continuous?
(sorry for the multiple messages, it's my first time in the chat and i'm not sure if you can read my messages)
 
I can, I just can't answer, so I didn't respond.
 
F M
I have no idea @user195750
 
@user195750 it sounds reasonable that almost everywhere continuously differentiable functions are almost everywhere locally lipchitz continuous, since if the derivative is continuous on a closed interval it's bounded there.
 
@user195750 I too don't have any idea!
 
4:29 PM
Wait, is it spelled Lipschitz or Lipchitz?
I've heard of Lipschitz continuity, but is Lipchitz a completely different concept?
 
No.
 
F M
It's Lipschitz
 
Alright, just making sure. I'm a bit pedantic when it comes to spelling
 
trying to decide how to formulate a question
let $f:\mathbb{R}\to\mathbb{R}$ be some analytic $\pi$-periodic function with zero mean on $[0,\pi]$
i.e. it has a Fourier expansion $\sum_{k=1}^\infty f_k e^{2 i k x}$+c.c. with $f_k^*=f_{-k}$ (reality) and with $\{f_k\}$ decaying exponentially in $k$ (analyticity)
then consider the double integral $$F[f]=\int_0^{2\pi}\int_0^x \sin(x-y+f(x)-f(y))\,dxdy$$
 
4:48 PM
@Chris'ssis I can't wait to get home, that integral looks fun :)
I really wish I had brought my notebook along...
 
@teadawg1337 Well, I have amazing news. The integral is meant to be evaluated without pen and paper.
 
@Chris'ssis It's somewhat difficult to concentrate on a math problem in a doctor's office, but I'll try my best.
 
ugh, connection
 
It's a bit noisy here, I can't focus very well :/
 
@teadawg1337 What I ask here might seem like some stuff from Matrix. :-)
 
4:54 PM
@FM galois theory is cool stuff
you familiar with any interesting problem, Fernando?
 
F M
yes
 
go ahead
 
F M
Characterize $Gal(\overline {\mathbb{Q}}/\mathbb{Q})$
 
smacks @FM
although i have a good(?) way to approach it, yeah
 
@Chris'ssis I'm on my phone without wifi, YouTube is unreliable on 3G...
 
4:57 PM
prepares for ranting on the stuff posted numerous times already
 
never mind, my connection is too relentlessly crappy to do any formulating
 
decides against ranting about solenoids but i am just asking for some classical problem, @FM
 
F M
that's as classical as it gets @Balarka
 
representation theory of that beast is nowhere near classical galois theory, Fernando
 
entirely different thing. @BalarkaSen, does your expertise in galois theory extend to differential galois theory?
 
5:00 PM
@Semiclassical mildly.
 
ok. looking for some sensible references on the subject
 
They're calling me back for my appointment, bbl. maybe an hour or so
 
@Semiclassical i haven't studied if from textbooks. i learnt some of that stuff from Khovanskii's (veeery long) notes at the end of arnold's notes on topological galois theory.
 
ah, hrm
 
Look at V. Alekseev "Abel's theorem through problems and solutions"
 
5:05 PM
@FM now that you know PDEs and soon you'll know vector bundles I think it's high time you learned the atiyah singer index theorem.
 
ooh bundles
 
@FM Buen nombre eh.
 
heya @PedroTamaroff
 
Inf?
 
5:08 PM
@balarkasen: thanks, i'll take a look. the main reason i want to know it is because i keep wanting to understand this paper
 
that's nowhere near my understanding
 
heh, same.
 
"Integrable lambda pencils" DUDE. you can even integrate pencils?
 
shrug
it's the finite gap side of that I really want to understand, but trying to approach it from the spectral side just slays me. so i thought this might be illuminating
(that may have been overly optimistic)
 
@TedShifrin ... tests if you have me on ignores
 
5:18 PM
@teadawg1337 OK
 
btw @balarkasen, they give an explicit example of an integrable $\lambda$-pencil as equation (20) n page 12
 
i don't even know what a pencil is so shrug
 
Round, sharp thing with graphite.
 
hah. i don't either, really. i think it roughly means one doesn't assume a spectral problem of the form $L\Psi = \lambda \Psi$ but rather $L(\lambda)\Psi=0$
 
@Mike this goes haywire with fractal like curves.
 
5:25 PM
how are you drawing fractal-like curves? :P
 
sketch, pure sketch.
well almost fractal like curves
:P
 
ooo, curve-shortening flows
a problem i keep wanting to solve (think i rambled about this with mike at one point)
 
Sure, it shouldn't be surprising, since it's numerical and when you make the details too fine the computations blow up.
If you could actually draw a fractal it wouldn't do anything, since the stuff involved doesn't make sense unless the curves are piece wise smooth. Luckily, humans can only draw piece wise smooth curves.
 
find an explicit analytic curve and a flow which preserves both its area and length.
(i should probably be stating it more carefully then that, but i'm forgetting the details)
 
well that wouldn't be a curve shortening flow, so who cares :)
 
5:29 PM
psh
 
I remember we fought a bit until we got to your current statement
 
i dunneven know what a flow is
 
And that's fine.
 
@MikeMiller :( i thought you'd give a rough idea...
 
Nah.
You have enough rough ideas of things already. Make some more into firm ideas.
 
5:31 PM
take it to be RMS-curvature shortening, then. (i.e. $\kappa_{rms}^2=\oint \delta\kappa^2(s)\,ds$ where $\delta \kappa=\kappa(s) -\frac{1}{L}\oint \kappa(s)\,ds)
 
why do everyone i meat say that.
 
cuz it's true. And aren't you a bit young to be meating people?
 
LOL
 
if memory serves, a curve-shortening flow is a family of curves (parametrized by the 'time' of the flow) for which the length is always decreasing but the area stays fixed
 
i mean meet
 
5:33 PM
I just woke up from a nap. How was the run @Chris'ssis?
 
or if not the area, some other characteristic of the curve
 
@WillHunting lol, I thought you went jogging too ... :-))))))) Well, very good as always.
 
what i want is a flow which leaves both area and length fixed, but shortens some other characteristic of the curve
it's easy enough to see that it exists, but constructing it explicitly is the pain
 
@Semiclassical Usuallt you're just decreasing arc length. Not trying to fix area.
 
(easy enough at a non-rigorous level, anyways)
maybe i'm mixing it up with something more specific, then
 
5:35 PM
@Jasper: You promised you wouldn't re-name change!
 
@TedShifrin
ok i am definitely on ignore again
hell
 
What other characteristic, @Semiclassical? Like $\int |\kappa| ds$?
 
Ted's here to talk about CSFs better than I can.
 
@MikeMiller CSF? Is that some probability stuff?
 
i don't think that works, since the integrated curvature should be a multiple of $2\pi$ for a closed curve if memory serves @TedShifrin
 
5:37 PM
heya @Pedro
 
@TedShifrin I suddenly felt that people were spying on me. I am getting a little paranoid, and for good reason too.
 
PDF, CDF, IIDD, WDWCIWA?
 
I added absolute value ... but once it's convex, then you're right. Griffiths's calculus of variations book discusses $\int \kappa^2\,ds$, if memory serves.
 
WDWCIWA?
 
@Ted let G be a lie group. Is the theory of continuous G-bundles the same as the theory of smooth G-bundles over some smooth base space?
ie are they both classified by maps into the same BG?
 
5:38 PM
Why won't we cut it with acronyms?
 
They'll know to spy on Will, too, @Will.
 
@WillHunting I am spying on you.
I know where you live.
 
I believe so, @Mike.
 
@TedShifrin: let me recall the explicit statement of what I'm looking for
 
I think it should be true but I can't write down a proof. I guess I should think cohomologically.
 
5:39 PM
@PedroTamaroff I am thinking how I would feel if I live in Iran or North Korea.
 
This is the sort of thing that you find senior grad students to discuss it with, @Mike :P
Not cool @Will
 
@MikeMiller Whenever I say "cohomology" I say it in Nicolas Cage's voice.
 
you'll just get your head cut off, @Will
 
Hey people. @WillHunting why did you do a namechange?
 
He's in love with Matt Damon.
 
5:40 PM
@PedroTamaroff is the "h" silent in that?
 
@UserX Like I said, sometimes I feel more paranoid than usual.
 
Can I explicitly construct a parametric family of real-analytic curves for which the area and length are both preserved? I think tossing in a constraint like "$\oint \kappa(s)^2 \,ds$ is decreasing" makes the answer unique, butI don't have a clue if that's the most natural thing to do
 
I realised I got some OCD too :P
 
@UserX Sort of, yes. Like in "Homology, homogeneous, homosexual, homonym, homologous..."
Any word with the prefix "homo", basically.
Well, actually.
 
@PedroTamaroff I literally pronounce all your examples with a non silent "h"
 
5:41 PM
homotopy sounds lame in that way then
 
@UserX Err, find a dictionary.
 
@PedroTamaroff I can't read the gibberish pronunciations there
 
There are different ways to pronounce it.
 
Many online dictionaries even let you hear the pronunciation.
 
You might be right, though.
 
5:43 PM
@Pedro In English those are all pronounced with an h.
 
"Homotopy" is better.
"Homology"
Not like in "Homer".
 
I pronounce Cayley as Kaelae.
 
after quite a bit of playing around, i concluded I could construct an example by finding a family of distinct analytic functions $f_\lambda(x)$ (where $f_\lambda$ is real, $\pi$-periodic, analytic, and has zero average value) for which the integral $$F[f]=\int_0^{2\pi} \int_0^x \sin(x-y+f(x)-f(y))\,dx\,dy$$ is independent of $\lambda$
 
@PedroTamaroff does it have to do with stuff similar to one another?
 
@Semiclassical: Definitely look at Griffiths's book Exterior Differential Systems and the CAlculus of Variations. You do need to be comfortable with differential forms, however.
 
5:44 PM
"HOMO" means "the same."
 
Like, the only person I have ever heard drop the h is French. Ignore Pedro's English tips.
 
that's more or less fine, i think
 
@PedroTamaroff actually it means similar
 
If you know why the hell do you ask?
@MikeMiller Do you say "HOEmosexual"? I usually say "OMOsexual" or "OMOlogous"
 
@Ted Where can I find the Chern-Weil approach to characteristic classes?
 
5:46 PM
@PedroTamaroff because that's the greek meaning.
 
Yes, Pedro. Literally everybody does.
 
Όμοιο-=homo-
 
I already answered that at least once, @Mike. Plus I told you to look at my lecture notes.
 
Literally.
 
@MikeMiller I did note some of my examples were not good. But I think UserX is playing the fool now..
 
5:46 PM
@Ted I tried. :)
 
@PedroTamaroff dude I know the greek equivalent.
 
@Mike: Chern's book, Ronnie Wells's Complex Manifolds book, Griffiths & Harris, probably the Canadian multi-volume geometry book (whose authors I forget)
 
OK.
Chern's book titled?
 
@UserXdid you even try that exercise?
 
Also Spivak Volume 5, @Mike ... Did you really look at my notes? I did a fair amount of that stuff in the second semester course.
Complex Manifolds without Potential Theory @Mike
especially second edition
 
5:48 PM
@TedShifrin I am in love with Spivak's Diff. Geo books.
 
@TedShifrin Not aware of that Canadian book. Did you mean Russian?
 
no, @Will, I meant Canadian.
 
I did look at your notes. The content is nice, but I have trouble reading it... sorry :)
 
too wordy, @Pedro
 
Oh, I own that book. I actually have Fulton's old copy... I think I told you.
 
5:49 PM
yeah, but the second edition has more stuff specifically in an appendix
@Mike, I have another set of notes I'll forward you. Still hand-written. As I said, when I'm retired and bored, I may TeX stuff up.
 
Is it inappropriate to talk about a prostate examination in this chat?
 
I would really really prefer you didn't @Jasper.
@Ted I don't think you sent me the second semester, so I'd like that. Now I owe you two servings of pasta.
 
@UserX to begin with, first prove that if G is a group, then order of any element x in G has order < |G|.
use contradiction and lagrange's theorem.
 
@UserX I think you should become a mathematician instead of a doctor if you are so interested in math.
 
@Mike: I don't know why you're complaining. My handwriting is quite legible. GRR.
 
5:58 PM
@Ted I often have trouble with such things. It was also obscured a bit by the xeroxing process... things got smudged.
I hope you don't take it too personally.
 
I just sent more you'll be incapable of deciphering, @Mike. The 'ell with ya.
 
I find this set much easier to read.
 
A Homeomorphism is borel in both directions right?
 
There was some print-through from the two-sided notes, @Mike. They don't make paper the way they used to. Last fall I had to write on only one side, as the fountain pen ink soaked way through.
@user116457: If it is one way, it certainly is the other.
 
@TedShifrin Fountain pens are ancient, lol.
 
6:06 PM
A few of my undergrads are totally enamored of fountain pens, @Jasper.
 
so why does my book says:
"Let be a f homeomorphism defined on a Borel set A. If the inverse
map f^(−1) satisfies the Lipschitz condition, then B = f(A) is a Borel set."
ah does it have something to do with the fact that A might not be saturated?
 
@Chris'ssis I'm getting in my car now, I'll look at your integral once I get back home
 
@teadawg1337 look at it in your mind.
 
@user116457: Borel with respect to what $\sigma$-algebra?
 
I'd rather focus on the other cars on the road in this heavy rain
 
6:10 PM
smart move, @teadawg
 
@teadawg1337 That's good.
@teadawg1337 I think @TedShifrin might give you a clue to ease your work here :D $$\int_0^1 \frac{\log(2)-\log(1+\sqrt{1-x^2})}{x} \ dx$$
 
Hmm... where are the hats?
 
When will the hats begin?
 
@TedShifrin borel-borel measurable. The borwl sigma algebra
 
I don't know. I thought today.
 
6:25 PM
Another question: is every analytic function lebesgue-lebesgue measurable? (inverse image of a lebesgue measurable set is Lebesgue measurable)
I seems that any linear transformation is Lebesgue-lebesegue and i'm trying to find a generalization
 
@Chris'ssis just got home, traffic was unusually bad. I'll look at the integral now
 
@teadawg1337 OK
 
I got one more smack. Great.
 
6:40 PM
hi
i have a math question
6
Q: The homology groups of $T^2$ by Mayer-Vietoris

Rudy the ReindeerIf I choose two open sets $A$ and $B$ as depicted on Wikipedia here: then I have an isomorphism between $H_n(A \cap B)$ and $H_n(A) \oplus H_n(B)$ because the two tubes in $A \cap B$ are disjoint. OK, so far so good. Then I write down the Mayer-Vietoris sequence and try to compute $H_n(T^2)$ ...

why are the chosen sets A and B open in T^2? they take a littlebit more than a half of a torus
 
@Chris'ssis Let $x=\sin(2\theta)$
$$
\begin{align}
\int_0^1\log\left(\frac{1+\sqrt{1-x^2}}2\right)\mathrm{d}x
&=4\int_0^{\pi/4}\log(\cos(\theta))\cos(2\theta)\,\mathrm{d}\theta\\
&=4\int_0^{\pi/4}\left(-\log(2)-\sum_{k=1}^\infty(-1)^k\frac{\cos(2k\theta)}{k}\right)\cos(2\theta)\,\mathrm{d}\theta\\
&=2\int_0^{\pi/2}\left(-\log(2)-\sum_{k=1}^\infty(-1)^k\frac{\cos(k\theta)}{k}\right)\cos(\theta)\,\mathrm{d}\theta\\
&=-2\log(2)-\sum_{k=1}^\infty\frac{(-1)^k}{k}\int_0^{\pi/2}[\cos((k-1)\theta)+\cos((k+1)\theta)]\,\mathrm{d}\theta\\
Your integral is the negative of that
 
@robjohn Nice, but I think you considered a wrong version. There is a missing $x$ in denominator.
 
@Chris'ssis I see... I missed that
 
@robjohn Anyway, it's also good to know this solution! :-)
 
The integral diverges, since $$\log(0)=-\infty$$?
 
6:53 PM
@teadawg1337 What integral do you refer to?
 
@Chris'ssis I wonder if I can adapt this with a bit of adjustment.
 
@Chris'ssis The one rob copied down slightly incorrectly
 
@robjohn I was thinking of that. It would be great to see such a solution.
 
Separating the integral into two parts yields $$\log(2)\int_0^1\frac{1}{x}\mathbb{d}x-\int_0^1\frac{\log(1+\sqrt{1-x^2})}{x}/m‌​athbb{d}x$$
 
@teadawg1337 Those both diverge
 
6:58 PM
Exactly.
 
@teadawg1337 so don't separate them
 
Ohhhh, I see what to do. Give me a sec
 

« first day (1580 days earlier)      last day (3442 days later) »