Are all vector fields the gradient of a potential? ... and the Helmholtz Decomposition

Ғылым және технология

This video asks a classic question: are all vector fields the gradient of a potential field? The answer is no, but by understanding why, we prepare ourselves for potential flows in the next videos.
@eigensteve on Twitter
eigensteve.com
databookuw.com
This video was produced at the University of Washington
%%% CHAPTERS %%%
0:00 Introduction & Overview
7:49 Gradient Flows
12:12 Helmholtz Decomposition

Пікірлер: 64

  • @amyers2141
    @amyers21412 жыл бұрын

    I realized in the first 2 minutes that I was watching a superb teacher. I had learned all these things about irrotational flow and the Helmholtz equation, but to wrap up the whole subject concisely on a single blackboard while writing backwards is an amazing feat. Thank you!

  • @xellossek

    @xellossek

    Жыл бұрын

    I don't think he writes backwards, the image is simply flipped.

  • @Martin-iw1ll

    @Martin-iw1ll

    9 ай бұрын

    Yeah, he is left handed, just check his older videos that are presented with a conventional orientation

  • @marcosconceicao3223
    @marcosconceicao32232 жыл бұрын

    I am so amazed by your classes. Thank you very much!

  • @dsaun777
    @dsaun7772 жыл бұрын

    This is great! Keep up the amazing lectures they are gifts that we are grateful for!

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

    Absolutely amazing vector calculus series! You are an amazing resource! Cheers!!!

  • @salvatoregiordano9050
    @salvatoregiordano905011 ай бұрын

    This could not have been explained better. Thank you so much!

  • @individuoenigmatico1990
    @individuoenigmatico19906 ай бұрын

    Wait, we can derive ∇×(∇f)=0 if f is a C² function, in which case Clairaut's theorem conditions hold (and so the second partial derivatives of f in ∇x(∇f) cancel each other out to give us 0). But in theory F could still be the gradient of a function f which is not C², in which case it may very well be the case that curl(F)=∇xF=∇×(∇f)≠0. In general what I'm saying is that a conservative field F can still have curl(F)≠0, if it is the gradient of a potential function f which is not C². Indeed the formal definition of a conservative field is that: a vector field F is conservative if and only if there exists a C¹ (countinuously differentiable) function f such that F=∇f. [But if f is not C², Clairaut's conditions don't hold, so we might have curl(F)≠0.] A better proof that not all vector fields are conservative, is just an exemplification.

  • @justingreen8006
    @justingreen80062 жыл бұрын

    Excellent teaching!! Thank you 🙂

  • @ohault
    @ohault2 жыл бұрын

    This episode could be the right time to introduce Geometric Algebra to move forward into deeper consolidation.

  • @mMaximus56789

    @mMaximus56789

    2 жыл бұрын

    Bump for the fundamental theorem of geometric calculus

  • @owen7185
    @owen71852 жыл бұрын

    Another awesome lecture Steve

  • @curtpiazza1688
    @curtpiazza16882 ай бұрын

    Great lecture! ❤ 😊

  • @shirsendumitra6044
    @shirsendumitra60442 жыл бұрын

    Excellent dear professor.

  • @kevincardenas6629
    @kevincardenas66292 жыл бұрын

    Thanks a lot for these videos! How often are you publishing them?

  • @NolanManteufel
    @NolanManteufel2 жыл бұрын

    I love your videos. I love reconsidering these ideas that were developed by people thinking about electricity and magnetism. As a hobby I've been trying to apply them to knowledge and emotion. Thank you for making these videos, they are excellent.

  • @hguy8449
    @hguy84492 жыл бұрын

    Thank you for making these videos, you are amazing

  • @NakulPatel-sd6uk
    @NakulPatel-sd6uk6 ай бұрын

    A quick question. so before you said that potential flows are incompressible & irrotational while describing the set thing and for the generic flow you said that the first part is a potential flow that is irrotational. So is it also incompressible or not? or is that the potential flows can have either or both of the conditions?

  • @Ruben-fk7zz
    @Ruben-fk7zz Жыл бұрын

    at the end of the video with the generic flow equation, shouldn't the first irrotational element be called gradient flow instead of pot. flow? Because ist should be capable of doing the compression part, that the seccond can't right?

  • @NITESHKSAHU
    @NITESHKSAHU28 күн бұрын

    Suppose, F is a generic incompressible fluid velocity field. Then its divergence is always zero, div F=0. Using Helmholtz decomposition for this generic incompressible velocity field, div F= - div(grad phi) + div(curl A) = laplacian(phi) +div(curl A)= 0. But div (curl A) is always zero so, laplacian(phi) = 0 for any generic incompressible field. But, as far as I know, laplacian(phi) = 0 is only for potential flows, which is subsequently solved along with one N-S eqn to yield the fluid flow parameters. I will be very kind of you to put some light on this.

  • @adamb7088
    @adamb70882 жыл бұрын

    I agree with Olivier Hault. Would it be possible to see a covariant formulation of the Helmholtz Decomposition?

  • @manuelsantosgutierrez7453
    @manuelsantosgutierrez74532 жыл бұрын

    Hi, is it analytically tractable to calculate the Helmholtz decomposition of a given 3D vector field? Is there a well-known method for that? Thanks!

  • @anomalous4714
    @anomalous47142 жыл бұрын

    Another awesome video in this series! I got a bit confused with the potential flow being defined as div- and curl-free. I always thought that potential flows are what you call gradient flows (curl-free), while flows that are div- and curl-free are harmonic flows. In the Helmholtz decomposition you call div(phi) a potential flow, so based on your definition of potential flow this must always be zero or am I misunderstanding this? I'm looking forward to the next videos.

  • @kathrinskinder3891

    @kathrinskinder3891

    2 жыл бұрын

    I was sort of asking myself the same thing. According to your definition of gradient flows and potential flows, shouldn't the Helmholtz decomposition be Vector field= gradient flow + solenoidal flow? Anyway, amazing video, your way of explaining this is so vivid. Thank you!

  • @RalphDratman
    @RalphDratman2 жыл бұрын

    It seems to me that one could create a vector field, say for force, in which an object would continually accelerate around a closed path. But such a force field could not correspond to a conservative system, ie., a time-independent potential.

  • @lioneloddo
    @lioneloddo2 жыл бұрын

    So fascinating. I wonder if the decomposition of a field in terms of active and reactive field corresponds to a Helmholtz decomposition ? In complex space, the active and reactive fields are respectively given by the real and imaginary part of the field. I wonder if there is a link between the kind of field and the complex numbers...

  • @AmentasOnIce

    @AmentasOnIce

    7 ай бұрын

    Hmm, I know that if you form a vector field as a complex function (eg. V(z) is a complex function of the complex argument z, drawn as a vector at z), it's a potential vector field (curl-free and div-free).

  • @lt4376
    @lt43762 жыл бұрын

    I remember the various names like the Fundamental Theorem of Vector Calculus/Analysis or helmholtz decomp. But there is not an intuitive derivation.

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

    Hi professor, @steve , my question is can a vector field be neither potential flow nor gradient flow? If YES then what will be mathmetical treatment for those kind of vector field? If NO, then why we can't have that kind of vetor field ???

  • @agmessier
    @agmessier2 жыл бұрын

    In fluid dynamics, a field can be both irrotational (inviscid) and incompressible. Which term of the Helmholtz decomposition would capture these flows? Could it have both a scalar and vector potential field?

  • @wp4297

    @wp4297

    2 жыл бұрын

    Yes, in incompressible irrotational flow you have both div(v)=0 and curl(v)=0. So, from the former you can write v=grad(phi), as a gradient of a scalar function, usually defined as the kinetic potential and indicated as phi, or from the latter as the curl of a vector field, v=curl(psi), being psi defined as the current function, nothing more than what you call a vector potential (usually used in 2D problem, but it's ok even in 3d). It really depends on what you need: as an example, if you deal with mass flow, it's usually easiest to use current function psi whose values (better, difference of values of psi evaluated in 2 points in space) is strictly related to the mass flow passing through a line connecting these two points. Please, remember that in the definition of the scalar and vector potential are not unique but are defined up to a gauge, usually this gauge has littele physical meaning, since the physical quantity of interest is the velocity and not the potentials. Please, when you deal with aerodynamics, also pay attention to the connection of the domain of the problem you're interested in. When you deal with a airfoil in 2d, the fluid flows around a object, so the space where fluid flows has a hole and is not simply connected, and: - mathematically: > the potential function phi becomes multi-valued > the mathematical problem is not fully defined and has an infinite number of solutions. Have you ever heard about Kutta condition? It's the mathematical condition that recover the most physical solution (the one the better suits experience and experimental results, at least when no separation occurs at high Reynolds number) among the infinite set of solutions - physically, this best solution is the one that has the right value of lift and the right distribution of pressure around the body

  • @Martin-iw1ll
    @Martin-iw1ll9 ай бұрын

    In the helmholtz decomp, should the irrotational part be called the gradient flow part and not potential flow part because potential flow is both irrotational and incompressible

  • @AmentasOnIce

    @AmentasOnIce

    7 ай бұрын

    I think you are right, he misspoke there.

  • @murillonetoo
    @murillonetoo2 жыл бұрын

    Great lecture, professor! I understood that all gradient flows are curl free. I'd like to ask about the other way around: are all curl free flows also gradient flows? How can we prove this?

  • @VedJoshi..

    @VedJoshi..

    2 жыл бұрын

    try proof by contradiction. Assume there exists a curl-free flow which is not a gradient flow. This should lead you to the conclusion.

  • @blipblap614

    @blipblap614

    5 ай бұрын

    Check out "Notes on Differential Forms" (Lorenzo Sadun, UT Austin), page 6, Exercise 2. In this language, a gradient flow is an "exact" form (the derivative of something else), and therefore always curl-free ("closed" / no derivative of its own). Going the other direction is the Poincaré lemma -- in Euclidean space, yes; every curl-free flow is a gradient flow. It's not true if space has a "hole." arxiv.org/pdf/1604.07862.pdf

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

    super

  • @adiaphoros6842
    @adiaphoros68422 жыл бұрын

    Can a solenoidal, that is an incompressible but rotational, field exist on its own, that is without being part of a Helmholtz or Hodge decomposition?

  • @renwang870
    @renwang8702 жыл бұрын

    If the irrotational part of the generic flow is a potential flow (which by the last equation on the right half of the screen has divF = 0), and the solenoidal part also divergence-free, doesn’t it mean that the generic flow itself is also divergence-free?

  • @AmentasOnIce

    @AmentasOnIce

    7 ай бұрын

    I think you are right, and Prof. Brunton misspoke at around min 14 - grad phi is a grad flow, not a potential flow, according to the earlier definitions. I love these videos but there are occasional mistakes.

  • @beebee_0136
    @beebee_01362 жыл бұрын

    3:11 Thank you for revisiting these foundations. Another way I would like to think of the question posed, at least somewhat intuitively, is by considering natural vector fields as being composed of unit directional vectors (i, j, k) which are themselves vectors and form basic building blocks for their associated position vectorz (thus, xi + yj + zk). So, it follows that if at the most basic level we have unit vectors, then it seems to suggest there are *naturally existing* vectors distinct from scalar fields which can be turned into vector fields by applying the gradient (grad) operator.

  • @erockromulan9329
    @erockromulan93292 жыл бұрын

    One of the most impressive things about your videos is that you aren't using a mirror for the camera - you're writing is the mirror! Amazing.

  • @WarlordStarcraft2
    @WarlordStarcraft28 ай бұрын

    how is this video made? as in, how do we get a video of him facing us but writing backwards so that we can read what hes writing. He can't be actually writing backwards can he? I thought at first it was just a mirrored video, but he's facing us so that doesn't makes sense, and his hands actually properly follow the motions of what he's writing. Seems like this is pretty sophisticated production. I'm impressed.

  • @whdaffer1

    @whdaffer1

    4 ай бұрын

    I'd love to know the answer to your question too! I'm a wondering if the board and the software recording his writing is flipping it.

  • @sreangsuacharyya5788

    @sreangsuacharyya5788

    3 ай бұрын

    Easily done. Just flip the direction of the vector normal to the writing surface. tongue in cheek

  • @qwadratix
    @qwadratix2 жыл бұрын

    Never mind the math. How are you writing on that (apparent) glass screen facing the camera without the result being reversed (mirror writing). The only scenario I can come up with is that the lecturer is left-handed and the image is flipped, either electronically or optically using a mirror. The alternative would have to be an ability to write right to left Leonardo da Vinci style. Somehow I doubt that.

  • @nez9962

    @nez9962

    2 жыл бұрын

    Same question!

  • @neiljf1089
    @neiljf10892 жыл бұрын

    I'm not sure that potential flows are necessarily incompressible. I think they are simply defined as the gradient of a scalar potential. Incompressibility is an additional constraint.

  • @wp4297

    @wp4297

    2 жыл бұрын

    Just definitions. Usually potential vector field means irrotational and thus can be written as the gradient of a scalar field (if the domain is regular enough - broadly speaking, simply connected - of course)

  • @orion777ben
    @orion777ben2 жыл бұрын

    Are you skilled at writing backwards on glass? Or is this some kind of image processing?

  • @johnathancorgan3994

    @johnathancorgan3994

    2 жыл бұрын

    Heh. He's writing normally behind the glass with the camera in front recording it backwards, then it is flipped left/right to make it look normal.

  • @drslyone

    @drslyone

    2 жыл бұрын

    I think some people 'perform' in front of a mirror, and record the mirror.

  • @abdjahdoiahdoai
    @abdjahdoiahdoai2 жыл бұрын

    very interesting topic. I just looked up Hodge theory, and they seem to use it on understanding risk in finance. I wonder if we can combine Hodge with SINDY to gain knowledge on the underlying dynamics (flow/ f) in the financial world

  • @Totooo999
    @Totooo9992 жыл бұрын

    🙌😍

  • @12321dantheman
    @12321dantheman2 жыл бұрын

    is he writing all this mirrored??

  • @andreilucianlazer1871
    @andreilucianlazer18712 жыл бұрын

    wait how on earth do you write backwards

  • @anuardalhar6762

    @anuardalhar6762

    2 жыл бұрын

    Writing on transparent glass, and taking reverse video on other side.

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

    Are you left-handed?

  • @siqi-47
    @siqi-472 ай бұрын

    I think You are the ones who should do maths (genetically), not me…

  • @user-sv5vb1mj1q
    @user-sv5vb1mj1q2 жыл бұрын

    The answer is no.

  • @xelktube
    @xelktube2 жыл бұрын

    The squeaky sound of the marker is *so* annoying, makes it impossible to watch (an otherwise great series of lectures)

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

    better than excellent , thank - you ! ☺👍📚📐✏🔬

Келесі