2
$\begingroup$

I have two questions regarding how two concepts that involve complex valued functions may come up in a natural way. (Non-natural ways are: These concept come up in order to present a unified theory, for the sake of generalization etc.; natural ways are: These is a specific problem that can only be solved if we use complex-valued functions, complex-valued functions help us to make arguments shorter etc.)

The first is the Lebesgue integral for complex-valued functions. The second is a complex Hilbert space (an example of which, to make a connection, are the $L_p$ spaces of complex-valued functions).


Remarks (except the first one, the EDIT, these are not essential for the above question, if you don't have the time to read them):

  • EDIT: Since a lot of answer essentially said "when building up our theory you just generalize [to complex-valued functions] because you can - and much later it will turn out that the generalization will have benefits" consider the following way of approaching how to learn a new mathematical theory.
    You take the perspective of me inventing it, with the textbook being our oracle and giving you a constant stream of sudden insight. Since developing/inventing a theory takes hard work, you need a strong incentive to do so. Merely generalizing for the sake of it won't do! So for example suppose I had already developed complex analysis. (This itself is easily motivate-able, because after rigorously arriving at these mysterious complex numbers, which turned out to be useful to solve equations, you can ask yourself: Can you also do analysis with these new numbers ? And there you have the motivation for developing complex analysis.) But why go further ? At this point intrinsic mathematical interest is exhausted and unless a compelling reason is give, you wouldn't go further, e.g., generalize this again and again to the holomorphic function calculus (which is mentioned in one answer below).
    Now I'm not saying you shouldn't generalize, I'm just saying that at this point I don't know the applications/reasons etc. that make that effort worthwhile - and finding these applications/reasons is precisely what I'm after. The easier it is to describe these motivations, the better. The also don't need to be historically accurate.
    To give an example for the statement from the last sentence: Today no one would use as a first motivation for the concept of a group the fact that they arose as permutation of roots of equations of fifth order - as it was historically the case. Instead, today one simply notices some of the many examples of groups that come up in the most basic of mathematical constructions, such as $(\mathbb{R},+)$ and uses the prevalence of these structures as a motivation of distilling their common properties in the group axioms.

  • For the (unsigned) Lebesgue integral for $[0,+\infty)$-valued functions there is an easy, natural way in which it comes up: The geometric question what kind of integral one gets if one substitutes the Jordan content of the "area under the graph" of the functions, which gives the Riemann integral, with the Lebesgue measure. Since the Lebesgue measure - and more generally, the question of what it means to measure something - itself also enjoys nice geometric descriptions, so this entire approach is a natural line of questions.
    (With a bit of a stretch one may also say the Lebesgue integral for $\overline{ \mathbb{R}}$-valued functions (which have to absolutely integrable) comes up naturally. But I can't see any natural motivation that allows the further generalization of the Lebesgue integral to $\mathbb{C}$-valued functions.)

  • For Hilbert spaces I beg you not to mention the complex-valued Hilbert spaces which come up in quantum mechanics: I understand nothing of theoretical physics so using this as a motivation won't help me (and if this is the only motivation, I'd be disappointed of the concession mathematics makes to physics by inventing a whole class of spaces just for them). Other than that I don't know of any complex Hilbert space that arise naturally. If one wants to solve PDEs, apparently the main application of Hilbert spaces, it seems that all relevant Hilbert spaces are real. The properties of complex Hilbert spaces can readily be abstract from concrete spaces (like the $L_p$ spaces for complex-valued Hilbert spaces), but a natural way in which they come up is unknown to me.


$\endgroup$
10
  • $\begingroup$ Here is an example of a concept, just like the above, that usually are introduced in textbooks in a similar unsatisfying manner of not providing a natural example where these concepts are needed: The generalization of differentiation from $\mathbb{R}^d$ to Banach spaces ("nonlinear functional analysis"). This is usually presented as a generalization for the sake of doing it. Only later, when doing PDEs, one learns that one can, e.g., reduce a concrete PDE to an ODE on an infinitedimensional Banach space and then it makes sense to develop analysis for Banach spaces. $\endgroup$
    – temo
    Feb 27, 2016 at 4:59
  • $\begingroup$ Calculus exists due to classical mechanics. Many mathematical concepts are inspired by weird physical counter parts. $\endgroup$
    – user251257
    Feb 27, 2016 at 6:59
  • $\begingroup$ Your definition of natural is rather weird. It is an extremely natural development in mathematics to look for unified presentations of several things that are felt to be the same thing in different avatars. That sort of unification, along with the sort of problems you do think to be natural motivations, one of the vital forces of the mathematical enterprise. $\endgroup$ Feb 28, 2016 at 18:49
  • $\begingroup$ @MarianoSuárez-Alvarez Yes and no. If you think of category theory, I'd agree immediately, because it really does provide you with a better understanding of many mathematical theories, if you can recognize their "categorical core". But I can't see why simply generalizing several concept to complex-valued would provide me with a better understand of anything I already have or which kind of applications absolutely need complex valued stuff (I'm of course aware of the use of methods from complex analysis in real analysis, but this is a different example, because [...] $\endgroup$
    – temo
    Feb 28, 2016 at 19:08
  • 1
    $\begingroup$ If you do not think that extending concepts to the complex domain is helpful, I venture that you do not know enough math. As I said, this is an observation based on actual mathematical practice, not an analytic conclusion. $\endgroup$ Feb 28, 2016 at 19:09

3 Answers 3

6
$\begingroup$
  1. The first main reason: the Fourier transform is most naturally defined in the realm of complex functions. Restricting oneself to real function spaces makes the theory of the Fourier transform far too unwieldy, and the Fourier transform is the gateway to virtually everything interesting in analysis and its related topics.

  2. The second main reason: spectral theory is also very unwieldy in real function spaces. This is in fact already obvious in finite dimensions: the spectral theory of a real matrix is much more cumbersome than that of complex matrices, because the fundamental theorem of algebra fails over the real field. This advantage of the complex numbers becomes only more apparent once we move into spectral theory in infinite dimensions; in particular, the holomorphic functional calculus is only available if we allow ourselves the complex scalar field. It's not as if linear operators defined on real Banach spaces are uninteresting, but typically such operators can be extended naturally to some corresponding complex Banach spaces (e.g. real $L^p$ to complex $L^p$; more concretely, like how every real matrix can be regarded as a complex matrix) and there is so much more we can say about their spectral theory in this setting.

Some less important reasons, and some examples:

  1. If you're willing to accept complex analysis as interesting, then Banach spaces of holomorphic functions are also manifestly interesting. There are two main classes of commonly studied function spaces that are inherently complex: the Hardy spaces and the Bergman spaces. As it turns out these are not of purely mathematical interest. Hardy spaces are important objects of study in harmonic analysis and give us some useful spaces for PDE and control theory. I know next to nothing about Bergman spaces other than what's in an appendix of Reed & Simon on the Bergman kernel, but it is one example of something called a reproducing kernel Hilbert space, which is of interest in machine learning among other things.

  2. Expansion on 1 & 2: if one wants to solve PDEs, then it is far from the truth that all relevant spaces are real, even if the PDE is not inherently complex (as is the case for several dispersive equations, e.g. Schrodinger and the like). Especially for the theory of linear PDEs, the prominence of Fourier transform and spectral theory techniques and the fact that these are particularly well-suited to complex function spaces means it's usually more convenient to work in a complex Banach space. Moreover, for linear PDEs one can obtain real solutions to homogeneous equations by taking real and imaginary parts of complex solutions, so by working in complex spaces you often gain extra tools and ease of notation while losing very little of the actual ability to solve problems.

  3. Follow-up to 4: one space can be represented in several different ways, and depending on the problem having multiple viewpoints on the same Banach space can be useful. For example, the Sobolev spaces $W^{2,p}(\mathbb{R}^n)$ are typically defined as spaces of measurable functions with $p$-integrable derivatives up to second order. But if one allows (as one typically does) complex functions in the definition, then one can also define them using Fourier multipliers. This viewpoint is particularly useful to problems where the Fourier transform is relevant, such as dispersive equations; it also connects your problem to harmonic analysis and tempered distributions, which may give you additional tools to work with.

$\endgroup$
11
  • $\begingroup$ This is a thorough answer, but unfortunately it doesn't quite cover what I'm looking for. To better illustrate this, consider the following way of approaching how to learn a mathematical theory. You take the perspective of me inventing it, with the textbook being our oracle and giving you a constant stream of sudden insight. Since developing/inventing a theory takes hard work, you need a strong incentive to do so. Merely generalizing for the sake of it won't do! So just because something is a bit unwieldy you won't set up a big theory, just [...] $\endgroup$
    – temo
    Feb 28, 2016 at 18:38
  • $\begingroup$ «just because something is a bit unwieldy you won't set up a big theory» That is not true. If a theory is unwieldly, then its users will notice that that unwieldedness is an obstacle to applying it in contexts where they feel it should apply and where they cannot apply because of what they may feel are circumstancial problemas. $\endgroup$ Feb 28, 2016 at 18:45
  • $\begingroup$ [...] get rid of the unwielded-ness. Yes, spectral theory for complex matrices is more "complete" than for real ones, but why should you do the effort, to set up such a theory ? Intrinsic mathematical interest is limited. Thus , why should continue with something like holomorphic functional calculus ? (I'm not saying you shouldn't, I'm just saying that I don't know the applications etc. that make that effort worthwhile. and finding these applications is precisely what I'm after.) (The "gut" of these comments I incorporated in an edit of my question.) $\endgroup$
    – temo
    Feb 28, 2016 at 18:48
  • $\begingroup$ @MarianoSuárez-Alvarez Yes, I knew I was a bit dishonest when I said that and hoped, no one would notice it, saving me from further explanations :) In the sense that analysis is more unwieldy with the Riemann than the Lebesgue integral, I agree that this type of unwieldy-ness necessitates the invention of the Lebesgue integral (though I wouldn't use this as a first motivation for the Lebesgue integral). But already in the context of spectral theory for real matrices I can't see any compelling use (from the perspective of an inventor of a mathematical [...] $\endgroup$
    – temo
    Feb 28, 2016 at 18:52
  • $\begingroup$ [...] theory, not from the perspective of, say, a student having to learn a subject to avoid failing a course) to generalize this to complex spectral theory. Yes, doing so would be mathematically pleasing, because the results are nicer - which might motivate dabbling a bit into this generalization. But setting up the full-blown theory at present seems not to make up for the effort, because I don't know any compelling application or motivation for doing so (again, from the perspective of someone inventing a theory). [...] $\endgroup$
    – temo
    Feb 28, 2016 at 18:59
3
$\begingroup$

In addition to, and reiterating some points of, @TrialAndError's good answer and comments:

First, agreed, textbooks very often do a lousy job of explaining why we'd care about some generalization-or-other. Apart from the usual corruptions of textbook writing, this is substantially due to the style of inverting examples and "definitions/theorems": instead of giving examples which compel and/or predict theorems (and essentially determine definitions, up to meaningless differences), the style is to first give formalizations which, in fact, were the result of long experimentation with many examples that arose in their own right.

Another bad possibility is invention of fake history, or fake dialectics, giving supposedly-easily-understood reasons for why we do things the way we do. Again, the genuine history is often much more complicated than textbooks pretend, and tangled up with many other issues. But those complicated, real-life-math issues mandated innovation. Not idle generalization or axiomatization. E.g., Cantor invented set theory to try to understand pointwise convergence of Fourier series, and many of the early 20th-century set theory and point-set topology continued in that vein. Instead, as in calculus taught to students who don't know any science, it is common to make up fake applications, which are mostly unconvincing and visibly contrived. Leaky conical water tanks, forsooth!

Complex numbers arise inevitably in looking at the solution by radicals of the cubic, even if all the roots are real.

Discovery of multiply periodic functions (=elliptic functions) by inverting elliptic integrals like $\int_0^x dt/\sqrt{t^3+1}$, and more-periodic (="abelian" functions) in the very early 19th century made the complex numbers inescapable, because the "periods" were not usually real.

Riemann's celebrated 1858/59 paper on the zeta function (and distribution of prime numbers) showed that there were infinitely-many complex roots of the analytically-continued zeta, and (in case one thought the previous was just a fantasy) that the location of these tightly controlled the distribution of prime numbers (arguably a tangible, not-made-up thing!) (No, we do not know exactly why Riemann did this. Probably experiments to try to make progress on proving the Prime Number Theorem.)

That is, in the tumult and chaos that is genuine mathematics, one is eager to pursue any experimental avenue that has some hope of breaking log-jams... It is not so common to say that "pure mathematicians" experiment, but if we look at what they're literally doing, they are indeed experimenting with different possibilities, noting what happens, and proceeding to the next. Thus, in various situations, complex numbers, complex vector spaces, complex function theory, etc., all were discovered to have remarkable utility. So these ideas are "keepers". The "losers" are not so often reported, so we don't so easily know ...

Edit: Why complex rather than real vector spaces and Hilbert spaces? Well, @TrialAndError already really explained, but perhaps some reiteration and addition is worthwhile. Indeed, the Sturm-Liouville spectral theory starting c. 1833, up through Bocher's and Steklov's (and others') completion of many details c. 1896, real vector spaces seemed fine, and reflective of much physical reality besides. c. 1900, Hilbert, Schmidt, Fredholm, Volterra, and many others succeeded in giving rigor to PDE (as opposed to ODE, basics dealt with well by Picard a few years earlier) by converting them to "integral equations". In happy circumstances (compact self-adjoint compact operators...), the real-vector-space ideas similar to Rayleigh-Ritz method for finding eigenvalues still succeeded. No imperative to look at complex numbers, perhaps. The applecart was upset a good bit by the advent of the (very successful) "mathematics" of quantum mechanics in the 1920s, in the hands of Dirac and others. Then as now, "observables" were (typically) unbounded "self-adjoint operators" on (sure, real, for a moment) Hilbert spaces. For example, in the simplest case, multiplication by $x^2$ and $d^2/dx^2$ on square-integrable functions on the real line, and the "Schrodinger operator" for the "quantum harmonic oscillator", $-d^2/dx^2+x^2$. The problem is that this isn't really defined on $L^2(\mathbb R)$, real-valued or not. But physicists did not care about this too much. Apparently some mathematicians were unhappy with the state of affairs, e.g., J. von Neumann, who in 1929 gave a rigorous criterion for extendability of "(obviously) symmetric" operators to (genuinely) self-adjoint... in terms of complex eigenspaces for the adjoint of the given operator. I do not know of any simpler way to formulate this. (Hilariously, supposedly Dirac, when told of the great accomplishment of distinguishing "symmetric" from "self-adjoint", expressed inability/disinterest in the distinction.)

Indeed, from what I have read, Banach formulated much of his work on real vector spaces... And, for example, the Hahn-Banach theorem is really a theorem on real vector spaces, with the complex case a mere corollary.

$\endgroup$
2
  • $\begingroup$ +1 First: I must confess it feels good when a professor agrees that textbooks provide bad motivation - and yes what you write makes perfect sense! (Do you know of any introductory textbooks - say at the level of a beginning graduate student, no matter which subject, I just like to know of them for future reading - that do not do a lousy job regarding motivation ? Where the ordering of motivating examples and theorems/definitions isn't inverted ?) $\endgroup$
    – temo
    Feb 28, 2016 at 22:18
  • $\begingroup$ Second: Wow, these are some amazing reasons to study complex numbers/analysis. I actually can't remember when was the last time mathematical connection thrilled me in such a way! (May I respectfully ask if you perhaps know of any similar *amazing*/compelling reason to specifically study complex Hilbert spaces ?) $\endgroup$
    – temo
    Feb 28, 2016 at 22:22
2
$\begingroup$

Natural is a subjective term (outside of category theory!), so what is natural to me may not be natural to you.

That said, I think that Fourier analysis is an example where complex $L^p$ spaces and complex Hilbert spaces are very natural. This is especially true for Fourier analysis on general locally compact abelian groups.

$\endgroup$
2
  • $\begingroup$ Well I have defined what I mean by "natural" in my question, so there shouldn't be any amount of vagueness to what I mean :) $\endgroup$
    – temo
    Feb 28, 2016 at 18:11
  • $\begingroup$ Regarding our example: You need those spaces to do Fourier analysis, so you can't motivate them by Fourier analysis. (It won't work to say something along the lines: There are these methods, collectively known as "Fourier analysis", that I'm doing in the "void", and then I'm using them as motivation to find spaces I can use to fill this void.) $\endgroup$
    – temo
    Feb 28, 2016 at 18:15

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .