rezarezvan.com
Toggle menu
Blog Lecture Notes Research Thoughts

Part 2 - Continuity & partial derivatives.

LMA017 Date: August 30, 2023 5 min read

Introduction

In this part we’ll define continuity when dealing with functions with several variables. We’ll also start looking at derivatives of functions of several variables.

Continuity

Let’s recall what continuity of a function with one variable is defined:

Recall (Continuity in one variable)

A function of one variable is continuous at a point, a∈Da \in D if:

lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a)

In functions with several variables, it’s the same:

lim⁡(x,y)→(a,b)f(x,y)=f(a,b)\lim_{(x, y) \to (a, b)} f(x, y) = f(a, b)

We say ff is continuous on its domain, if ff is continuous at each point, (a,b)∈D(a, b) \in D

Continuity laws

Suppose fandgf and g are functions of two variables. hh, is a function of one variable. Which are continuous in their respective domains, then:

f±gf \pm g f⋅gf \cdot g (fg)\left(\dfrac{f}{g}\right) h(f(x,y))h(f(x, y))

All of the above, are continuous on their domains.

Example 1f(x,y)=x ∣  is continuous at R2f(x, y) = x \ | \ \text{ is continuous at $\mathbb{R}^2$}

Proof:

lim⁡(x,y)→(a,b)f(x,y)=f(a,b)=a\lim_{(x, y) \to (a, b)} f(x, y) = f(a, b) = aUsing the limit law: lim⁡(x,y)→(a,b)x=a\text{Using the limit law: } \lim_{(x, y) \to (a, b)} x = a

Similarly f(x,y)=yf(x, y) = y is continuous at R2\mathbb{R}^2.

f(x,y)=x3y−y2+x ∣  is continuous at R2f(x, y) = x^3y - y^2 + x \ | \ \text{ is continuous at $\mathbb{R}^2$}

Proof: Since polynomials are combinations of f(x,y)=xf(x, y) = x and f(x,y)=yf(x, y) = y, using continuity laws (or limit laws), we can easily prove this.

f(x,y)=x3y3−x4yy−x ∣  is continuous on its domainf(x, y) = \dfrac{x^3 y^3 - x^4y}{y - x} \ | \ \text{ is continuous \textbf{on its domain}}

The domain of ff is:

{(x,y) ∣ y−x≠0}\{(x, y) \ | \ y - x \neq 0 \}f(x,y)=ex2−y ∣  is continuous at R2f(x, y) = e^{x^2 - y} \ | \ \text{ is continuous at $\mathbb{R}^2$}

Using the composition law of continuity, we easily prove that this function is a continuous function, on its domain. In this case it’s still R2\mathbb{R}^2.

Knowing whether a function is continuous or not is very powerful, knowing that the above function is continuous makes:

lim⁡(x,y)→(a,b)ex2−y=e12−3=e−2\lim_{(x, y) \to (a, b)} e^{x^2 - y} = e^{1^2 - 3} = \boxed{e^{-2}}

Trivial.

Example 2

Determine if this function is continuous:

f(x,y)={xy2x2+3y4(x,y)≠(0,0)0(x,y)=(0,0)f(x, y) = \begin{cases} \dfrac{xy^2}{x^2 + 3y^4} & (x, y) \neq (0,0) \newline 0 & (x, y) = (0, 0) \end{cases}

Solution: If the function is continuous, using the definition, then:

lim⁡(x,y)→(a,b)f(x,y)=f(a,b)\lim_{(x, y) \to (a, b)} f(x, y) = f(a, b)

which means:

lim⁡(x,y)→(0,0)f(x,y)=f(0,0)=0\lim_{(x, y) \to (0, 0)} f(x, y) = f(0, 0) = 0lim⁡(x,y)→(0,0)xy2x2+3y4=0\lim_{(x, y) \to (0, 0)} \dfrac{xy^2}{x^2 + 3y^4} = 0

Using the law of limits and the definition, we find that this limit does not exist since:

Along x=0x = 0

xy2x2+3y4=03y4=0\dfrac{xy^2}{x^2 + 3y^4} = \dfrac{0}{3y^4} = 0

Along x=y2x = y^2

xy2x2+3y4=y4y4+3y4=14\dfrac{xy^2}{x^2 + 3y^4} = \dfrac{y^4}{y^4 + 3y^4} = \dfrac{1}{4}

Which tells us that f(x,y)f(x, y) is not continuous at (0,0)(0, 0).

Example 3f(x,y)={x4−y4x2+y2(x,y)≠(0,0)0(x,y)=(0,0)f(x, y) = \begin{cases} \dfrac{x^4 - y^4}{x^2 + y^2} & (x, y) \neq (0,0) \newline 0 & (x, y) = (0, 0) \end{cases}lim⁡(x,y)→(0,0)x4−y4x2+y2=0\lim_{(x, y) \to (0, 0)} \dfrac{x^4 - y^4}{x^2 + y^2} = 0lim⁡(x,y)→(0,0)x4−y4x2+y2=lim⁡(x,y)→(0,0)(x2+y2)(x2−y2)x2+y2=lim⁡(x,y)→(0,0)(x2−y2)=0\begin{align*} \lim_{(x, y) \to (0, 0)} \dfrac{x^4 - y^4}{x^2 + y^2} & = \newline \lim_{(x, y) \to (0, 0)} \dfrac{(x^2 + y^2)(x^2 - y^2)}{x^2 + y^2} & = \newline \lim_{(x, y) \to (0, 0)} (x^2 - y^2) & = \newline \boxed{0} \end{align*}

Which means it is continuous at (0,0)(0, 0).

Partial derivatives

Let’s first start with recalling the definition of derivative for functions with one variable:

lim⁡h→0f(x+h)−f(x)h\lim_{h \to 0} \dfrac{f(x + h) - f(x)}{h}

Since we’re dealing with several variables, we need to choose what variable to respect, meaning what variable has a small increase.

Definition 1 (Partial derivative)

The partial derivate of a function of two variables with respect to x, denoted by fxf_x, is the function of two variables given by:

fx(x,y)=lim⁡h→0f(x+h,y)−f(x,y)hf_x(x, y) = \lim_{h \to 0} \dfrac{f(x + h, y) - f(x, y)}{h}

Similarly for yy:

fy(x,y)=lim⁡h→0f(x,y+h)−f(x,y)hf_y(x, y) = \lim_{h \to 0} \dfrac{f(x, y + h) - f(x, y)}{h}

In other words what this means, the partial derivate with respect to a variable, we treat all other variables as they were constants.

Example 4f(x,y)=x2y+y3f(x, y) = x^2y + y^3fx(x,y)=2xyf_x(x, y) = 2xyfy(x,y)=x2+3y2f_y(x, y) = x^2 + 3y^2f(x,y)=sin(x2y−3x)f(x, y) = sin(x^2y - 3x)fx(x,y)=cos(x2y−3x)⋅(2xy−3) ∣ chain rulef_x(x, y) = cos(x^2y - 3x) \cdot (2xy - 3) \ | \ \text{chain rule}fy(x,y)=cos(x2y−3x)⋅x2 ∣ chain rulef_y(x, y) = cos(x^2y - 3x) \cdot x^2 \ | \ \text{chain rule}f(x,y,z)=x2z+xy−7yz5f(x, y, z) = x^2z + xy - 7yz^5fz(x,y,z)=x2−35yz4f_z(x, y, z) = x^2 - 35yz^4

Summary

As we have seen continuity is quite similar when dealing with functions of several variables. The partial derivate of functions of several variables are also quite trivial since we treat the other variables as constants!