User jesse madnick - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T07:53:01Z http://mathoverflow.net/feeds/user/2318 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/114626/fundamental-motivation-for-several-complex-variables/114728#114728 Answer by Jesse Madnick for Fundamental motivation for several complex variables Jesse Madnick 2012-11-28T05:04:31Z 2012-11-28T05:04:31Z <p>If those are your reasons for caring about complex analysis, then I'm not sure to what extent I can convince you to care about SCV.</p> <p>But here is why I like SCV: I like multivariable calculus, and I like complex numbers. I've always wondered what would happen if you put the two together. And apparently pretty wild things happen (compared with either the single-variable or real-variable case).</p> <p>I'm also really interested in complex geometry. The local theory of complex manifolds involves SCV.</p> <p>One final comment: Your reason (1) for caring about <em>holomorphic</em> functions is in fact my reason for caring about <em>harmonic</em> functions (for which I would otherwise desire motivation).</p> http://mathoverflow.net/questions/7834/undergraduate-differential-geometry-texts Undergraduate Differential Geometry Texts Jesse Madnick 2009-12-05T04:35:39Z 2011-10-05T17:33:23Z <p>Can anyone suggest any basic <em>undergraduate</em> differential geometry texts on the same level as Manfredo do Carmo's <em>Differential Geometry of Curves and Surfaces</em> other than that particular one?</p> <p>(I know a similar question was <a href="http://mathoverflow.net/questions/395/reading-list-for-basic-differential-geometry" rel="nofollow">asked earlier</a>, but most of the responses were geared towards Riemannian geometry, or some other text which defined the concept of "smooth manifold" very early on. I am looking for something even more basic than that.)</p> http://mathoverflow.net/questions/38856/jokes-in-the-sense-of-littlewood-examples/39030#39030 Answer by Jesse Madnick for Jokes in the sense of Littlewood: examples? Jesse Madnick 2010-09-16T22:30:53Z 2010-09-16T22:30:53Z <p>The chain rule "joke" reminded me of a similar notation joke: Radon-Nikodym derivatives.</p> <p>If $\mu$, $\nu$, $\lambda$ are $\sigma$-finite measures with $\nu \ll \mu \ll \lambda$, and $f \geq 0$ is measurable, then:</p> <p>$$\int f\ d\nu = \int f \left[\frac{d\nu}{d\mu}\right]\ d\mu$$</p> <p>and</p> <p>$$\left[\frac{d\nu}{d\lambda}\right] = \left[\frac{d\nu}{d\mu}\right]\left[\frac{d\mu}{d\lambda}\right]$$</p> http://mathoverflow.net/questions/38856/jokes-in-the-sense-of-littlewood-examples/39024#39024 Answer by Jesse Madnick for Jokes in the sense of Littlewood: examples? Jesse Madnick 2010-09-16T21:28:08Z 2010-09-16T21:28:08Z <p>The Cayley-Hamilton Theorem:</p> <p>If $A$ is a square matrix with characteristic polynomial $p(\lambda) = \det(A-\lambda I)$, then $p(A) = 0$.</p> <p>Because you know, you "just plug in."</p> http://mathoverflow.net/questions/3134/whats-your-favorite-equation-formula-identity-or-inequality/31960#31960 Answer by Jesse Madnick for What's your favorite equation, formula, identity or inequality? Jesse Madnick 2010-07-15T05:00:55Z 2010-07-15T05:00:55Z <p>The Gauss Formula from Riemannian geometry:</p> <p>$\overline{\nabla}_XY = \nabla_XY + \text{II}(X,Y)$</p> <p>It may just be a decomposition into tangential and normal parts, but I find it very aesthetically pleasing. (It's also not completely immediate that the tangential part of the ambient connection should actually be the intrinsic connection.)</p> http://mathoverflow.net/questions/18100/theorems-with-unexpected-conclusions/31959#31959 Answer by Jesse Madnick for Theorems with unexpected conclusions Jesse Madnick 2010-07-15T04:44:36Z 2010-07-15T04:44:36Z <p>If $f\colon [a,b] \to \mathbb{R}$ is increasing, then $f$ is differentiable almost everywhere [w.r.t. Lebesgue measure].</p> <p>(We can further conclude that $f'$ is measurable and $\int_a^b f'(x)\ dx \leq f(b) - f(a)$, but it's the first part that struck me when I learned it.)</p> <p>And sure it makes sense, but knowing how real analysis often is, one might think that there must be some increasing function that fails to be differentiable on a set of positive measure.</p> http://mathoverflow.net/questions/21881/how-should-one-present-curl-and-divergence-in-an-undergraduate-multivariable-calc/31777#31777 Answer by Jesse Madnick for How should one present curl and divergence in an undergraduate multivariable calculus class? Jesse Madnick 2010-07-14T00:08:49Z 2010-07-14T00:08:49Z <p>This is perhaps a crude (and certainly non-rigorous) explanation, but it's always how I've thought of motivating it.</p> <p>Let $F = (F_1, F_2, F_3)$ denote a vector field in $\mathbb{R}^3$, and write $\text{curl}\ F = (G_1, G_2, G_3)$. We would like a situation where $G_1$ describes the "instantaneous" rotation of $F$ about the $x$-axis, $G_2$ the rotation about the $y$-axis, and $G_3$ the rotation about the $z$-axis.</p> <p>So let's think of vector fields which do just that. Three simple (linear!) ones which come to mind are $$H_1(x,y,z) = (0, -z, y)$$ $$H_2(x,y,z) = (z, 0, -x)$$ $$H_3(x,y,z) = (-y, x, 0)$$ So in order to measure how much $F$ rotates about, say, the $z$-axis, it makes sense to look at something that compares how similar $F$ is to $H_3$. The dot product $F(x,y,z) \cdot H_3(x,y,z)$ seems reasonable, which is precisely $-yF_1(x,y,z) + xF_2(x,y,z).$</p> <p>This suggests that defining $$G_1(x,y,z) \approx -zF_2(x,y,z) + yF_3(x,y,z)$$ $$G_2(x,y,z) \approx zF_1(x,y,z) - xF_3(x,y,z)$$ $$G_3(x,y,z) \approx -yF_1(x,y,z) + xF_2(x,y,z)$$ might give something close to what we want. But this is a very crude way to measure "instantaneous" rotation -- in fact, one might say it's a sort of linear approximation. Thus, we are led to replacing the linear terms with their corresponding derivations: $$G_1(x,y,z) = -\frac{\partial}{\partial z}F_2 + \frac{\partial}{\partial y}F_3$$ $$G_2(x,y,z) = \frac{\partial}{\partial z}F_1 - \frac{\partial}{\partial x}F_3$$ $$G_3(x,y,z) = -\frac{\partial}{\partial y}F_1 + \frac{\partial}{\partial x}F_2,$$ which is precisely the curl.</p> <p>This heuristic also works with divergence, but instead consider $(H_1, H_2, H_3) = (x,y,z)$.</p> http://mathoverflow.net/questions/28428/convergence-of-fourier-series-of-l1-functions Convergence of Fourier Series of $L^1$ Functions Jesse Madnick 2010-06-16T19:08:02Z 2010-06-21T05:20:22Z <p>I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, <a href="http://en.wikipedia.org/wiki/Convergence_of_fourier_series#Norm_convergence" rel="nofollow">Wikipedia</a> informs me that if $f \in L^p$ for $1 &lt; p &lt; \infty$, then the Fourier series of $f$ converges to $f$ in $L^p$. Either of these results implies that if $f \in L^p$ for $1 &lt; p &lt; \infty$, then the Fourier series of $f$ converges to $f$ in measure.</p> <p>My first question is about the $p = 1$ case. That is:</p> <blockquote> <p>If $f \in L^1$, will the Fourier series of $f$ converge to $f$ in measure?</p> </blockquote> <hr> <p>I also recently learned that there exist functions $f \in L^1$ whose Fourier series diverge (pointwise) everywhere. Moreover, such a Fourier series may converge (Galstyan 1985) or diverge (Kolmogorov?) in the $L^1$ metric.</p> <p>My second question is similar:</p> <blockquote> <p>Do there exist functions $f \in L^1$ whose Fourier series converge pointwise a.e., yet diverge in the $L^1$ metric?</p> </blockquote> <hr> <p>(Notes: Here, I mean the Fourier series with respect to the standard trigonometric system. I am also referring only to the Lebesgue measure on [0,1]. Of course, if anyone knows any more general results, that would be great, too.)</p> http://mathoverflow.net/questions/16829/what-are-your-favorite-instructional-counterexamples/20366#20366 Answer by Jesse Madnick for What are your favorite instructional counterexamples? Jesse Madnick 2010-04-05T05:59:01Z 2010-04-05T05:59:01Z <p>I've always been fond of the popcorn function (aka Thomae's Function), which is given by $f\colon \mathbb{R} \to \mathbb{R}$ via</p> <p><code>$f(x) = \begin{cases} \frac{1}{n} &amp; \mbox{if } x = \frac{m}{n} \in \mathbb{Q} \\ 0 &amp; \mbox{if } x \notin \mathbb{Q}. \end{cases}$</code></p> <p>This function has a couple of amusing properties.</p> <p>(1) It is upper semicontinuous on $\mathbb{R}$, yet has a dense set of discontinuities (every one of which is removable) (namely $\mathbb{Q})$.</p> <p>(2) Since it is bounded and has a set of measure zero as its set of discontinuities, it is Riemann integrable. So if we consider $g(x) = \int_0^x f(t)\ dt$, we see that $g \equiv 0$, so that $g'(x) \not \hskip 2pt = f(x)$ on a dense set.</p> <p>References: <a href="http://en.wikipedia.org/wiki/Thomae%27s_function" rel="nofollow">http://en.wikipedia.org/wiki/Thomae%27s_function</a> and of course "Counterexamples in Analysis" (Sec 2.15-2.17)</p> http://mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts/44742#44742 Comment by Jesse Madnick Jesse Madnick 2013-02-24T23:29:36Z 2013-02-24T23:29:36Z And here I was thinking the standard proof was just the Integral Test for series convergence. http://mathoverflow.net/questions/122698/how-to-find-the-norm-of-these-bounded-linear-functionals Comment by Jesse Madnick Jesse Madnick 2013-02-23T07:40:17Z 2013-02-23T07:40:17Z This question isn't appropriate for MathOverflow, which is (largely) for research-level questions. You'll have better luck if you ask your question here: math.stackexchange.com http://mathoverflow.net/questions/5353/how-to-respond-to-i-was-never-much-good-at-maths-at-school/5931#5931 Comment by Jesse Madnick Jesse Madnick 2013-01-12T09:48:18Z 2013-01-12T09:48:18Z It's interesting. Pretty much everyone I know would agree that it's not a good thing when elementary school teachers tell their students that they didn't like math, either. And yet I can think of more than a handful of those same people (grad students and professors) who would have no problem telling their calculus classes that they don't like calculus, or that it's not &quot;real&quot; math somehow... http://mathoverflow.net/questions/118188/i-need-lots-and-lots-of-mathematics-problems-algebra-to-calculus Comment by Jesse Madnick Jesse Madnick 2013-01-06T07:43:09Z 2013-01-06T07:43:09Z This website is for research-level questions. You might have more luck if you ask your question on <a href="http://math.stackexchange.com" rel="nofollow">math.stackexchange.com</a> instead. http://mathoverflow.net/questions/116120/softness-vs-rigidity-in-geometry/116141#116141 Comment by Jesse Madnick Jesse Madnick 2012-12-12T11:55:45Z 2012-12-12T11:55:45Z Funny, I would've said that when doing geometry, you either fall into algebra or analysis. In fact, it seems to me that the more &quot;rigid&quot; your geometry is, the more likely you are to fall into one of the sides. By contrast, &quot;softer&quot; geometries can rely on topology. http://mathoverflow.net/questions/114626/fundamental-motivation-for-several-complex-variables/114728#114728 Comment by Jesse Madnick Jesse Madnick 2012-11-28T23:04:09Z 2012-11-28T23:04:09Z That's fair. In truth, I'm still rather ignorant about harmonic functions and their properties. I don't mean to suggest that reason (1) is the only reason one would care about them, but simply that it's a primary reason that I do (again, given my ignorance). http://mathoverflow.net/questions/35880/how-to-escape-the-inclination-to-be-a-universalist-or-how-to-learn-to-stop-worry/42210#42210 Comment by Jesse Madnick Jesse Madnick 2012-10-11T01:16:31Z 2012-10-11T01:16:31Z &quot;Maybe the bred desire that you mention is (or is related to) the emphasis on 'theory building'. Yes, theory building is great, but I personally see it through the lens of problem solving.&quot; Okay, but what if one is far more interested in theory building than problem solving, or if theory-building IS the lens by which one views things? http://mathoverflow.net/questions/5353/how-to-respond-to-i-was-never-much-good-at-maths-at-school/5661#5661 Comment by Jesse Madnick Jesse Madnick 2011-06-29T08:54:44Z 2011-06-29T08:54:44Z &quot;What makes some of you think the 'math' people learned in school is 'not real'?&quot; Just for that one line I would upvote your comment ten times if I could. For me it is extremely refreshing to hear a professional mathematician question that line. Thank you for that. http://mathoverflow.net/questions/21881/how-should-one-present-curl-and-divergence-in-an-undergraduate-multivariable-calc/21908#21908 Comment by Jesse Madnick Jesse Madnick 2011-04-05T10:08:54Z 2011-04-05T10:08:54Z To be pedantic, I think technically it's $\text{curl} = \sharp \circ \ast \circ d \circ \flat$, but no matter. http://mathoverflow.net/questions/43950/meaning-of-subset-notation Comment by Jesse Madnick Jesse Madnick 2010-10-28T07:34:15Z 2010-10-28T07:34:15Z I have seen $A \Subset B$ mean that the (topological) closure of $A$ is contained in $B$, but I'm sure there are plenty of other uses as well. Could you perhaps provide some context? http://mathoverflow.net/questions/3951/memorizing-theorems/3960#3960 Comment by Jesse Madnick Jesse Madnick 2010-10-05T05:37:40Z 2010-10-05T05:37:40Z +1 for the first sentence. Memorization is certainly not a substitute for understanding -- and really, who would ever claim that it is? -- but it's sometimes just so useful! Especially in areas like real analysis where theorems can have multiple hypotheses and omitting even one of them can render the theorem false (think Dini's Theorem), sometimes it just saves time and stress to sit down one day and memorize it. Also, the &quot;modes of convergence&quot; diagram is wonderful. http://mathoverflow.net/questions/7834/undergraduate-differential-geometry-texts Comment by Jesse Madnick Jesse Madnick 2010-09-21T04:31:36Z 2010-09-21T04:31:36Z Well, I never said I didn't like do Carmo (although I must admit, it's not among my favorites) -- it's simply that at the time of this posting, I wasn't really aware of any alternatives. Basically, I just wanted to explore other treatments of the subject. When learning a subject, I almost always use at least two texts simultaneously. http://mathoverflow.net/questions/37458/converse-of-picards-big-theorem/37459#37459 Comment by Jesse Madnick Jesse Madnick 2010-09-02T06:23:37Z 2010-09-02T06:23:37Z Just to expand on Jonas' comment that &quot;You don't need anything near the strength of Picard's theorem,&quot; note that $a$ is an essential singularity of $f(z)$ if and only if the image of any punctured disc centered at $a$ is dense. In fact, this is often taken as the definition of essential singularity. http://mathoverflow.net/questions/37085/calculus-derivitives Comment by Jesse Madnick Jesse Madnick 2010-08-29T21:06:06Z 2010-08-29T21:06:06Z Or -- not research-level per se -- but rather: questions that would be of interest to mathematicians. In particular, homework questions are discouraged. http://mathoverflow.net/questions/37085/calculus-derivitives Comment by Jesse Madnick Jesse Madnick 2010-08-29T21:04:11Z 2010-08-29T21:04:11Z Please see the FAQ for the types of questions that should/shouldn't be asked on this site. This site is primarily for research-level questions. A site that is perhaps more suited for your question is math.stackexchange.com