PE-7013 FA-23

DUE: 10/25/2023 by 3PM CST

Term Exam 2
Homework 6 and 7

This take-home assignment serves as Homeworks 6 and 7 as well as Term Exam 2. It is comprised
of one problem with multiple parts. HW 6, 7, and TE2 are comprised of parts as indicated.
You have from 10/11/2023 to 10/25/2023 to complete this work. A complete submission is
comprised of a single PDF file emailed to ryounis@utulsa.edu at r before 3PM CST on 10/25/2023.
The PDF should contain hand-written or typed solutions and any sketches you wish to draw or
plot.

Rules:

1. You are permitted the following: read any electronic or written document that was not
prepared by another colleague in class. Verbal discussion with class mates and others
without written communication/exchange of information.
2. Plagiarism is strictly forbidden.
3. In person and virtual instruction while writing your solution is forbidden.
We will develop solutions to the modified steady problem governed by,

Δ𝑃 − 𝛼 2 𝑃 = −𝑓(𝒙) 𝑥∈Ω
(1) { 𝑃(𝒙) = 𝑔(𝒙) 𝑥 ∈ 𝜕Ω1
∇𝑃. 𝒏]𝑥 = 𝑞(𝑥) 𝑥 ∈ 𝜕Ω2

where Ω ⊂ ℝ2 is a domain with a boundary comprised of two parts, i.e., 𝜕Ω = 𝜕Ω1 ∪ 𝜕Ω2 . In the problem,
we will consider specific examples with given descriptions for the right-hand sides of the governing
equation (1) and various domain geometries.
In Homework 5, you showed that the Fundamental Solution,
1
Φ(𝒚 − 𝒙) = 𝐾 (𝛼‖𝒚 − 𝒙‖2 )
2𝜋 0
satisfies the following equation,

− ∫ [ΔΦ(𝒚 − 𝒙) − 𝛼 2 Φ(𝒚 − 𝒙)]𝑃(𝒙)𝑑𝒙 = 𝑃(𝒚).

Ω

a) (2 points for HW 6) Using integration by parts (twice) show that:

𝑃(𝒚) = ∫ Φ(𝒚 − 𝒙)𝑓(𝒙)𝑑𝒙 + ∫ Φ(𝒚 − 𝒙)∇𝑃(𝒙) ⋅ 𝐧(𝒙) − 𝑔(𝒙)∇Φ(𝒚 − 𝒙) ⋅ 𝐧(𝒙)𝑑𝒙

Ω ∂Ω1

+ ∫ Φ(𝒚 − 𝒙)q(𝒙) − 𝑃(𝒙)∇Φ(𝒚 − 𝒙) ⋅ 𝐧(𝒙)𝑑𝒙

∂Ω2

b) (1 point for HW 7) Suppose that 𝜕Ω2 = ∅ and, therefore, 𝜕Ω = 𝜕Ω1 (i.e., pressure is known on the
entire boundary). Let
G(𝒚 − 𝒙) ≔ Φ(𝒚 − 𝒙) − ℎ𝑦 (𝒙),

where the “corrector function” ℎ𝑦 (𝒙) satisfies,

Δℎ𝑦 − 𝛼 2 ℎ𝑦 = 0 𝑥∈Ω
{ℎ𝑦 (𝒙) = Φ(𝒚 − 𝒙) 𝑥 ∈ 𝜕Ω1 .
ℎ𝑦 (𝒙) ≢ Φ(𝒚 − 𝒙) 𝑥∈Ω

Show that the following must hold,

𝑃(𝒚) = ∫ G(𝒚 − 𝒙)𝑓(𝒙)𝑑𝒙 − ∫ 𝑔(𝒙)∇G(𝒚 − 𝒙) ⋅ 𝐧(𝒙)𝑑𝒙

Ω ∂Ω1
c) (1 point for HW 7) Instead, now suppose that 𝜕Ω1 = ∅ and, therefore, 𝜕Ω = 𝜕Ω2 (i.e., only rate is
known on the entire boundary). Let
G(𝒚 − 𝒙) ≔ Φ(𝒚 − 𝒙) − ℎ𝑦 (𝒙),

where ℎ𝑦 (𝒙) is a “corrector function” such that,

𝑃(𝒚) = ∫ G(𝒚 − 𝒙)𝑓(𝒙)𝑑𝒙 + ∫ G(𝒚 − 𝒙)q(𝒙)𝑑𝒙

Ω ∂Ω1

What conditions must ℎ𝑦 (𝒙) satisfy in this case in order for this to be true?

d) (12.5 points for TE 2) Consider the specific scenario where the boundary is the horizontal axis on which
rate is known and the reservoir of interest is the upper semi-infinite plane. That is 𝜕Ω1 = ∅, 𝜕Ω2 =
{(𝑥1 , 𝑥2 )𝑇 : 𝑥2 = 0, −∞ < 𝑥1 < ∞ }, and Ω = {(𝑥1 , 𝑥2 )𝑇 : 𝑥2 > 0, −∞ < 𝑥1 < ∞ }. The rate on the
boundary is a constant q=500, and they are no sources or sinks so that 𝑓 = 0. Derive the analytical
solution for 𝑃, and compute the solution’s value at location 𝒚 = (2.3, 3.2)𝑇 .

e) (12.5 points for TE 2) Consider the same specific geometric scenario, except that now, the pressure
along the boundary is fixed at a known value g=0. Moreover, there is one line source in the reservoir
so that,

50 if 𝑥2 = 1 − 𝑥1 and 0 < 𝑥1 < 0.5

f(𝐱) = {
0 otherwise
Derive the analytical solution for 𝑃 by determining a suitable corrector function. Note that you will likely
be unable to perform any integrals analytical in this case, and so you are not required to compute a numerical
value for the solution.
 GENERAL INFORMATION
1. If 𝒇 and 𝑔 are any smooth vector and scalar functions respectively, then,
∫ ∇ ⋅ 𝒇(𝒙)𝑔(𝒙)𝑑𝒙 = − ∫ 𝒇(𝒙) ⋅ ∇𝑔(𝒙)𝑑𝒙 + ∫ 𝑔(𝒙)𝒇(𝒙) ⋅ 𝐧(𝒙)𝑑𝒙
Ω Ω ∂Ω
2. If 𝒇 and 𝑔 are any smooth vector and scalar functions, then,
∫ 𝒇(𝒙) ⋅ ∇𝑔(𝒙)𝑑𝒙 = − ∫ ∇ ⋅ 𝒇(𝒙) 𝑔(𝒙)𝑑𝒙 + ∫ 𝑔(𝒙)𝒇(𝒙) ⋅ 𝐧(𝒙)𝑑𝒙
Ω Ω ∂Ω
3. If 𝐾𝜈 denotes the modified Bessel function of the second kind with order 𝜈 (an integer), then the
following identity holds,
𝑑 1
𝐾𝜈 (𝑥) = − (𝐾𝜈−1 (𝑥) + 𝐾𝜈+1 (𝑥))
𝑑𝑥 2
4. By definition, 𝐾−1 = −𝐾1 .