« first day (1587 days earlier)      last day (3428 days later) » 

2:02 PM
@Karl But of course we used regularity, yeah? That's cool, it's good to know this is widely true.
 
@Venus If I didn't make any silly mistake, it's $$\frac{1}{2} \sqrt{\pi } \left(4 \log \left(\sqrt{a}\right)-2 \log \left(1-\sqrt{a+1}\right)-2 \log \left(\sqrt{a+1}+1\right)-\frac{4 \sinh ^{-1}\left(\sqrt{a}\right)}{\sqrt{a}}\right)$$
@Venus I didn't verify the result yet, I'm also tutoring someone now.
 
r9m
@Chris'ssis 'tutoring someone' ?! :-) cool !
 
@Chris'ssis Which one?
 
@r9m I need some money, btw. :-))) I do this for a long time ...
 
Is this the closed-form of my double integrals problem?
 
r9m
2:05 PM
@Chris'ssis I tutored a bunch of kids last december too ;) .. I am a terrible teacher :P
 
@Venus $$\int_0^1\int_0^y\, \frac{y^{a-1}}{\ln x\sqrt{-\ln y}}\,dx\,dy=\frac{1}{2} \sqrt{\pi } \left(4 \log \left(\sqrt{a}\right)-2 \log \left(1-\sqrt{a+1}\right)-2 \log \left(\sqrt{a+1}+1\right)-\frac{4 \sinh ^{-1}\left(\sqrt{a}\right)}{\sqrt{a}}\right)$$
@r9m Kids love me very much, they like my style.
 
No
$$\int_0^1\int_0^y\, \frac{y^{a-1}}{\ln x\sqrt{-\ln y}}\,dx\,dy=-2\sqrt{\frac{\pi}{a}}\ln\left(\,\sqrt{a}+\sqrt{a+1}\,\right)$$
 
r9m
@Chris'ssis kids like me too .. and I feel sorry for them :P ('coz I know I am terrible at explaining something .. and they always struggle when I try explain something slightly complicated to them :P)
 
@Venus Well, I also have there some imaginary part involved, but the real part equals your answer. I can arrange that to get what you got.
 
Jasper is deleting his account again?
 
2:09 PM
Right
 
@r9m I have some practice with teaching from my last job, there I had to give some trainings. I don't love to give training, but that was a requirement at my last job, and that was especially for the fact the thing I was teaching was hard to be taught.
 
That's a shame
Hey @Balarka @UserX
 
why does he delete it 21 days before his new year thing. that seems inconsistent
 
@Studentmath What are you styding ATM?
 
2:10 PM
Hey all, I just posted this question a few minutes ago, however I have an exam which will be covering the topic later today, so I was hoping to get some insight from anyone who could help: math.stackexchange.com/questions/1057455/…
 
@KajHansen Morning.
 
Currently trying to generalize some methods in Graph Theory, but soon I will go back to my round of Algebra, Topology, Logics and again and again until February
 
r9m
@Chris'ssis last dec was my first time trying to teach 6 students simultaneously ! I thought it would be easy to teach in groups ! I was wrong ! each had their own way about it ... so I was essentially multitasking ;)
 
@Committingtoachallenge, nope.
 
I also downloaded a book in complex analysis to do before bedtime, maybe I won't be that terrible by the end of the degree :P How about you @Balarka?
 
2:12 PM
@Studentmath Since you like Graph theory, and have studied some topology and knows a fair bit of algebra, how about studying some geometric group theory?
 
hey hey
 
@Studentmath I am still stuck at covering spaces.
 
@r9m I mean you go in a room filled with engineers that ask you: "do we really need to spend our time with this? What is it good for?" Well, the idea is that what I was teaching was an incredibly powerful tool for assuring the success of the products quality. I mean that one was the most powerful tool.
 
I don't think like my group theory is strong enough just yet, but I plan to as soon as I get to Ring-Theory
 
@KajHansen I did for a long time, but I stopped, I was curious if you knew any good platforms. I used fitocracy, but it wasn't very good, especially in terms of the graphs and statistics recorded
 
2:13 PM
@Balarka Cayley-graphs?
 
@Studentmath Nudge me when you get to field theory.
 
@KajHansen Do you do sprinting?
 
Probably two weeks from now, if all goes well
 
I don't. You?
 
r9m
@Chris'ssis explaining 'What is it good for?' to a roomful of engineers ?! I see you were in deep shit :P LOL
 
2:13 PM
@Studentmath Right. And their topological studies.
 
Are you up early, @Kaj, or did you stay up late?
 
Quasi isometries and whatnots.
 
Up early @MikeMiller. Technically I'm in class right now.
 
I won't tell on you.
 
2:14 PM
What class?
 
@r9m It's a matter of culture in each plan with some of the techniques we must use there. Well, after some meetings some people began to love what I was doing, and attended my meetings with maximum pleasure. It's a kind of mathematical analysis, but you don't study functions, but you stufy manufacturing proceeses. You'd be amazed of how much fun you can have on such a position. It uses your brain 100%.:-)
 
@KajHansen I don't but I wish to start
 
What class?
Hey that's so jinxy
 
r9m
@Chris'ssis thats good ! :D.. Cool !!
 
Philosophy. "Intro to logic & critical thinking". It's super easy and generally a waste of time outside of the core requirement satisfaction.
 
2:15 PM
@KajHansen I made a thread on the fitness stack exchange to see what they think about viability of sprinting and weightlifting
 
Yugh
 
I didn't even know there was a fitness stack exchange!
 
@Balarka I recall I read somewhere that under certain rules all the isomorphism classes of coverings biject into subgroups of the fundemantel group of the metric space, or something with a lot of ideas in it along these lines
 
@KajHansen Logic as in propositional, or with the critical thinking it is psychologically inclined?
@KajHansen There is a stack exchange for everything xD
 
@KajHansen Well it's obvious isn't it? To stay fit, just exchange stacks of food.
 
2:16 PM
It's very weird for someone almost done with their math major to take a 1000-level intro course in logic.
 
@r9m :D
 
@BalarkaSen I just ate a steak that was 1 month over date personally
 
There's really no rigor.
 
@Studentmath I am not sure what you are referring to.
 
@KajHansen Has it been informative?
 
2:17 PM
I took the mandatory physics course in my last year...
 
Fundamental groups of graphs are free.
 
@Committingtoachallenge, not really outside of having some interesting reading.
 
r9m
@Committingtoachallenge your lifting stats are crazy ! are you a body builder or planning to be one ?
 
@Balarka, bah, I don't even recall. What do you know about the group if its cayley graph is a tree?
 
@r9m Neither xD. I am lifting for strength haha
 
2:19 PM
@Studentmath Hyperbolic.
 
The squat will get better again, it is sad atm
 
Use D.U.I.S. here $$I(a)=-\int_0^1\int_0^y \int_1^{\infty} x^{t-1}\, \frac{y^{a-1}}{\sqrt{-\ln y}}\ dt \,dx\,dy$$ and then you're immediately done.
 
@Studentmath Hyperbolic groups are cool stuff.
 
r9m
@Committingtoachallenge well the only physical exercise I ever get is from swimming :) .. besides that I do pull ups .. thats all I ever did :-)
 
@r9m Doesn't cost much to buy the whole gym for home honestly, I think it is worth it for sure!
 
2:21 PM
I swam in the past. I miss having crazy cardio stats.
 
@KajHansen My cardio is atrocious now :\. I did heaps of hiking last week, and my girlfriend had to wait for me puffing crippled behind her LOL
 
r9m
@Committingtoachallenge whole gym for home .. sounds cool ! :)
 
physical mental exercise.
I do math.
 
Mine is too. I don't mind too much though.
 
It's not pricey, in here it costs about 500$ to get pretty much all you need to do all the exercises.
 
I guess abroad, where you live, it could be even half the price
 
@Studentmath Yep pretty much, 200 for a bench, 200 for a squat rack, 100 for barbell and beginner weights
 
Yeah, if you buy used in good shape it is even cheaper
 
r9m
@Committingtoachallenge mountain climbing is awesome ! but I am too lazy for that :P
 
Doing physical exercise is stupid.
 
2:25 PM
@BalarkaSen I have $\gt \gt100$ studies that disagree :P
 
Sometimes it cleans your mind @Balarka
 
I appreciate the fact that my school gives me a gym membership... they don't pay much but he various benefits are nice.
 
@MikeMiller @Studentmath @BalarkaSen Hi
 
@Committingtoachallenge That's their opinion.
 
@Alizter \o
 
2:25 PM
Not really @BalarkaSen. For one, the endorphins help me manage my depression. Second, there have been many studies that show relationships between cognition and exercise.
 
hi alizter
 
Hi @Alizter
 
Balarka doesn't accept empirical proofs
 
oh hi @KajHansen
 
Hey there @Alizter
 
2:26 PM
throws physical exercises out of sight
 
@r9m It is good with a group especially, some parts of climbing a mountain are boring
@r9m Especially the way down(unless it is dangerous)
 
Can every finite group be thought of as a matrix group?
 
The wy down always scares me
 
Yes @Alizter
 
@Studentmath With scrambling(or that is Australian slang)? Yeah for sure
 
2:28 PM
@Alizter Yes
At least I think so
Oh just use the presentation
 
Quick google shows me scrambling is the term indeed
 
S_n are matrix groups
 
@BalarkaSen Yes.
 
So every finite group is a matrix group
 
r9m
@Committingtoachallenge mountains sounds crazy to me ! I tried to climb up and down a single floor house ! :P gave me mini-heartattack :P
 
2:29 PM
Every finite group $G$ is a subgroup of $S_{|G|}$. And every permutation can be represented in matrix form. See here: en.wikipedia.org/wiki/Permutation_matrix
 
And I guess you could cheat with Z/nZ
by saying matricies over Z/nZ under addition
 
@Alizter Z/nZ can be embedded in S_n
 
with restrictions obv
 
@r9m LOL, that is vertical though!
 
in fact every finite group G can be embedded in S_|G|
@Alizter what restrictions?
 
2:30 PM
@BalarkaSen Like topological embedding?
 
@Studentmath Glad to hear it haha, I have only used it in verbal conversation so I was unsure
 
@Alizter just injection.
 
I thought that was just Cayleys theorem
 
yes.
 
Good I am not crazy today.
 
2:31 PM
Indeed. That is Cayley's theorem.
 
@Balarka isn't every finite group isomorphic to some subgroup of $S_n$, but not necesserly any $S_n$? It injects but not necesserly isomorphic..
 
@Studentmath embedding means embedded as an isomorphic copy
 
It's never isomorphic if $n = |G|$.
 
@BalarkaSen Do you go to school?
 
Well besides the trivial case of $n=1$, right?
 
2:32 PM
Sure
 
S_1 is trivial though
@Integrator Sure. It's winter now.
 
@BalarkaSen Poor teachers!
 
What I don't understand is that if tensors are a generalisation of matricies then why do there not exist any groups with tensor elements that cannot be represented as matrix groups.
 
What's a tensor? I have only heard of tensor products...
 
An a x b x c array.
a 3 dimensional array
no
an n dimensional array
n = 2 gives matricies and n = 1 gives vectors
or something like that
however I am being really naive through this approach of thinking about matrices and vectors.
 
2:35 PM
@Alizter Because tensors are not entirely
a generalization of matrices. An $n$-tensor is really a linear map $V^ \otimes V^ \otimes \dots \otimes V \to V$
It won't let me edit that for some reason.
I meant $V \otimes \dots \otimes V$
On the LHS
where there are $n-1$ copies of $V$. Anyway, the point is every tensor can naturally be identified as a matrix (as it's a linear transformation from a certain vector space).
 
That's basically what matrices are with $V \otimes V \rightarrow V$ though....
Or am I being dense?
 
Looks like some field algebra...
 
@KajHansen You are being compact
 
Yeah, they are (there should only be one $V$ on the LHS). I don't see your point, though.
 
2:38 PM
Just because of "tensors are not entirely
a generalization of matrices."
 
My point is that while they look like one, you can write them down as linear maps from a certain vector space, so nothing really new is going on.
 
A matrix is a linear map from a vector space to another?
V -> V
right?
 
Sure, @Alizter
$V \to V$
 
Yes, I have a typo above.
 
2:40 PM
It represents one, yeah
 
and does $\otimes$ mean tensor product?
 
Yes
 
I have not studied tensor products yet.
Going back though
 
@Alizter If you study modules, you will.
 
How do you un-tensor product.
 
2:41 PM
The only time I saw tensor products was in my combinatorics course, believe it or not.
 
@Alizter What d'you mean?
 
For a 3 dimensional tensor
it is the map
$V \otimes V \to V$
2 dimensional is matrix which is $V\to V$
what about 1 dimensional? (vector)
 
there is an integer $n$ with. the property $n=2k,k\in \Bbb Z$, what do you think of this $n$?
 
and also 0 dimensional? (scalar)?
 
Apologies, @Alizter, I was thinking of the square matrix case. The vector spaces involved don't have to be the same.
 
2:45 PM
If they were
 
So it's $V_1 \otimes \dots \otimes V_n \to V$.
 
Right
and if n = 1
that gives matricies?
 
Anyway, yes, in the 1-dimensional case you have the "empty product" on the left, which you should interpret as $k$.
Yeah
 
and for the 0 dimensional case?
 
That's scalars, yes, but the right way to convince you of that is to talk about $(m,n)$-tensors instead of $m$-tensors. I won't get into that now, though.
 
2:47 PM
OK
 
(what you call an $m$-tensor is what I call an $(m-1,1)$-tensor; $m-1$ variables, $1$ output
 
Yes
 
a "$0$-tensor" should actually be interpreted as a $(0,0)$-tensor rather than a $(-1,1)$-tensor
in which case it's a linear map $k \to k$, ie a scalar
 
Hello!! In a space with measure $1$, $||f||_p$ is a oncreasding function with respect of $p$. To show that $\lim_{p \rightarrow \infty} ||f||_p=||f||_{\infty}$ we have to show that $||f||_{\infty}$ is the supremum, right??

To show that, we assume that $||f||_{\infty}-\epsilon$ is the supremum.

From the esential supremum we have that $m(\{|f|>||f||_{\infty}-\epsilon\})=0$.

So, we have to show that $m(\{|f|>||f||_{\infty}-\epsilon\})>0$.

Let $A=\{|f|>||f||_{\infty}-\epsilon\}$.

We have that $\int_A |f|^p \leq \int |f|^p \leq ||f||_{\infty}^p$.
 
Where is Ice boy, Skull patrol?
 
2:53 PM
I haven't seen them in a while
 
Now Jasper is gone
Math seems to be the main focus now wow wtf? xD
 
LOL
 
@Alizter I suppose the context you're getting tensors in is physics?
 
How dare this happen on Math:SE chat!
 
@KajHansen Out RAGEOUS
Oh I forgot UserX aswell
 
2:58 PM
Well, Jasper and UserX left to focus on their studies... skull just mysteriously vanished.
 
@MikeMiller Jasper left 21 days before focusing on studies
 
@MikeMiller No. It just sprung in to my mind.
 
@Alizter Gotcha. They're important in differential geometry; I don't remember if Stilwell uses them much, but he probably does.
 
Ugh... I got a flu shot a couple of weeks ago, and I think I've caught a flu...
 
@teadawg1337 Hey Teadawwwgggg
 
3:01 PM
@Committing Morning :D
 
@teadawg1337 I had a friend named [Name redacted from search engines], and everyone just called him T-Dawwwgggg
 
@Committing T-Dawg was my nickname in middle school, weird
 
Advanced mathematics that we use in physics is vectors.
Today we learnt the parallelogram rule.
 
I think one talks about tensors a lot in physics, too, but I don't have enough background in it to say for sure.
 
@MikeMiller I think they are interesting in themselves. Especially if you have studied linear algebra.
@MikeMiller They are used in relativity if I recall correctly.
 
3:04 PM
Of course, the more physics you do, the harder the math gets.
 
@MikeMiller Physics is essentially one massive mathematical model.
 
@Alizter I meant in more elementary stuff than that (eg the stress tensor); relativity uses the language of differential geometry, so its use of tensors is not a surprise.
 
@Alizter I have a lot of new pet peeves after taking physics. To name a few: people confusing the terms weight and mass, confusing speed and velocity, etc.
 
@teadawg1337 That is quite common in our class as well. The teacher also made a mistake the other day. She said that the area under a velocity time graph is the distance travelled but it is displacement.
Which is essentially $\int | f | dt$
 
@Alizter They also, of course, lied to you when they said Newton's law was $F=ma$ :)
Be nice, I'm on my phone.
 
3:08 PM
I generally thought G was a thing :P
 
Newton's Law of Universal Gravitation?
 
I was gonna say that telling somebody that gravity is mass times acceleration was a bit dodgy.
 
(The right rule is $F = \frac{d}{dt}mv$; it's not always even true in classical studf that mass is constant.)
 
Yes
 
Pointing this out makes me a pedantic dick because it's understood in writing the first one that mass is constant, but hey, I knew I was a pedantic dick already
 
3:14 PM
or even $\vec F=\frac{d}{dt}m \vec{v}$
@MikeMiller you can't be a dick for being correct
 
3:59 PM
It's quiet today
 
4:10 PM
@teadawg1337 I'm tutoring ... (that's a reason for silence)
 
And I'm in the middle of today's classes.
 
Oh yeah, today's Monday...
 
@r9m you might like to know this one gamespot.com/cake-ninja-3-the-legend-continues
Cake Ninja 3: The Legend Continues
:D
 
4:29 PM
This question needs answer! Somebody please!
 
@Integrator It already has 12 answers
 
@Integrator What are you looking for?
 
6
Q: A couple of definite integrals related to Stieltjes constants

Vladimir ReshetnikovIn a (great) paper "A theorem for the closed–form evaluation of the first generalized Stieltjes constant at rational arguments" by Iaroslav V. Blagouchine, the following integral representation of the first Stieltjes constant $\gamma_1$ is given (on page 3): $$\gamma_1=-\left[\gamma-\frac{\ln2}2\...

@Integrator @Chris'ssis @robjohn That needs an answer
 
That was the joke, @Venus.
 
@MikeMiller I know, but I wasn't trying to make a joke about Vladimir's question
 
4:44 PM
6
Q: A couple of definite integrals related to Stieltjes constants

Vladimir ReshetnikovIn a (great) paper "A theorem for the closed–form evaluation of the first generalized Stieltjes constant at rational arguments" by Iaroslav V. Blagouchine, the following integral representation of the first Stieltjes constant $\gamma_1$ is given (on page 3): $$\gamma_1=-\left[\gamma-\frac{\ln2}2\...

@Venus read my comment.
 
@Chris'ssis: without using $\gamma_1$? Do you have some closed form for $\gamma_1$?
 
@robjohn $$ \gamma_{1}:=\lim_{n\to\infty} \left(\sum_{k=1}^n \frac{\ln k}{k}-\frac{1}{2}\ln^2 n\right)$$
 
Or are you using other Stieltjes constants?
@Chris'ssis That is not what I would call a closed form
 
@robjohn I don't know what you mean.
 
@Chris'ssis haha
The answer should be $$\Large\mathbb{YES}$$
 
4:51 PM
@Chris'ssis You said that each integral could be done individually, but that would most likely include some Stieltjes constants. I got the impression that they were looking for another closed form for $\gamma_1$. Perhaps I am misinterpreting the intention of the question.
 
@robjohn I'm thinking of turning the integrals into some series like here math.stackexchange.com/questions/866382/…
@robjohn From such series, one might extract the proper closed form.
 
@Chris'ssis That does not sound like a yes to the question, but I am sure that you can turn the integrals into a series and probably extract something.
 
@robjohn I'm confident I can do it, and I don't see any reason for that it is not possible to do it. It should work! :-)
 
@Chris'ssis The link you refer is Oloa's. I love Oloa :D
 
Endorphin sounds like endomorphisms @KajHansen
 
5:04 PM
Long time no see, @BalarkaSen!
How've you been?
^_^
 
Not bad, @Khallil
What's up with you?
Doing any math lately?
 
Not much! Term is over so I'm back at home relaxing, @Balarka.
 
Term, @Khallil?
 
semester
 
aha
 
5:07 PM
Edit: @Kaj has my back, @Balarka. ^_^
 
Hullo
 
Yo @Hippa
 
@Hippa!
 
Check that, it's a stupid question but I'm stuck :c
 
Mike, Ted and Karl are all ignoring me.
 
5:09 PM
@BalarkaSen Why ? I knew about Ted but not about the others
 
@Hippa Karl ignored me the same Ted did
 
Maybe they blocked you
 
Mike won a bet.
Resulting in the ignore
 
5:15 PM
@Vrouvrou "continu" ??
continuous maybe ?
 
@anon
 
@KajHansen Do you always behave cool like that? It seems your words are too valuable so you don't wanna speak too much ^^
 
@Venus Kaj talks a lot.
 
5:55 PM
@BalarkaSen Was the bet "I bet I can block you"?
Wow I am visiting the site for the 87th consecutive day.
I like Mike, Ted and Kaj
 

« first day (1587 days earlier)      last day (3428 days later) »