Complex analysis: Exp, log, sin, cos

This lecture is part of an online undergraduate course on complex analys
We show how to extend the elementary transcendental functions (exp, log, sin, cos, and so on) to complex numbers. In particular we describe Euler's discovery that exponential and trigonometric functions are essentially the same, and give some applications.
For the other lectures in the course see • Complex analysis

Пікірлер: 30

  • @RolandThePaladin1
    @RolandThePaladin13 жыл бұрын

    Making videos such as this should be regarded as legitimate mathematical work. Academia shouldn't be solely about publishing papers.

  • @annaclarafenyo8185

    @annaclarafenyo8185

    3 жыл бұрын

    It's called 'public outreach', and it's considered a minor part of the work. In this case, for Borcherds, it's an unbelievable service, because of how obscure commutative algebra and schemes are outside of the small clique of algebraic geometers.

  • @davidherrera4837

    @davidherrera4837

    3 жыл бұрын

    ​@@annaclarafenyo8185 The typical presentation of essentially reading and explaining what is in the book with drawing pictures can be helpful but still hard to get through, but Borcherds takes explanation to a different level.

  • @franciscodanieldiazgonzale2096

    @franciscodanieldiazgonzale2096

    2 жыл бұрын

    It is not public outreach as in: I am promoting myself, or my department or my university. He started it because Covid and the online system for lectures in Bekerley at that time had issues and he decided to put them on youtube (his exact words). What it is not clear is why he decided to carry on and populate a channel with wonderful graduate and advanced undergraduate lectures in topics not available anywhere else (apart of lecture notes in text form). He didn't answer that question yet. He only said: I'm surviving right now like everybody else. And nobody knows what will happen when the campuses are fully open again. These are lectures, and they are a bit less fully detailed than in some classrooms but not so much so. In a British classroom they are absolutely fine. It points you to the main topics without digging too much, it creates the criteria to be able to learn yourself, as now you have the gist about what it is critical to study and what is not. What we don't have is the exercises and the tutorials to go back with our doubts. That will be the full experience.

  • @andreashartel5577
    @andreashartel55773 жыл бұрын

    This channel is just so much fun. It's an island of beauty in this sea of boring videos called KZread

  • @petergentoac
    @petergentoac2 жыл бұрын

    Thanks very much Prof. Borcherds, you're an amazing teacher! We're very lucky that you've produced these videos.

  • @nicolasmatusdelaparragutie4983
    @nicolasmatusdelaparragutie49833 жыл бұрын

    I just want to express how much I'm loving this lecture sequence. Just as I had decided to brush up on complex analysis by following Freitag's book, someone mentioned that you were doing a series of lectures on complex analysis and I knew I just had to check it out.

  • @user-jc2lz6jb2e
    @user-jc2lz6jb2e3 жыл бұрын

    I took a DiffEq class 5 years ago, and for linear homogeneous equations with constant coefficients, we were taught to use the characteristic polynomial. I didn't think much of it and just treated it like a magic box. It never crossed my mind that we get it from substituting y = exp(lambda*x) and then dividing the equation by this exp. Seeing it now makes it obvious and makes me feel like an idiot.

  • @caspermadlener4191

    @caspermadlener4191

    Жыл бұрын

    This can also be explained with umbral calculus. You get make these differential equations discrete, and even directly turn them into polynomials.

  • @ryanmckenna2047
    @ryanmckenna20473 жыл бұрын

    Thank you for these videos, you explain it so much better than any other sources I have come across. The extra detail is helpful as I come from a software engineering background and it is difficult to find material that explains advanced topics in an accessible way.

  • @sammyboy7094
    @sammyboy70943 жыл бұрын

    A pleasure, as always

  • @leandrocarg
    @leandrocarg3 жыл бұрын

    Hello professor Borcherds, I know that you take suggestions for future courses in polls, but still I'm very much interested (and many others as well) in understanding the mathematical framework for Eric Weinstein's theory of geometric unity. If you are familiar with Weinstein's work then please consider making some videos for us mere mortals to understand it. Kind regards. PD: it's such an honor to have you in the KZread maths community.

  • @richarde.borcherds7998

    @richarde.borcherds7998

    3 жыл бұрын

    I'm not familiar with geometric unity, and I was unable to find any published accounts of it beyond a few newspaper articles from 2013, so unless I find something else I will not be able to say anything about it.

  • @leandrocarg

    @leandrocarg

    3 жыл бұрын

    @@richarde.borcherds7998 a paper will be published on the first of april according to Eric. I will comment on your latest video when any information comes out. Thank you so much professor Borcherds!

  • @theDemong0d

    @theDemong0d

    3 жыл бұрын

    @@leandrocarg physical theories can't really be approached from a pure math perspective. The math in that context is just a tool, and understanding it is not enough to understand the physical significance of the theory, to temper your expectations a bit.

  • @MitchellPorter2025

    @MitchellPorter2025

    3 жыл бұрын

    @@leandrocarg The framework for it ought to be quantum field theory, but it is unclear whether the theory is actually well-defined, see the critique by Nguyen and Polya

  • @hannesstark5024
    @hannesstark50243 жыл бұрын

    Nice one. Thanks.

  • @taghreednaser1886
    @taghreednaser18862 жыл бұрын

    Many thanks

  • @FractalMannequin
    @FractalMannequin Жыл бұрын

    Small typo in 23:11; I think the equation should be: a \lambda^2 e^{\lambda x} + b \lambda e^{\lambda x} + c e^{\lambda x} = 0.

  • @migarsormrapophis2755
    @migarsormrapophis27553 жыл бұрын

    yeeeeeee

  • @drakoz254
    @drakoz2543 жыл бұрын

    Hi Dr. Borcherds! You mention in the lecture that the exp map from R+ to R× is injective but not surjective. I was under the impression that this was an isomorphism of groups, because log is a precise inverse of exp so long as the input is nonzero, and the underlying set of R× is R\{0}. Am I wrong? Are there weird properties of exp and log I don't understand? As always, thanks for the lectures; they are a much more productive thing to watch before bed than almost any other content.

  • @constantijndekker8343

    @constantijndekker8343

    3 жыл бұрын

    I think exp does not reach negative output for any real numbers, so it is not surjective. If you take R^* = R \ {0} that is. However, perhaps there is also the multiplicative group of positive real numbers (which is actually the subgroup of squares in R^*) and exp is an isomorphism between R^+ and that group, and log is it’s inverse.

  • @drakoz254

    @drakoz254

    3 жыл бұрын

    @@constantijndekker8343 you're absolutely right, exp can't reach negative values. How silly of me! So it is an isomorphism to the posotive half, but only surjective to the whole group. Cool!

  • @radoonridoan7231
    @radoonridoan72313 жыл бұрын

    I didn't understand what "kernel" means If it means the preimage of the identity element, shouldn't the exponential map from reals under addition to reals under multiplication have kernel {0}? Since e^0 = 1, the identity of reals under multiplication

  • @richarde.borcherds7998

    @richarde.borcherds7998

    3 жыл бұрын

    Yes. If I said something else it was a slip of the tongue.

  • @radoonridoan7231

    @radoonridoan7231

    3 жыл бұрын

    @@richarde.borcherds7998 ok, thanks mr. Borcherds

  • @meiliyinhua7486

    @meiliyinhua7486

    2 жыл бұрын

    didn't he mention the kernel was {2nπi | n ∈ Z}? (well, this is equivalent to the statement used in the video) Am I misreading the main comment which seems to assume a one-to-one mapping? 0 is included in this mapping, but it is not the entire kernel due to the non-uniqueness of the inverse

  • @tung-hsinliu861
    @tung-hsinliu8612 жыл бұрын

    Me looking at the thumbnail: explosion, cost tons.

  • @hasirama
    @hasirama2 жыл бұрын

    I really hope the person who disliked this video gets professional help

  • @dacianbonta2840
    @dacianbonta28402 жыл бұрын

    chemists use "log" for logarithm in base 10 smh