Path Independence, Conservative Field, and Potential Function
·
Mathematics/Calculus
Path IndependenceDefinition 1. Let F be a vector field defined on an open region D in space, and suppose that for any two points A and B in D the line integral CFdr along a path C from A to B in D is the same over all paths from A to B. Then the integral CFdr is path independent in D and the fiel..
Circulation and Flux
·
Mathematics/Calculus
CirculationDefinition 1. If r(t) parametrizes a smooth curve C in the domain of a continuous velocity field F, the flow along the curve from A=r(a) to B=r(b) is CFdr. If the curve starts and ends at the same point, so that A=B, the flow is called the circulation around the curve.A=B인 경우, 즉 $$\oint_C \ma..
Line Integral
·
Mathematics/Calculus
Directional derivative를 도입하여 미분의 방향을 굳이 x,y축으로 한정할 필요가 없었듯이, 적분 또한 x,y,z에 대해서만이 아니라 일반적인 곡선 위에서 정의할 수 있다. 함수 f(x,y)가 r(t)=x(t),y(t)(atb) 위에서 정의된다고 하자. 늘 그래왔던 것처럼 C를 n조각으로 짤라 partition을 구성하고, 각 piece의 길이를 Δsk라 하자. 각 piece에서 임의로 point들을 추출하여 Riemann sum을 구성하면 k=1nf(xk,yk)Δsk이고, n의 크기를 무한히 증가시킬 때 partition의 ..
Substitution in Multiple Integral
·
Mathematics/Calculus
Double integral에서 substitution rule을 다뤄보자. 기존에 xy 평면에서 나타내진 함수 f(x,y)uv 평면에서 나타내고자 한다. Single variable에서 x=g(u)로 두면 dx=g(u)du가 성립했었다. 즉 x에서 u로 변수를 바꾸기 위해서는 일종의 '보정 상수'의 역할을 하는 g(u)와 같은 것이 double integral에서도 존재할 것이라 예측할 수 있다. 실제로 그러한 factor가 존재하고 Jacobian이라고 부른다.JacobianDefinition 1. The Jacobian determinant or Jacobian of the coordinate transformation $x = g(u, v), y = h(..
최대 정수 함수와 삼중적분
·
Mathematics/Problems
[네냐플 님의 블로그 포스트를 참고해서 작성하였습니다.]ProblemProblem. E={(x,y,z)R3|x2+y2+z21}일 때, Ex+y+zdV의 값을 구하시오. (단, xx를 넘지 않는 최대의 정수이다.)SolutionE는 반지름이 1이며 경계면을 포함하여 속이 꽉 찬 ball이다. x+y+z을 direct하게 적분하기란 쉽지 않다. 최대 정수 함수는 정수만을 값으로 가지므로, 주어진 영역 E 안에서 x+y+z이 정수 중에서 어떤 값을 가..
Triple Integral
·
Mathematics/Calculus
Triple Integral일변수 함수의 definite integral, double integral과 다를 바 없다. 마찬가지로 rectangular region D를 (box 형태가 된다) x,y,z 축으로 잘게 쪼개 partition을 구성하고 가장 작은 모서리를 norm으로 정의한 뒤 함수 F(x,y,z)의 Riemann sum을 정의한다. 이때 k번째 부피 조각은 ΔVk=ΔxkΔykΔzk가 된다. 그리고 norm이 0으로 가는 극한을 취해준 뒤 partition과 point에 무관하게 극한값이 존재하면 integrable하다고 말하고, DF(x,y,z)dV라고 쓴다.  마찬가지로 reg..
Wallis's Integral
·
Mathematics/Calculus
Wallis's Integral(1)In=0π2sinnxdx=n1nIn2(2)Im=0π2cosmxdx=m1mIm2.공부하다보면 구간이 0부터 π2까지 일 때 sin,cos의 거듭제곱을 적분해야 하는 상황이 의외로 자주 발생한다. 이때 이 값을 매번 구하려면 귀찮으므로, Wallis's Integral, 월리스 적분이라고 불리는 공식을 사용하도록 하자.  유도 과정은 Integration by parts를 사용하여 다..
Double Integral and Fubini's Theorem
·
Mathematics/Calculus
Double IntegralTwo-variable function의 definite ingetral을 다뤄보자. Single variable에서 정의한 definite integral과 별반 다를 건 없다. 다만 변수가 두 개가 되었으므로 partition이라든지, norm이라든지 하는 대상을 조금 확장하여서 정의하고 이를 기반으로 Riemann sum과 그 극한으로 double integral을 정의한다. 함수 z=f(x,y)가 있다. 일변수에서는 interval을 잘게 쪼갰다면, 이제는 rectangular region을 x,y축으로 잘게 쪼갠다. 이렇게 잘게 쪼갠 piece들은 어떻게든 numbering하여 모은 집합을 partition P이라고 하고, 이 piece들의 가로, 세..
Lagrange Multiplier
·
Mathematics/Calculus
Introduction 다변수함수의 극값을 찾기 위한 방법 중 하나로 second derivative test가 있었다. 그런데 만약 함수의 domain이 명시적으로 주어진 것이 아닌, 예컨대 어떤 방정식 g(x,y,z)=0으로 표현되는 "구속조건(constraint)"으로 주어진다면 test를 적용하기가 쉽지 않다. 물론 어찌어찌 parametrize하여 명시적으로 구할 수도 있겠지만, 대게 쉽지 않다. 때문에 구속조건 자체를 활용하여 극값을 구하는 방법이 필요한데 그 결과가 바로 Lagrange multiplier, 라그랑주 승수법이다. 2차원으로 한정지어서 생각해보자. 다음 그림과 같이 구속조건 g(x,y)=c (h(x,y)=g(x,y)c =0으로도 정의할 ..
Extreme Values and Saddle Points
·
Mathematics/Calculus
Local Maximum and MinimumDefinition 1. Let f(x,y) be defined on a region R containing the point (a,b). Then 1. f(a,b) is a local maximum value of f if f(a,b)f(x,y) for all domain points (x,y) in an open disk centered at (a,b). 2. f(a,b) is a local minimum value of f if f(a,b)f(x,y) for all domain points (x,y) in an open disk centered at (a,b). Si..