« first day (1976 days earlier)      last day (2958 days later) » 
00:00 - 17:0017:00 - 23:00

5:27 PM
Anyone know about black holes?
 
you know what's a hard proof tho
Proving that compact spacetimes with timelike Killing vectors are totally vicious
@SirCumference what about them
 
All right, I just need to know if apparent horizons will always eventually coincide with event horizons
@Slereah ?
 
I dunno
 
Er...@0celo7 Do you know?
 
@Slereah wow
what is the proof?
@SirCumference no
 
5:36 PM
All right
 
I think it's silly to study apparent horizons before understanding basic GR, but that's just me
 
Well excuse me
 
I was referring to myself.
 
It isn't a difficult concept
 
hahahahahha
 
5:37 PM
xD
 
good one :'D
 
I'm not talking about the math behind it
 
Knowing what an event horizon is isn't too hard
 
SANCHEZ
 
5:38 PM
*apparent
 
knowing what anything is isn't hard.
 
Eh...
 
Can we define an event horizon on the Schwarzschild-de Sitter spacetime
Since it's not asymptotically flat
 
@3075 Oh by the way, would you know the answer?
About apparent horizons
 
@Slereah which one is that
the one with a cosmological constant?
 
5:45 PM
Yes.
On some $S^3$ spatial section
 
@Slereah it's defined similarly
 
How
Event horizon needs $\mathcal{I}$
 
instead of null infinity defined in terms of asymptotically flat regions that null geodesics go to you instead define it in terms of asymtptotically AdS regions
 
Hm
 
after that the horizon is defined in exactly the same way
 
5:55 PM
How to write a good scri on latex
 
$\mathscr{I}$
 
Also how do you define an asymptotic region in a compact manifold
Oh wait
I guess the null surface isn't compact(???)
iunno
 
HOW THE HELL DO YOU SMOOTH CURVES DAMMIT
 
Asymptotic just means that there is some length scale associated to the black hole and beyond this length scale the metric looks like AdS
 
fumes
 
5:57 PM
I s'ppose
 
What's an example of a spacetime without a nicely define asymptotic region
 
FLRW?
Einstein-de Sitter
anything compact?
anything with compact spatial slices?
 
can someone solve a PDE for me
 
6:04 PM
Can't we say that a thing is asymptotically FRW?
 
@Slereah help please
I can't solve this PDE
 
help potato
What PDE
 
wait it's not even a PDE
this ODE
$X''+\lambda X=0$ with $X(0)=X'(L)=0$
It's too hard :(
 
April fool's has ended, so it's not funny.
 
How about
Exponential
 
6:06 PM
@dmckee what?
 
$e^{\mathfrak{some shit} x}$
 
@Slereah good guess
it's going to be a sine of some sort
But I'm too lazy to figure out the argument
 
You can also do $A\sin(thing) + B\cos(stuff)$
 
it's not going to have a cosine term
 
@0celo7 This problem is also know as the half-open pipe of acoustics. It's almost trivial.
 
6:08 PM
@dmckee I'm trying to solve a heat flow problem in my PDE class
I'm not a PhD student, this is hard
 
@0celo7 why can you do topology proof but not basic math
 
I can't solve $\cos (\lambda_nL)=0$ :(
3
 
Were your parents killed by a differential equation
$\lambda_n = k \frac{\pi}{2L}$
 
MAGIC
nooooooo, there's going to be a 0 mode
 
Unless the original should be $X'' +\lambda^2 X = 0$ the argument to the trig function goes by $\sqrt{\lambda}$.
 
6:11 PM
@dmckee true
I haven't done PDE homework in weeks!
I used to be able to write down these eigenfunctions by inspection
aha!
I solved this problem on the midterm already :P
 
Time to make some burgers
 
@Slereah you monster
$k$ has to be odd :V
 
w/e
I mean that's not even PDE, that's like basic trig
High school stuff
 
@Slereah well what I'm trying to solve is $u_t=ku_{xx}+Q(x,t), u(0,t)=u_x(L,t)=0$.
 
The heat equation
 
6:17 PM
then I move to time-dependent boundary conditions
8 mins ago, by 0celo7
@dmckee I'm trying to solve a heat flow problem in my PDE class
 
6:28 PM
@Slereah do you want to see the solution
 
Of what, that PDE?
I've been to school thx
 
We are solving $u_t=ku_{xx}+Q(x,t)$ with $u(x,0)=f(x), u(0,t)=u(L,t)=0$
 
I've done enough heat equations
 
no you have not
then the solution is:
$$u(x,t)=\sum_{n=0}^\infty \sin\left(\frac{2n+1}{2L}x\right)\exp\left[-\left(\frac{2n+1}{2L}\right)^2kt\rig‌​ht] \left(\frac{2}{L}\int_0^L f(y)\sin\left(\frac{2n+1}{2L}y\right)\,\mathrm{d}y+\int_0^tQ(x,\tau)\exp\left[\l‌​eft( \frac{2n+1}{2L}\right)^2k\tau \right] \,\mathrm{d}\tau\right)$$
 
>rig
 
6:33 PM
my god
I hate chatjax so much
sigh...
 
Why do you even use left and right
Who cares
 
so it scales?
 
Apparently it mostly just fucks up!
 
the point is that the solution is terrible!
@Slereah only on chat
 
But we are on chat
 
6:36 PM
next problem...same one but with $u(0,t)=A(t)$, great.
 
My burgers call me
 
@Slereah getting fat?
 
Nope
Getting thinner :V
Did my gymming today
Perhaps one day I will be a mountain of muscles and general relativity
RARGH WHAT IS THE EXPONENTIAL MAP OF AdS
 
what
why do you need to know
 
I do not
It is an example of a muscle monster wondering about GR
body goal
Any function?
Is it periodic
Though I guess the most famous GR scientist with a buff bod is Gordon Freeman
 
6:44 PM
what
 
Do you not know who Gordon Freeman is
 
nope
 
He is the protagonist of Half Life
His thesis was "Observation of Einstein-Podolsky-Rosen Entanglement on Supraquantum Structures by Induction Through Nonlinear Transuranic Crystal of Extremely Long Wavelength (ELW) Pulse from Mode-Locked Source Array"
 
ok, the solution of this problem is not very interesting
 
He wrote about ER = EPR years before it was a thing
 
6:46 PM
> Supraquantum
> Supra
@Slereah you know that one czech webm
ofc course you do :^)
the one with the handyman
 
Do I
I only know one Czech word
I do not
 
7:00 PM
@dmckee you still around
 
Sorta.
 
@dmckee in neutron scattering, why do we call the scattering angle $2\theta$ and not just $\theta$
 
Scattering off hydrogen and measured in the lab frame?
 
we tend to scatter off of powders in our research
various ceramics
remind me what the lab frame is?
 
If so, then I suppose it is twice what the angle would be in the CoM frame if the hydrogen were free.
@0celo7 The one where your instruments are at rest.
@0celo7 Don't know, then. I was guessing anyway.
I've never seen that before, but then I've never done neutron scattering work.
We have a semi-regular who has, only I can't recall who.
 
7:05 PM
I'll ask a grad student at work
 
The closest I've even come is writing a toy neutron transport Monte Carlo in a computational physics class.
It give you a real appreciation for the effort made to compute such things with dice, protractors, rulers, and carts during the Manhattan project.
 
@0celo7 Can you visualize $X'' + X = 0$ as saying that the acceleration vector is just a scaled multiple of the position vector, $X'' = - X$, and that this must be true for all values of the parameter so it's obvious the varying parameter is just the angle at which the vector is oriented in the plane,
thus a solution could either be an anti-clockwise-rotating circle of radius $A$ or an clockwise-rotating circle of radius $B$, giving as general solution a supposition of these generating an ellipse $X(t) = Ae^{it} + Be^{-it}$? Constants like $\lambda$ then tell you how fast the circles rotate, and you can see why they are indexed etc... and boundary conditions are about orienting the circles. Visualied here from Needham's book P242:
http://i.stack.imgur.com/Jjj62.png
 
@bolbteppa uhhh
I was being lazy
Of course I know how to solve a basic eigenvalue ODE after a few months in a PDE class...
 
You said it was too hard, just trying to help
 
57 mins ago, by 0celo7
I solved this problem on the midterm already :P
 
7:11 PM
Ok, just un-read that visual solution so
 
7:43 PM
@Slereah $S^k\times S^1$ does not admit any Ricci flat metrics when $k = 2, 3$.
 
why not
 
I will tell you once @FenderLesPaul orders my book and I can read it!
@Slereah Do you know the proof of $\nabla \mu=0$ where $\mu$ is the volume form?
 
7:59 PM
Bloody hell I dunno
Is it the one that's like...
$\varepsilon_{ijkl} \sqrt{-g}$
 
yes
 
Well Levi Civita is constant
 
PROOF
 
And the determinant is made of metric tensors, which are 0 when derived
And levi civitta tensors
By definition
 
@Slereah but how is $\nabla\sqrt{g}$ defined
$\nabla$ is only defined on tensors
 
@DanielSank why didn't you @ me there
you know I like shitty question titles :(
@Slereah Let $\{E_i\}$ be an orthonormal frame. Then $\mu$ is the canonical volume form iff $\mu(E_1,\dotsc, E_n)=1$. Then $$(\nabla_X\mu)(E_1,\dotsc,E_n)=\nabla_X(\mu(E_1,\dotsc,E_n))-\sum \mu(E_1,\dotsc,\nabla_X E_i,\dotsc,E_n)=-\sum g(E_i,\nabla_X E_i)\mu(E_1,\dotsc,E_i,\dotsc,E_n)=-\sum g(E_i,\nabla_X E_i)=-\frac{1}{2}\sum \nabla_X g(E_i,E_i)=0$$
there might be some plusses and minuses in the Lorentzian case
but it works essentially the same
@Slereah Apparently one can define an adjoint of $\nabla$ that's useful for [things]
 
8:19 PM
@DanielSank What does that even mean
Does he honestly expect us to translate it first?
Everybody knows you'll see everything anyways ;)
 
8:34 PM
@Danu Hahahaha, that illustrates my thoughts exactly.
@Danu Yes!
 
@Danu what did you post that for
@DanielSank huh?
 
9:00 PM
Can we institute a system wherein I get $1 every time @0celo7 writes "huh?" in the chat, and +$4 if it's about a joke?
 
9:13 PM
@DanielSank I, too, wish the internet generated money
 
Good morning everyone (UGT)
I'm trying to understand how the expansion of the universe affects space-time
it should... accelerate it? (Although I read time is slowing, but it might be to counterpart the energy needed for the expansion of the universe, not related to my question)
As more dense matter slows down time, less dense... would make it faster? Compared to current expansion.
 
@DanielSank what?
@Danu @DanielSank why do you laugh at my expense :(
 
10:14 PM
@ACuriousMind Is a quadratic form on a vector space, $Q:V\to \mathbb{R},v\mapsto Q(v,v)$ always continuous?
 
I don't think continuity is usually in the definition?
 
@Slereah Well it might be a theorem!
Like all linear maps on finite-dimensional vector spaces are continuous.
 
Can't you just pick a counterexample
Is there anything wrong with the quadratic form $Q(v) = (\theta(x) + 1) v^2$
 
what the fuck is that
 
A random discontinuous function
 
10:23 PM
what is $\theta(x)$
 
Heaviside function
 
how is that a quadratic form?
what is $x$
 
Some vector component
whatever
just to induce a discontinuity
 
@Slereah do you know what a quadratic form is
Protip: it's linear in each input
 
Hm
 
10:27 PM
Protip: that thing you showed is not linear in each input
 
Iunno then
Have you
googled it
 
what would I google?
 
quadratic form continuity
don't you have a googling class
 
1
Q: Continuity of a Quadratic Form

ItsNotObviousIf $V$ is a finite dimensional Hilbert space for any vector $x \in V$ and endomorphism $A$, the function $$ Q(x) = \langle Ax, x \rangle $$ defines a quadratic form on $V$. Now, I would like to show that $Q$ is continuous. The main thought I have about this is that it is very similar to the (an...

Whuuuuut
not sure if that works though
that does not work for all quadratic forms!
ah, there is a Schwarz inequality on Minkowski spaces, no?
@CraigGidney what brings you here
noooo the Schwarz inequality goes the wrong way! What is this??
> CALIFORNIA INSTITUTE OF TECHNOLOGY
Division of the Humanities and Social Sciences
More than you wanted to know about
quadratic forms
@ChrisWhite Uhhhh
Is the math dept in the liberal arts department at caltech oO
 
00:00 - 17:0017:00 - 23:00

« first day (1976 days earlier)      last day (2958 days later) »