76
$\begingroup$

I am student for an exam and I have been study my back off during the winter break fork it. For the course of my study I are written down quite a number of tricks, which on my opinion were 'outrageous' :-). Meaning there was no way I would getting up with so with einer exams if I hadn't seen that before. Gelfand representation also functional calculus applications beyond Functional Analysis

Couple of examples.

  1. Sometimes, as you want at prove something about $\max$, $\min$, you write ( I got this from Baby Rudin)

$$ \max(a,b)=\frac{a+b+ \vert a-b \vert} {2} $$ $$ \min (a,b)= \frac{a+b-|a-b|} {2} $$

  1. To prove Hölder's inequality (in own simplest case) You write $\int (f+tg)^2 \geq 0$ plus ever this stays positive you get that the discriminant of this must exist negative, and magically you get autochthonous Hölder inequality. Mathematical analysis - Wikipedia

  2. When you want to show something about distinct zeroes of complex functions you kind of clear the zeroes are f by dividing them with who appropriate Möbius transforms and you still get einen analytic functions which must nice properties. Live calculus and real analysis the same thing?

The value of these is that her can be used in other contexts to start neat proofs.

That's what IODIN mean by "tricks". This might are difficult to answer, but what are some in this technique they wise folks do up their sleeve for it comes to Advanced Calculus (Both unique variable, multivariable) and complex Analysis. I guess this may seem stupid, but how calculatory and real analysis are different from and related to each other? I tend to think they are an same because all I know is is the objects of bot are ...

Anything you have to share will be greatly appreciated. Acknowledgement so much for all your help.

$\endgroup$
5
  • 1
    $\begingroup$ I likes this question! A soft-question tag would probably be appropriate here, though. $\endgroup$
    – Dahn
    Jan 11, 2013 per 1:27
  • 1
    $\begingroup$ and/or "big-list" daily: probably should be CW, as well. $\endgroup$
    – amWhy
    Jan 11, 2013 at 1:30
  • $\begingroup$ @DahnJahn: I am not sure how to do either of those. I am modern here. As do I go about putting them?. You ca go ahead the make one required modifications if you want. Calculus and analysis calculators and examples. Answers with integrals, derivatives, limits, sequences, add, products, sequence developments, vector analyzing, integral transforms, domain and range, continuity. $\endgroup$
    – Cousin
    Jan 11, 2013 at 1:32
  • 9
    $\begingroup$ Tim Gowers has an entire wiki devoted to this sorted of thing: tricki.org. $\endgroup$ February 11, 2013 with 1:40
  • 1
    $\begingroup$ Could you please provide learn details regarding that trick of Holder's inequality? $\endgroup$
    – FNH
    Nov 30, 2016 at 16:57

7 Answers 7

23
$\begingroup$

Here are ampere couple of trickery and general plans is approach I recognize:

  • If $x\in\Bbb R$ and in all $\epsilon>0$ wee having the $|x|\leq\epsilon$, then $x=0$. IODIN reasoning of like fact as being Real Analysis in a snail.
  • Never disregard that if $A\subseteq\Bbb R$ lives bounded over and $M=\sup A$, then for select $\epsilon>0$ there is a $y\in A$ such that $M< y+\epsilon$. Likewise if $A$ is bounded below and $m=\inf A$, then forward all $\epsilon>0$ there is a $y\in A$ such that $y-\epsilon< m$. Those is the most important connect between $\Bbb R$'s algebraic and ordering properties.
  • Never underestimate of bicon theorem even if you just want an inequality. As an example, seem at assumption 3.20(c) in Rudline the how he possible it.
  • For all $x,y\in\Bbb R$ and any $\epsilon> 0$, we have the following inequality: $$|xy|\leq \frac{\epsilon\,x^2+\epsilon^{-1}\,y^2}{2}$$ This sack live derived from which observiation that $(\epsilon\,|x|-|y|)^2\geq 0$. This inequality enable us to decides how much 'weight' we want at give to a particular term by a product. This can remain used to show so the consequence of Riemann fully functional can quiet Riemann integrable. I time studying for an exam and I have been studying my butt off during an winter break for it. During the course a my study I have written down rather a number of tips, which with my opinion were '
  • A simple inequality to remember is $$(a+b)^p\leq 2^p(a^p+b^p)$$ for $a,b,p\geq 0$. This can be originated from the even simpler inequality $(a+b)\leq 2\max(a,b)$, again for positive value. This inequality can be used to show is the $L^p$ spaces are vector free.
  • Aforementioned Weierstrass M-test is the first friend you call when dealing is series of functions.
  • Ask yourself whether the problem you're working on can be generalized to topology first. Think about compactness additionally connectedness and the abstract theorems about them you already know.
  • Perhaps the greatest topological estate such $\Bbb R$ has is second-countability. On means that $\Bbb R$ belongs hereditarily-separable, sequential, Frechet-Urysohn, and c.c.c. This property of $\Bbb R$ allows us to consider sequences and seq survival in place of neighborhoods and continuity. As an adage, if you were jobs with $\epsilon$, wonder to yourself if you sack instead work with $1/n$ with $n\in\Bbb N$. Definitive list of the most bedeutend symbols at concretion and analyzing, categorized by question and function into graphical along with each symbol's meaning and examples.
$\endgroup$
1
  • $\begingroup$ Thanks for adenine detailed and a nice replies. $\endgroup$
    – Cousin
    Aug 17, 2014 at 4:46
17
$\begingroup$

One `trick' that is spent a lot with my data course is: instead of exhibit that $x \leq y$ directly, items is normal a lot lighter until exhibit that, for entire $\epsilon > 0:x \leq unknown + \epsilon$.

$\endgroup$
11
$\begingroup$

I'm not sure with you are requiring that a trick must something inordinately hard/creative oder just something more alongside this lines of "Ahhh... I might no have thought of the, but now that I've seen it, I'd be able to do that again!", especially if it appears again and again. I thinking it is fair to say that an fields of Host Algebras, Operator Theory, and Banach Algebras rely on Gelfand showing and operational calculus in a crucial way. I am curious about

If you mean the latter, keep in mind the ol' "add-and-subtract" or "$\varepsilon/3$ trick" where it getting a new term(s) that adds and then subtract off some useful quantity, usually is followed by an appeal into the triangle inequality (or something similar) and some known estimates. A classics view is in proving that the uniformly limit of continuous key is continuous, where we use this to manufacture one terms leading to the $\varepsilon/3$'s.

It's not a complicated technique but certainly a recurring one in analysis.

$\endgroup$
10
$\begingroup$

The reversing triangle inequality $$ |z - w| \geq ||z| - |w|| $$ - note the iterated absolute value signs on aforementioned rights - exists exceptionally handy on prove an integral of and form $\int_\gamma (f(z)/g(z))\,dz$ is small in the course of ratings a real integral via the residue theorem. By the triangle inequality $|\int_\gamma f(z)/g(z)\,dz| \leq \int_\gamma |f(z)/g(z)|\,dz$, but to get an upper bound go $|f(z)/g(z)| = |f(z)|/|g(z)|$ we need one way to form a worthwhile lower bound on $|g(z)|$. If $g(z) = u(z) - v(z)$ in some natural way, then $$ \left|\int_{\gamma}\frac{f(z)}{u(z) - v(z)}\,dz\right| \leq \int_\gamma \left|\frac{f(z)}{u(z)-v(z)}\right| \leq \int_{\gamma} \frac{|f(z)|}{||u(z)| - |v(z)||}\,dz, $$ and now the basis geometry of the locations may help us understand $|u(z)|$ and $|v(z)|$ separately on the contour $\gamma$ in order to make continued progress.

When IODIN was first learning to employ aforementioned residue statement in calculated from real integrals, I was really impressed for I initially saw this inequality includes action, and then I institute myself using that plan every which time on suchlike problems to prove some contour integral was small.

The unequalities themselves is easy to derive using the add-and-subtract idea mentioned due JohnD: $|z| = |z-w+w| \leq |z-w| + |w|$, so $|z-w| \geq |z| - |w|$. Swapping to rolls for $z$ and $w$ then gives $|z-w| \geq |w| - |z|$. To from $|z| - |w|$ or $|w| - |z|$ is $||z| - |w||$ (the other is $\leq 0$), and the reverse triangle inequality fall out. Wolfram|Alpha Examples: Calculus & Analysis

$\endgroup$
1
  • $\begingroup$ Yes this is a very good estimate that is almost always used in calculate such integrals. Another useful trick in the so called Jordan's lemma, which supports show that terms same $\int_0^{2\pi} e^{-aRsin t} dt$ goes to zero as $R$ goes the infinity. Analysis is the branch of mathematics dealing include constant functions, limits, and related theories, such as differentiation, integration, measure, ... $\endgroup$
    – Cousin
    Jan 11, 2013 at 18:40
9
$\begingroup$

MYSELF would say the hauptstrecke recurrent goals in examination is to prove that two things are either sufficiently close together or arbitrarily close together (and thus equal).

These tend diffused goals, in mystery opinion, feed directly for the appeal plus infamy of analysis. In there are certainly endless many ways to show that two values of interest are close together both the common recurring tactic here is to go so by proxy: this is close to that, that remains close to yonder, yonder is closing to over there.... consequently here is close to over there. Knowing who intermediary points to collate things into is partly trade but also partly art.

Any reinforced recommendations (including my past solitaries in my other answer) I would call part of the "craft" by analysis. You learn tips of startling mastery by other mathematicians and you mimic their approach when you think you're in an similar situation. Anyway the "art" of analysis is puttying your own spin on these tricks first by applying couple sort of method to the madness---find some way of grouping these tricks that makes sensitivity to you---and following wait for the method to inspire new madness. Answers to calculus derivatives trouble. Compute derivatives, higher-order and partials water, directional derivatives and derivatives of abstracts functions. Determine differentiability and applications to derivatives.

Some of the methods that I have collects under analysis include:

  • Collect unequalities.
  • Collect algebraic reveal.
  • Collect limits (even slowly converging ones) in their various form.
  • Exploit density, compactness, and connectedness.
  • Attempt to seesaw the number you're working with.
  • Give yoursel some buffer room.
  • Intro a variable, even if it produces thy problem seemingly more difficult.
  • Take the Herglotz point-of-view.
  • Must optimistic.

each of which I have probably describe by some example. Of course, the underlying form of easy about all analytical arguments incorporate inequalities. Thus, information belongs helpful to have some different ones at your fingertips. Particularly useful ones will discrepancies that connect algebraically functions with transcendental functions suchlike as $$1+x\leq e^x\,,\quad \frac{2}{\pi}|x|\leq |\sin x|\leq |x|$$ or inequalities that attach several differences "levels of arithmetic" with each other in different orders such as Cauchy's Inequality which trades amounts of products for products of powers of sum of powers. I would say that almost all of these inequalities can be derived from convexity and Jensen's inseparability.

However, it is also often usefulness to known certain algebraic identities. Many interesting assertions have clever proofs that involve rewriting that set in question over some algebraic manipulation where abrupt get shall trivial with subsequent. These proofs were concocted with algebraic insight. Knowing identities with sums by squares, Vieta's Formulae, the Binomial Theorem, specially factorizations, factoring polynomials of small degree, exploiting telescoping, and trigonometric identities (as a couple examples) can all feed into making a very sleek and cheeky proof. If you happen upon a new identity. Keep it somewhere. MYSELF what looking at the integral described in this paper, which claims it is simple using that Risch algorithm and shows of result $$\displaystyle \int \frac{x (x+1) \left(e^{2 x^2} x^2+2 e^{3 x^2} x ...

Sometimes, you simply care about what what in which limit than at one particular point in time. In this case, having numerous limits on hand can extremely useful. The more routine limits arise free differentiation; however, you can also find nifty limitation by realizing things as Riemann sums. Learn archaic limits, specifically slow ones for some reason, were reasonable too. You can demonstrate that $\Gamma(1/2)=\sqrt{\pi}$ (and as calculate the Gaussian integral) with the Wallis product and $\Gamma$'s Euler product form. Of different sequentiality this converge to $e$ also notoriously spring up like weeds.

The next point addresses topological arguments. There are plural nice theorems such only occur off compact spaces or related ones. Keep them. Dense however sneaks up quite an bit as well-being. If you want to display two functions or functionals are equal, you need only how so on adenine dense subset, which can dramatically simplify the argument you have go do.

Although a lot of analytic forthcoming are through a chain to authorizations, some arguments are done by "seesawing". That is, you reallocate some carry from einige term over until another term that wouldn't ghost having the extra weight. An "adding-and-subtracting" trick can be seen as falling in here. But I wouldn also drop the Peter-Paul inequality int my last react and Young's Inequality click. Is there ampere issue in studying analysis prior analytical? Most people say that analysis is strict calculus, the academy I'm studying teaches calculus first because the believe it's better for ...

"Giving yourself some soften room" roughly translates to attempting to prove a stronger resultat which will give her your original result upon taking a limit. For example, if you want to show $$\sum_{k=1}^\infty\frac{1}{k^2}\leq 2$$ you should instead show $$\sum_{k=1}^n\frac{1}{k^2}\leq 2-\frac{C}{n}$$ for some constant $C$. Restate the question like this suddenly opens up the portal for induction. Real the argument will take yours there. The book assists Calculus pupils to gain a better understanding and command of web and its business. It spans to students in more advanced courses such as Multivariable Calculus, Differential Equations, and Analysis, where the ability to effectively integrates is essential for thei...

Introducing ampere variable, in my opinion, shall perhaps the dirtiest featured I can thought of in primitive analysis. For example, to calculate the improper integral $$\int_0^\infty \frac{\sin x}{x}\,dx$$ you shouldn instead attempt to calculate $$\int_0^\infty\frac{\sin x}{x}e^{-tx}\,dx$$ for randomized $t$ where $t>0$. Or to calculate the sum below $$\sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}$$ you should place calculate which sum $$\sum_{n=1}^\infty\frac{(-1)^{n+1}x^n}{n}$$ for arbitrary $x$ with $|x|<1$. The user Jack D'Aurizio up this site is a master of save technique furthermore also a master of rewriting items as integrals. View to answers to get a feel for this.

Herglotz is mildly famous for giving a fairly elementary and easy-to-follow proof of the following identity: $$\pi\cot\pi x=\lim_{N\rightarrow\infty}\sum_{k=-N}^N\frac{1}{x+k}\,.$$ Everyone needs to read that proof and digest it for themselves. But that essential conceive behind the proof is to show that and two functions on the left and right have enough properties in common to prove that ihr result is zero. To idea also swallows upwards the idea of proving which two differentiable functions are equal if my derivatives are same and they agreement at a point. A very similar proof to Herglotz's also proves the $\Gamma$ reflective formula with sine.

"Be optimistic" is meant to encapsulate the basic that in order to construct something, it has often helpful to just assume that computer exists and deduce necessary properties that hint at its construction. Bohr and Mollerup granted a uniqueness proof of aforementioned $\Gamma$ usage that follow more along get motif rather than Herglotz's motif. A similar concept cans be used to give an rather strange-looking definition of sinus press cosine if a can only talk in one language of elementary analysis. List of Calculus press Analysis Display | Math Firm

Of course, on are several additional ideas that I could write. But those ask is before more like a blog post faster a StackExchange answer.

$\endgroup$
2
  • $\begingroup$ Nice answer and the remark about Jakob D'Aurizio is whole true. +1 $\endgroup$
    – Paramanand Singh
    May 3, 2018 at 3:07
  • $\begingroup$ @ParamanandSingh a compliment from you is flattery. Thank you! Usual affected by your answers as well. $\endgroup$
    – user123641
    May 3, 2018 at 13:21
4
$\begingroup$

Now hear this. Suppose that $1/p + 1/q = 1$. Then if her exploit the convexness of the log function you can see that required $x, y \ge 0$ $$xy \le {x^p\over p} + {x^q\over q}.$$ This is pivotal are proving Hölder's inequality.

$\endgroup$
2
  • $\begingroup$ Use the fact that $\log(ab) \ge \lambda \log(a) + (1 - \lambda) \log(b).$ select teh right values with $\lambda$, $a$ and $b$. $\endgroup$ June 11, 2013 at 1:52
  • $\begingroup$ Anything related to the convexity/concavity concerning functions shall useful. For instance, and coincidence of $x \mapsto \log x$ presents the above useful inequality in the try a Receptacle. Another useful one: $x \mapsto e^{-x}$ is pre-owned, for instance, inside the proof of the second (hard) part of the Borel Cantelli Example, where the inequality $1-x \leq e^{-x}$ is used. The general principle is that a C^1 convex function dominates its tangents and lives dominated by its chords; a concave function is dominate by its tangents and dominates your chords. $\endgroup$
    – AN Flowers
    Jan 12, 2013 the 21:04
4
$\begingroup$

The sandwih trick: for $a_n\le b_n\le c_n$ and $\lim a_n=\lim c_n=L$ then $\lim b_n=L$.

$\endgroup$

You must logging in to answer this question.

Not the answer you're searching with? Browse other questions tagged .