« first day (2680 days earlier)      last day (2334 days later) » 

1:08 PM
What about tchebychev polynomials Then ??
See edit
 
what are those?
@mick I just looked them up. Why do you expect four of those to form a monoid?
 
@AkivaWeinberger I summon thee
 
@BalarkaSen I am summoned.
 
Hmm, I didn't mean to summon the meme genie. Maybe I didn't do my ritual correctly.
 
@BalarkaSen Is that all I am to you?
 
1:15 PM
I shall try again... blood of a newborn calf...
... Christmas remix of It's Everyday Bro ...
 
@BalarkaSen England is my city.
 
Ah, I see, so that's where I mucked up. I should have played a noteblock cover of black metal instead.
 
@BalarkaSen Yes, yes please :-).
 
Hi guys,
 
@AkivaWeinberger You are summoned friend.
 
1:19 PM
if a smooth real valued function from R^n to R is convex
what can I say about the hessian?
is it SPD?
semi positive definite
 
@TobiasKildetoft if you consider the Mobius maps that permutes {0,1,infty} you get 6 rational functions that form a group S3 under composition
 
@LeakyNun Sure, but those are not polynomials
 
@Narcissusjewel Shrug. Maybe Jake Paul was the right idea.
Perhaps we should have rhymed Christmas with Litmus a few couple thousand times.
 
AAH
is summoned
 
See, that worked
 
1:30 PM
So what's up
 
@AkivaWeinberger I have a thing which looks like a tromino
Like the L shaped tetris thing
 
Three squares in an L, OK
 
Right, but each square is actually a block of 2^n x 2^n squares itself
So it's like a daddy tromino
 
OK
Do you want me to tile this with baby trominos?
 
I want to decompose this into trominoes made up of those smaller squares
Yea
How do I do this?
I am pretty sure it can be done
 
1:32 PM
Hint: induct
 
Hmm
Alright, let me try it
Oh
That makes it super simple
I can slice the 2^(n+1) x 2^(n+1) blocks into 4 2^n x 2^n blocks
and then the 2^(n+1) x 2^(n+1) trominic shape can easily be partitioned off into 2^n x 2^n trominic shapes
 
ya
@Akiva Thanks a bunch
 
No problem
@BalarkaSen So why must it be 2^n on a side?
I mean, is it possible for others?
 
you can also tile 2^n x 2^n squares with one 1x1 square removed iirc
 
1:40 PM
@mercio That's how I came upon this problem
Basically take an origin and draw the x and y axes so it becomes four 2^(n-1) x 2^(n-1) regions
well
if it's one one of the quadrants, rinse-lather-repeat
 
Hm, if the side length is a multiple of 6 it's always doable
 
triominos can tile lots of shapes
 
@AkivaWeinberger Interesting, I haven't thought about it
 
Hm, 3x3
(By which I mean three 3x3 squares stuck together)
 
yeah because two trominoes give 2x3 rectangles
I can do 3x3
 
1:45 PM
Right so this means if size $x$ can be done then size $3x$ can as well
 
I think
 
@BalarkaSen I just posted a picture
 
There is a very similar construction that produces an aperiod tiling of the plane
 
oops yes
 
So anything of the form $2^m3^n$ can be done
 
1:46 PM
Yup, pretty strange
Can you do 5x5?
 
And anything of the form $6n$ can be done
So 5 is the smallest thing we have yet to check, yeah
 
I am guessing not
 
what is the asymptotics of the numbers of ways can you tile a giant (3n)*(3n) square ? runs away
 
Blank 5x5 board
 
Hi!
Anyone here familiar with Fourier series?
I am proving something, but given my reduced knowledge about the topic, I can't proceed surely.
 
1:54 PM
@BalarkaSen Ha-haa
Just placing blocks randomly
 
Very cool
 
So, uh, 7? I mean hopefully I can prove it without brute force
@nbro A little bit
 
Yeah I'd like an algorithm for this
 
@AkivaWeinberger Ok, maybe you can help me then, if you're willing to do it.
I've already asked help here (and in other places) regarding this problem.
Anyway, here's the exercise.
 
1:59 PM
And I've attempted to solve it (with the help of people around), but I am unable to proceed, I am stuck in a point of the proof.
 
You just need a way to turn $g$ into a function from $[-\pi,\pi]$ somehow
Geometrically, you need to stretch its graph
 
@AkivaWeinberger Yes, I've done that already, but I am unable to finish the proof.
Let me explain why. I will show you now what I've done.
 
Hey everyone!
 
hey long time no see
 
Now, I need to show that $-c_n$ is equal to $d_n$, but I don't know how to show it.
 
2:02 PM
$\cos(n\pi)$ isn't $-1$ for even $n$
 
This Russian book I have does a pretty little teacher-student routine to come up with a similar argument. Nice.
 
It's $(-1)^n$ in general
 
@mercio Haven't seen you around these parts in ages
 
I give this book a Hard Bass/10
 
I guess I'm only here when I'm super bored
 
2:03 PM
It would have been easier to write $e^{i\pi n}=(e^{i\pi})^n$
 
I am confused because $c_n$ has a dummy variable $t$. Moreover, the integral in $c_n$ has a different interval than the one in $d_n$, so I need to change somehow the variable of the integral again. This seems to become a mess soon...
 
I bet it ends up being straightforward to be honest
First do a change of variables to get the interval right
and then simply stuffs
 
@AkivaWeinberger Oh, this mistake comes from my limited knowledge of $e$ and complex exponents. Indeed, I lost so much time in deriving that wrong formula because I was not even realizing that $e$ to a complex number is something "special", which can be semplified.
@AkivaWeinberger But, as I am saying above, $c_n$ has a dummy variable $t$ (instead of $x$ of the Fourier series), so I am a bit confused about how to perform the $\iff$ for the $c_n$ case.
 
Dumb question, if $X$ and $Y$ are topological spaces and $Y$ has the quotient topology on it, we don't call it the quotient space right?
 
Dummy variables don't matter
That's why they're called dummy variables
 
2:08 PM
@AkivaWeinberger In practice, what does it mean? What can (or not) do using them? How should I treat them (in my particular case)?
 
We only call $Y$ a quotient space if $Y = X/{\sim}$ for some relation $\sim$ on $X$ and if $q$ is the map $q(x) = [x]$ correct?
 
@nbro In a definite integral you can replace the dummy variable with any other variable and it'll stay the same
Here you should do a change of variables
Do you know how a change of variables affects the interval?
 
@AkivaWeinberger Yes, I know I have to change the variable so that to change the interval of integration.
But here's my confusion.
 
Use the exact same change of variables you wrote at the top of your answer
 
We can, e.g., change the variable from $t$ to, say, $u$, so that when $t = -\pi$, then $u = 0$ and when $t = \pi$ then $u = 2\pi$. We can, e.g., thus let $t + \pi = u$.
 
2:15 PM
Mhm
And then it's from 0 to 2pi
and you want it to be from 0 to N
So you can do another one on top of that
 
@AkivaWeinberger Well, yes, that's my confusion. How do I then turn that into the interval $[0, N]$.
 
So, say, $v$, so that when $u=0$, $v=0$ and when $u=2\pi$, $v=N$
so $\frac N{2\pi}u=v$
And if we want to do it in terms of $t$, you just said $u=t+\pi$, so we get
$\frac N{2\pi}(t+\pi)=v$
 
@AkivaWeinberger I've got a question regarding the change of variables in the integral. As you can notice, I have $f(t)$ inside the integral. If I perform the change of variables as I said above, i.e. $t + \pi = u$, how does $f(t)$ change? It should become $f(u - \pi)$, but that starts to look complicated...
 
sorry to interrupt but my MS word is crashing , so any other method I can make Word files?
or create PDF files
 
@nbro Yes, but remember how you defined $g$
(Also, you're applying this formula to $h$, not $f$)
@BAYMAX Google Docs?
 
2:24 PM
@AkivaWeinberger Well, it is a periodic integrable function on the interval $[0, N]$...
@AkivaWeinberger Yes, right.
 
Thanks for looking, The problem is I have a content in word file, and i simply want to edit it, but since it crashes within small time I cannot do that, so I simply copied the txt and pasted in google docs ut its not pasting? perhaps google docs is not allowing pasting?@AkivaWeinberger
Can we paste a content in google docs, is it working for u?
 
No reason it shouldn't
Have you tried turning your computer off and on again
 
2:39 PM
@AkivaWeinberger How does the $\frac{1}{2\pi}$ (outside the integral) change once I perform the change of variables I said above?
 
hi, i have a function analytic on $D=\overline{B_1(0)}$ , $d = max_{z,w \in D} \{|f(z) - f(w)| \}$ , i need to prove that $2|f'(0)| \le d$.
So the hint is to define $F(z) = \dfrac{f(z)-f(-z)}{d}$.
I can see the $F :D \to D$ and we actually need to prove $|F'(0)| \le 1$. but im not sure how.. someone can help?
we also have $F(-z) = -F(z)$ maybe that will help :P
 
You know that $F(0)=0$ in particular, I guess @Liad
 
@Semiclassical yea
 
Which I guess also means that $F(z)\sim z F’(0)$ for small z
So your inequality would follow if $|F(z)|<|z|$ for sufficiently small $z$
And that seems pretty plausible
 
2:54 PM
Hm, im not sure i follow. i thought we will need to use the Maximum principle for analytic function ( or one of its conclusions).
Wait.
i get what you did.
 
@nbro What what's $du$ in terms of $dt$
Or $dv$
 
@Semiclassical why would $|F(z)| \lt |z|$ for small $z$ ?
 
3:10 PM
@Liad not sure
This does look pretty close to what’s known as the Schwarz Lemma: en.m.wikipedia.org/wiki/Schwarz_lemma
 
13
Q: Does there exist a closed form for the sinc function series $\sum_{n=1}^\infty \frac{\sin\sqrt{n^2+1}}{\sqrt{n^2+1}}$?

Jiaxin ZhongHere I want to get the closed form solution of the following summation $$ \sum_{n=1}^\infty \frac{\sin\sqrt{n^2+1}}{\sqrt{n^2+1}} \qquad(1) $$ Or the more general form ($x$ be an arbitrary real number, and $a\geq0$ is a constant): $$ f_a(x) = \sum_{n=1}^\infty \frac{\sin\left(x\sqrt{n^2+a^2}\r...

Fun stuff
 
@Semiclassical nice!
@Semiclassical applying Schwarz lemma solve it with one line :P thanks!
 
Kk. Did you already have Schwarz in your text? @Liad
 
Yea but i forgot about it :P
 
lolkay
You basically had reduced it to that result already
 
3:25 PM
yea
how did you come up with that? @Semiclassical
 
Well, I knew that statement about the modulus of F(z) looked familiar
So I went to Wikipedia’s page for the maximum modulus principle
And schwarz was listed as an application there
 
nice :)
 
@AkivaWeinberger Yes I did but not working, thank you for trying!
 
3:54 PM
Let $f\in L_1[0,1]$ and suppose $\int_0^1 |f|^2 dx \leq n$. How might we construct a function $g\ in L_1[0,1]$ which is "close to" $f$ (with respect to the $L_1$ norm) but not $L_2$-integrable?
@Perturbative Greetings from a fellow South African
 
I am supposed to find a shape with the symmetry group of $\{\pm A(\theta),\pm B(\theta)| \theta \in \mathbb R\}$ where $A$ is a rotation around a vector $(1,0,1)$ and $B$ is an order 2 rotation around the vector $(1,\sqrt 2 \tan(\theta/2),1)$. How can I go about this?
 
whats wrong with breathing argon?
 
Have you tried it
Not good
 
not intentionally
 
4:40 PM
@AkivaWeinberger thank you very much
Hello, what it mease a right continuous function ?
 
5:00 PM
@Vrouvrou Context?
 
let $\phi[0,+\infty)\to [0,+\infty)$ be a non decreasincing right continuous function
 
In mathematics, a continuous function is a function for which sufficiently small changes in the input result in arbitrarily small changes in the output. Otherwise, a function is said to be a discontinuous function. A continuous function with a continuous inverse function is called a homeomorphism. Continuity of functions is one of the core concepts of topology, which is treated in full generality below. The introductory portion of this article focuses on the special case where the inputs and outputs of functions are real numbers. A stronger form of continuity is uniform continuity. In addition...
 
@Narcissusjewel thank you
please
if i have that $\sup\{r\in\mathb{R}_+, \phi(r)\leq s\}=0$ what i can deduce from this
 
5:20 PM
someone here
 
@BalarkaSen Why does that song exist :(.
 
5:36 PM
Hi! I had a question: $f(\frac{3x-2}{2})=x^2-x-1, f(0)=?$ and had it solved: $\frac{3x-2}{2}=0 \Rightarrow x=2/3 \Rightarrow x^2-x-1=-11/9$ and my que. is why here it is just solved for $x$ and plugged in into the equation cuz i don't see the connection between $f(0)$ and $-11/9$? Any comments/hints?
 
0
Q: Measurable Set as Union of Measurable over which $f_n$ Uni. Converges

user193319 Let $f_n$ be a sequence of measurable functions on $E$ that converges to the real-valued $f$ pointwise on $E$. Show that $E = \bigcup_{k=1}^\infty E_k$, where for each index $k$, $E_k$ is measurable, and $f_n$ converges uniformly to $f$ on each $E_k$ if $k > 1$ and $m(E_1)=0$. This problem w...

 
Hi
Suppose I have a sequence $(a_n)$ for which $|a_n-a_m| > \varepsilon \quad \forall m<n$. Then $(a_n)$ is unbounded, right? What's an easy way to show that?
 
Hello!!!
Let P(n) denote the largest prime factor of n.

Can we deduce something from the relations:


$\frac{|\{ p \leq x \mid \text{ p is prime and } P(p-1)\geq x^{\frac{2}{3}}\}|}{\frac{x}{\ln{x}}}\geq c_0$


and

$\frac{|\{ p \leq x \mid \text{p is prime}\}|}{\frac{x}{\ln{x}}}> (1-\epsilon)$


about how many prime numbers $p$ up tp $x$ will have the property that $p-1$ has a prime factor $q$ that exceeds $x^{\frac{2}{3}}$ ?
 

« first day (2680 days earlier)      last day (2334 days later) »