In this paper, I introduce a comprehensive workflow aimed at optimizing oil production and CO2 geological storage. I show that the same methodology can be applied to different categories of problems: a) real-time reservoir fluid mapping for predicting and delaying water breakthrough time as far as possible in oil production; b) real-time CO2 mapping for maximizing the sweep efficiency and storage capacity of CO2 in geological formations. Despite their intrinsic differences, these types of problems share common aspects, issues and possible solutions. In both cases, various geophysical techniques can be applied, including Electric Resistivity Tomography (briefly ERT) for accurate fluid mapping and monitoring. This method is highly effective and sensitive for detecting the type of fluid and for estimating saturation in the geological formations. The robustness and the accuracy of the ERT models increase if densely spaced electrodes layouts are permanently deployed into the production and injection wells. In the first part of the paper, I discuss how in both scenarios of oil production and CO2 storage, we can apply time-lapse borehole ERT method for mapping fluids in the reservoir. Next, I discuss how to apply various techniques of time-series analysis for predicting the evolution of the fluids distribution over time. Finally, using Q-Learning, that is a specific Reinforcement Learning method, I discuss how we can optimize the decisional workflow using our models about past, real-time and predicted fluids displacement. The result is the definition of a "best policy" addressed to both problems of optimized oil production and safe CO2 geological storage. In the second part of the paper, I show benefits and limitations of my approach with the support of synthetic tests.
Citation: Paolo Dell'Aversana. Reservoir prescriptive management combining electric resistivity tomography and machine learning[J]. AIMS Geosciences, 2021, 7(2): 138-161. doi: 10.3934/geosci.2021009
[1] | Salim A. Messaoudi, Mohammad M. Al-Gharabli, Adel M. Al-Mahdi, Mohammed A. Al-Osta . A coupled system of Laplacian and bi-Laplacian equations with nonlinear dampings and source terms of variable-exponents nonlinearities: Existence, uniqueness, blow-up and a large-time asymptotic behavior. AIMS Mathematics, 2023, 8(4): 7933-7966. doi: 10.3934/math.2023400 |
[2] | Adel M. Al-Mahdi, Mohammad M. Al-Gharabli, Maher Nour, Mostafa Zahri . Stabilization of a viscoelastic wave equation with boundary damping and variable exponents: Theoretical and numerical study. AIMS Mathematics, 2022, 7(8): 15370-15401. doi: 10.3934/math.2022842 |
[3] | Xiongmei Fan, Sen Ming, Wei Han, Zikun Liang . Lifespan estimate of solution to the semilinear wave equation with damping term and mass term. AIMS Mathematics, 2023, 8(8): 17860-17889. doi: 10.3934/math.2023910 |
[4] | Mohammad Kafini, Jamilu Hashim Hassan, Mohammad M. Al-Gharabli . Decay result in a problem of a nonlinearly damped wave equation with variable exponent. AIMS Mathematics, 2022, 7(2): 3067-3082. doi: 10.3934/math.2022170 |
[5] | Adel M. Al-Mahdi . The coupling system of Kirchhoff and Euler-Bernoulli plates with logarithmic source terms: Strong damping versus weak damping of variable-exponent type. AIMS Mathematics, 2023, 8(11): 27439-27459. doi: 10.3934/math.20231404 |
[6] | Noufe H. Aljahdaly . Study tsunamis through approximate solution of damped geophysical Korteweg-de Vries equation. AIMS Mathematics, 2024, 9(5): 10926-10934. doi: 10.3934/math.2024534 |
[7] | Mohammad Kafini, Mohammad M. Al-Gharabli, Adel M. Al-Mahdi . Existence and stability results of nonlinear swelling equations with logarithmic source terms. AIMS Mathematics, 2024, 9(5): 12825-12851. doi: 10.3934/math.2024627 |
[8] | Zhiqiang Li . The finite time blow-up for Caputo-Hadamard fractional diffusion equation involving nonlinear memory. AIMS Mathematics, 2022, 7(7): 12913-12934. doi: 10.3934/math.2022715 |
[9] | Muhammad Shakeel, Amna Mumtaz, Abdul Manan, Marouan Kouki, Nehad Ali Shah . Soliton solutions of the nonlinear dynamics in the Boussinesq equation with bifurcation analysis and chaos. AIMS Mathematics, 2025, 10(5): 10626-10649. doi: 10.3934/math.2025484 |
[10] | Khaled Kefi, Nasser S. Albalawi . Three weak solutions for degenerate weighted quasilinear elliptic equations with indefinite weights and variable exponents. AIMS Mathematics, 2025, 10(2): 4492-4503. doi: 10.3934/math.2025207 |
In this paper, I introduce a comprehensive workflow aimed at optimizing oil production and CO2 geological storage. I show that the same methodology can be applied to different categories of problems: a) real-time reservoir fluid mapping for predicting and delaying water breakthrough time as far as possible in oil production; b) real-time CO2 mapping for maximizing the sweep efficiency and storage capacity of CO2 in geological formations. Despite their intrinsic differences, these types of problems share common aspects, issues and possible solutions. In both cases, various geophysical techniques can be applied, including Electric Resistivity Tomography (briefly ERT) for accurate fluid mapping and monitoring. This method is highly effective and sensitive for detecting the type of fluid and for estimating saturation in the geological formations. The robustness and the accuracy of the ERT models increase if densely spaced electrodes layouts are permanently deployed into the production and injection wells. In the first part of the paper, I discuss how in both scenarios of oil production and CO2 storage, we can apply time-lapse borehole ERT method for mapping fluids in the reservoir. Next, I discuss how to apply various techniques of time-series analysis for predicting the evolution of the fluids distribution over time. Finally, using Q-Learning, that is a specific Reinforcement Learning method, I discuss how we can optimize the decisional workflow using our models about past, real-time and predicted fluids displacement. The result is the definition of a "best policy" addressed to both problems of optimized oil production and safe CO2 geological storage. In the second part of the paper, I show benefits and limitations of my approach with the support of synthetic tests.
We consider the Cauchy problem for the nonlinear damped wave equation with linear damping
utt−Δu+ut=|u|p+|∇u|q+w(x),t>0,x∈RN, | (1.1) |
where N≥1, p,q>1, w∈L1loc(RN), w≥0 and w≢0. Namely, we are concerned with the existence and nonexistence of global weak solutions to (1.1). We mention below some motivations for studying problems of type (1.1).
Consider the semilinear damped wave equation
utt−Δu+ut=|u|p,t>0,x∈RN | (1.2) |
under the initial conditions
(u(0,x),ut(0,x))=(u0(x),u1(x)),x∈RN. | (1.3) |
In [12], a Fujita-type result was obtained for the problem (1.2) and (1.3). Namely, it was shown that,
(ⅰ) if 1<p<1+2N and ∫RNuj(x)dx>0, j=0,1, then the problem (1.2) and (1.3) admits no global solution;
(ⅱ) if 1+2N<p<N for N≥3, and 1+2N<p<∞ for N∈{1,2}, then the problem (1.2) and (1.3) admits a unique global solution for suitable initial values.
The proof of part (ⅰ) makes use of the fundamental solution of the operator (∂tt−Δ+∂t)k. In [15], it was shown that the exponent 1+2N belongs to the blow-up case (ⅰ). Notice that 1+2N is also the Fujita critical exponent for the semilinear heat equation ut−Δu=|u|p (see [3]). In [6], the authors considered the problem
utt+(−1)m|x|αΔmu+ut=f(t,x)|u|p+w(t,x),t>0,x∈RN | (1.4) |
under the initial conditions (1.3), where m is a positive natural number, α≥0, and f(t,x)≥0 is a given function satisfying a certain condition. Using the test function method (see e.g. [11]), sufficient conditions for the nonexistence of a global weak solution to the problem (1.4) and (1.3) are obtained. Notice that in [6], the influence of the inhomogeneous term w(t,x) on the critical behavior of the problem (1.4) and (1.3) was not investigated. Recently, in [5], the authors investigated the inhomogeneous problem
utt−Δu+ut=|u|p+w(x),t>0,x∈RN, | (1.5) |
where w∈L1loc(RN) and w≢0. It was shown that in the case N≥3, the critical exponent for the problem (1.5) jumps from 1+2N (the critical exponent for the problem (1.2)) to the bigger exponent 1+2N−2. Notice that a similar phenomenon was observed for the inhomogeneous semilnear heat equation ut−Δu=|u|p+w(x) (see [14]). For other results related to the blow-up of solutions to damped wave equations, see, for example [1,2,4,7,8,9,13] and the references therein.
In this paper, motivated by the above mentioned works, our aim is to study the effect of the gradient term |∇u|q on the critical behavior of problem (1.5). We first obtain the Fujita critical exponent for the problem (1.1). Next, we determine its second critical exponent in the sense of Lee and Ni [10].
Before stating the main results, let us provide the notion of solutions to problem (1.1). Let Q=(0,∞)×RN. We denote by C2c(Q) the space of C2 real valued functions compactly supported in Q.
Definition 1.1. We say that u=u(t,x) is a global weak solution to (1.1), if
(u,∇u)∈Lploc(Q)×Lqloc(Q) |
and
∫Q(|u|p+|∇u|q)φdxdt+∫Qw(x)φdxdt=∫Quφttdxdt−∫QuΔφdxdt−∫Quφtdxdt, | (1.6) |
for all φ∈C2c(Q).
The first main result is the following Fujita-type theorem.
Theorem 1.1. Let N≥1, p,q>1, w∈L1loc(RN), w≥0 and w≢0.
(i) If N∈{1,2}, for all p,q>1, problem (1.1) admits no global weak solution.
(ii) Let N≥3. If
1<p<1+2N−2or1<q<1+1N−1, |
then problem (1.1) admits no global weak solution.
(iii) Let N≥3. If
p>1+2N−2andq>1+1N−1, |
then problem (1.1) admits global solutions for some w>0.
We mention below some remarks related to Theorem 1.1. For N≥3, let
pc(N,q)={1+2N−2ifq>1+1N−1,∞ifq<1+1N−1. |
From Theorem 1.1, if 1<p<pc(N,q), then problem (1.1) admits no global weak solution, while if p>pc(N,q), global weak solutions exist for some w>0. This shows that pc(N,q) is the Fujita critical exponent for the problem (1.1). Notice that in the case N≥3 and q>1+1N−1, pc(N,q) is also the critical exponent for utt−Δu=|u|p+w(x) (see [5]). This shows that in the range q>1+1N−1, the gradient term |∇u|q has no influence on the critical behavior of utt−Δu=|u|p+w(x).
It is interesting to note that the gradient term |∇u|q induces an interesting phenomenon of discontinuity of the Fujita critical exponent pc(N,q) jumping from 1+2N−2 to ∞ as q reaches the value 1+1N−1 from above.
Next, for N≥3 and σ<N, we introduce the sets
I+σ={w∈C(RN):w≥0,|x|−σ=O(w(x)) as |x|→∞} |
and
I−σ={w∈C(RN):w>0,w(x)=O(|x|−σ) as |x|→∞}. |
The next result provides the second critical exponent for the problem (1.1) in the sense of Lee and Ni [10].
Theorem 1.2. Let N≥3, p>1+2N−2 and q>1+1N−1.
(i) If
σ<max{2pp−1,qq−1} |
and w∈I+σ, then problem (1.1) admits no global weak solution.
(ii) If
σ≥max{2pp−1,qq−1}, |
then problem (1.1) admits global solutions for some w∈I−σ.
From Theorem 1.2, if N≥3, p>1+2N−2 and q>1+1N−1, then problem (1.1) admits a second critical exponent, namely
σ∗=max{2pp−1,qq−1}. |
The rest of the paper is organized as follows. In Section 2, some preliminary estimates are provided. Section 3 is devoted to the study of the Fujita critical exponent for the problem (1.1). Namely, Theorem 1.1 is proved. In Section 4, we study the second critical exponent for the problem (1.1) in the sense of Lee and Ni. Namely, we prove Theorem 1.2.
Consider two cut-off functions f,g∈C∞([0,∞)) satisfying
f≥0,f≢0,supp(f)⊂(0,1) |
and
0≤g≤1,g(s)={1if0≤s≤1,0ifs≥2. |
For T>0, we introduce the function
ξT(t,x)=f(tT)ℓg(|x|2T2ρ)ℓ=F(t)G(x),(t,x)∈Q, | (2.1) |
where ℓ≥2 and ρ>0 are constants to be chosen. It can be easily seen that
ξT≥0andξT∈C2c(Q). |
Throughout this paper, the letter C denotes various positive constants depending only on known quantities.
Lemma 2.1. Let κ>1 and ℓ>2κκ−1. Then
∫Q|ξT|−1κ−1|ΔξT|κκ−1dxdt≤CT−2ρκκ−1+Nρ+1. | (2.2) |
Proof. By (2.1), one has
∫Q|ξT|−1κ−1|ΔξT|κκ−1dxdt=(∫∞0F(t)dt)(∫RN|G|−1κ−1|ΔG|κκ−1dx). | (2.3) |
Using the properties of the cut-off function f, one obtains
∫∞0F(t)dt=∫∞0f(tT)ℓdt=∫T0f(tT)ℓdt=T∫10f(s)ℓds, |
which shows that
∫∞0F(t)dt=CT. | (2.4) |
Next, using the properties of the cut-off function g, one obtains
∫RN|G|−1κ−1|ΔG|κκ−1dx=∫Tρ<|x|<√2Tρ|G|−1κ−1|ΔG|κκ−1dx | (2.5) |
On the other hand, for Tρ<|x|<√2Tρ, an elementary calculation yields
ΔG(x)=Δ[g(r2T2ρ)ℓ],r=|x|=(d2dr2+N−1rddr)g(r2T2ρ)ℓ=2ℓT−2ρg(r2T2ρ)ℓ−2θ(x), |
where
θ(x)=Ng(r2T2ρ)g′(r2T2ρ)+2(ℓ−1)T−2ρr2g(r2T2ρ)g′(r2T2ρ)2+2T−2ρr2g(r2T2ρ)g″(r2T2ρ). |
Notice that since Tρ<r<√2Tρ, one deduces that
|θ(x)|≤C. |
Hence, it holds that
|ΔG(x)|≤CT−2ρg(|x|2T2ρ)ℓ−2,Tρ<|x|<√2Tρ |
and
|G(x)|−1κ−1|ΔG(x)|κκ−1≤CT−2ρκκ−1g(|x|2T2ρ)ℓ−2κκ−1,Tρ<|x|<√2Tρ. |
Therefore, by (2.5) and using the change of variable x=Tρy, one obtains
∫RN|G|−1κ−1|ΔG|κκ−1dx≤CT−2ρκκ−1∫Tρ<|x|<√2Tρg(|x|2T2ρ)ℓ−2κκ−1dx=CT−2ρκκ−1+Nρ∫1<|y|<√2g(|y|2)ℓ−2κκ−1dy, |
which yields (notice that ℓ>2κκ−1)
∫RN|G|−1κ−1|ΔG|κκ−1dx≤CT−2ρκκ−1+Nρ. | (2.6) |
Finally, using (2.3), (2.4) and (2.6), (2.2) follows.
Lemma 2.2. Let κ>1 and ℓ>κκ−1. Then
∫Q|ξT|−1κ−1|∇ξT|κκ−1dxdt≤CT−ρκκ−1+Nρ+1. | (2.7) |
Proof. By (2.1) and the properties of the cut-off function g, one has
∫Q|ξT|−1κ−1|∇ξT|κκ−1dxdt=(∫∞0F(t)dt)(∫Tρ<|x|<√2Tρ|G|−1κ−1|∇G|κκ−1dx). | (2.8) |
On the other hand, for Tρ<|x|<√2Tρ, an elementary calculation shows that
|∇G(x)|=2ℓT−2ρ|x||g′(|x|2T2ρ)|g(|x|2T2ρ)ℓ−1≤2√2ℓT−ρ|g′(|x|2T2ρ)|g(|x|2T2ρ)ℓ−1≤CT−ρg(|x|2T2ρ)ℓ−1, |
which yields
|G|−1κ−1|∇G|κκ−1≤CT−ρκκ−1g(|x|2T2ρ)ℓ−κκ−1,Tρ<|x|<√2Tρ. |
Therefore, using the change of variable x=Tρy and the fact that ℓ>κκ−1, one obtains
∫Tρ<|x|<√2Tρ|G|−1κ−1|∇G|κκ−1dx≤CT−ρκκ−1∫Tρ<|x|<√2Tρg(|x|2T2ρ)ℓ−κκ−1dx=CT−ρκκ−1+Nρ∫1<|y|<√2g(|y|2)ℓ−κκ−1dy, |
i.e.
∫Tρ<|x|<√2Tρ|G|−1κ−1|∇G|κκ−1dx≤CT−ρκκ−1+Nρ. | (2.9) |
Using (2.4), (2.8) and (2.9), (2.7) follows.
Lemma 2.3. Let κ>1 and ℓ>2κκ−1. Then
∫Q|ξT|−1κ−1|ξTtt|κκ−1dxdt≤CT−2κκ−1+1+Nρ. | (2.10) |
Proof. By (2.1) and the properties of the cut-off functions f and g, one has
∫Q|ξT|−1κ−1|ξTtt|κκ−1dxdt=(∫T0F(t)−1κ−1|F″(t)|κκ−1dt)(∫0<|x|<√2TρG(x)dx). | (2.11) |
An elementary calculation shows that
F(t)−1κ−1|F″(t)|κκ−1≤CT−2κκ−1f(tT)ℓ−2κκ−1,0<t<T, |
which yields (since ℓ>2κκ−1)
∫T0F(t)−1κ−1|F″(t)|κκ−1dt≤CT−2κκ−1+1. | (2.12) |
On the other hand, using the change of variable x=Tρy, one obtains
∫0<|x|<√2TρG(x)dx=∫0<|x|<√2Tρg(|x|2T2ρ)ℓdx=TNρ∫0<|y|<√2g(|y|2)ℓdy, |
which yields
∫0<|x|<√2TρG(x)dx≤CTNρ. | (2.13) |
Therefore, using (2.11), (2.12) and (2.13), (2.10) follows.
Lemma 2.4. Let κ>1 and ℓ>κκ−1. Then
∫Q|ξT|−1κ−1|ξTt|κκ−1dxdt≤CT−κκ−1+1+Nρ. | (2.14) |
Proof. By (2.1) and the properties of the cut-off functions f and g, one has
∫Q|ξT|−1κ−1|ξTt|κκ−1dxdt=(∫T0F(t)−1κ−1|F′(t)|κκ−1dt)(∫0<|x|<√2TρG(x)dx). | (2.15) |
An elementary calculation shows that
F(t)−1κ−1|F′(t)|κκ−1≤CT−κκ−1f(tT)ℓ−κκ−1,0<t<T, |
which yields (since ℓ>κκ−1)
∫T0F(t)−1κ−1|F′(t)|κκ−1dt≤CT1−κκ−1. | (2.16) |
Therefore, using (2.13), (2.15) and (2.16), (2.14) follows.
Proposition 3.1. Suppose that problem (1.1) admits a global weak solution u with (u,∇u)∈Lploc(Q)×Lqloc(Q). Then there exists a constant C>0 such that
∫Qw(x)φdxdt≤Cmin{A(φ),B(φ)}, | (3.1) |
for all φ∈C2c(Q), φ≥0, where
A(φ)=∫Qφ−1p−1|φtt|pp−1dxdt+∫Qφ−1p−1|φt|pp−1dxdt+∫Qφ−1p−1|Δφ|pp−1dxdt |
and
B(φ)=∫Qφ−1p−1|φtt|pp−1dxdt+∫Qφ−1p−1|φt|pp−1dxdt+∫Qφ−1q−1|∇φ|qq−1dxdt. |
Proof. Let u be a global weak solution to problem (1.1) with
(u,∇u)∈Lploc(Q)×Lqloc(Q). |
Let φ∈C2c(Q), φ≥0. Using (1.6), one obtains
∫Q|u|pφdxdt+∫Qw(x)φdxdt≤∫Q|u||φtt|dxdt+∫Q|u||Δφ|dxdt+∫Q|u||φt|dxdt. | (3.2) |
On the other hand, by ε-Young inequality, 0<ε<13, one has
∫Q|u||φtt|dxdt=∫Q(|u|φ1p)(φ−1p|φtt|)dxdt≤ε∫Q|u|pφdxdt+C∫Qφ−1p−1|φtt|pp−1dxdt. | (3.3) |
Here and below, C denotes a positive generic constant, whose value may change from line to line. Similarly, one has
∫Q|u||Δφ|dxdt≤ε∫Q|u|pφdxdt+C∫Qφ−1p−1|Δφ|pp−1dxdt | (3.4) |
and
∫Q|u||φt|dxdt≤ε∫Q|u|pφdxdt+C∫Qφ−1p−1|φt|pp−1dxdt | (3.5) |
Therefore, using (3.2), (3.3), (3.4) and (3.5), it holds that
(1−3ε)∫Q|u|pφdxdt+∫Qw(x)φdxdt≤CA(φ). |
Since 1−3ε>0, one deduces that
∫Qw(x)φdxdt≤CA(φ). | (3.6) |
Again, by (1.6), one has
∫Q(|u|p+|∇u|q)φdxdt+∫Qw(x)φdxdt=∫Quφttdxdt−∫QuΔφdxdt−∫Quφtdxdt=∫Quφttdxdt+∫Q∇u⋅∇φdxdt−∫Quφtdxdt, |
where ⋅ denotes the inner product in RN. Hence, it holds that
∫Q(|u|p+|∇u|q)φdxdt+∫Qw(x)φdxdt≤∫Q|u||φtt|dxdt+∫Q|∇u||∇φ|dxdt+∫Q|u||φt|dxdt. | (3.7) |
By ε-Young inequality (ε=12), one obtains
∫Q|u||φtt|dxdt≤12∫Q|u|pφdxdt+C∫Qφ−1p−1|φtt|pp−1dxdt, | (3.8) |
∫Q|u||φt|dxdt≤12∫Q|u|pφdxdt+C∫Qφ−1p−1|φt|pp−1dxdt, | (3.9) |
∫Q|∇u||∇φ|dxdt≤12∫Q|∇u|qφdxdt+C∫Qφ−1q−1|∇φ|qq−1dxdt. | (3.10) |
Next, using (3.7), (3.8), (3.9) and (3.10), one deduces that
12∫Q|∇u|qφdxdt+∫Qw(x)φdxdt≤CB(φ), |
which yields
∫Qw(x)φdxdt≤CB(φ). | (3.11) |
Finally, combining (3.6) with (3.11), (3.1) follows.
Proposition 3.2. Suppose that problem (1.1) admits a global weak solution u with (u,∇u)∈Lploc(Q)×Lqloc(Q). Then
∫Qw(x)ξTdxdt≤Cmin{A(ξT),B(ξT)}, | (3.12) |
for all T>0, where ξT is defined by (2.1).
Proof. Since for all T>0, ξT∈C2c(Q), ξT≥0, taking φ=ξT in (3.1), (3.12) follows.
Proposition 3.3. Let w∈L1loc(RN), w≥0 and w≢0. Then, for sufficiently large T,
∫Qw(x)ξTdxdt≥CT, | (3.13) |
where ξT is defined by (2.1).
Proof. By (2.1) and the properties of the cut-off functions f and g, one has
∫Qw(x)ξTdxdt=(∫T0f(tT)ℓdt)(∫0<|x|<√2Tρw(x)g(|x|2T2ρ)ℓdx). | (3.14) |
On the other hand,
∫T0f(tT)ℓdt=T∫10f(s)ℓds. | (3.15) |
Moreover, for sufficiently large T (since w,g≥0),
∫0<|x|<√2Tρw(x)g(|x|2T2ρ)ℓdx≥∫0<|x|<1w(x)g(|x|2T2ρ)ℓdx. | (3.16) |
Notice that since w∈L1loc(RN), w≥0, w≢0, and using the properties of the cut-off function g, by the domianted convergence theorem, one has
limT→∞∫0<|x|<1w(x)g(|x|2T2ρ)ℓdx=∫0<|x|<1w(x)dx>0. |
Hence, for sufficiently large T,
∫0<|x|<1w(x)g(|x|2T2ρ)ℓdx≥C. | (3.17) |
Using (3.14), (3.15), (3.16) and (3.17), (3.13) follows.
Now, we are ready to prove the Fujita-type result given by Theorem 1.1. The proof is by contradiction and makes use of the nonlinear capacity method, which was developed by Mitidieri and Pohozaev (see e.g. [11]).
Proof of Theorem 1.1. (ⅰ) Suppose that problem (1.1) admits a global weak solution u with (u,∇u)∈Lploc(Q)×Lqloc(Q). By Propositions 3.2 and 3.3, for sufficiently large T, one has
CT≤min{A(ξT),B(ξT)}, | (3.18) |
where ξT is defined by (2.1),
A(ξT)=∫Qξ−1p−1T|ξTtt|pp−1dxdt+∫Qξ−1p−1T|ξTt|pp−1dxdt+∫Qξ−1p−1T|ΔξT|pp−1dxdt | (3.19) |
and
B(ξT)=∫Qφ−1p−1|ξTtt|pp−1dxdt+∫Qξ−1p−1T|ξTt|pp−1dxdt+∫Qξ−1q−1T|∇ξT|qq−1dxdt. | (3.20) |
Taking ℓ>max{2pp−1,qq−1}, using Lemmas 2.1, 2.3, 2.4 with κ=p, and Lemma 2.2 with κ=q, one obtains the following estimates
∫Qξ−1p−1T|ξTtt|pp−1dxdt≤CT−2pp−1+1+Nρ, | (3.21) |
∫Qξ−1p−1T|ξTt|pp−1dxdt≤CT−pp−1+1+Nρ, | (3.22) |
∫Qξ−1p−1T|ΔξT|pp−1dxdt≤CT−2ρpp−1+Nρ+1, | (3.23) |
∫Qξ−1q−1T|∇ξT|qq−1dxdt≤CT−ρqq−1+Nρ+1. | (3.24) |
Hence, by (3.19), (3.21), (3.22) and (3.23), one deduces that
A(ξT)≤C(T−2pp−1+1+Nρ+T−pp−1+1+Nρ+T−2ρpp−1+Nρ+1). |
Observe that
−2pp−1+1+Nρ<−pp−1+1+Nρ. | (3.25) |
So, for sufficiently large T, one deduces that
A(ξT)≤C(T−pp−1+1+Nρ+T−2ρpp−1+Nρ+1). |
Notice that the above estimate holds for all ρ>0. In particular, when ρ=12, it holds that
A(ξT)≤CT−pp−1+1+N2 | (3.26) |
Next, by (3.20), (3.21), (3.22), (3.24) and (3.25), one deduces that
B(ξT)≤C(T−pp−1+1+Nρ+T−ρqq−1+Nρ+1). |
Similarly, the above inequality holds for all ρ>0. In particular, when ρ=p(q−1)q(p−1), it holds that
B(ξT)≤CT−pp−1+1+Np(q−1)q(p−1). | (3.27) |
Therefore, it follows from (3.18), (3.26) and (3.27) that
0<C≤min{T−pp−1+N2,T−pp−1+Np(q−1)q(p−1)}, |
which yields
0<C≤T−pp−1+N2:=Tα(N) | (3.28) |
and
0<C≤T−pp−1+Np(q−1)q(p−1):=Tβ(N). | (3.29) |
Notice that for N∈{1,2}, one has
α(N)={−p−12(p−1)ifN=1,−1p−1ifN=2, |
which shows that
α(N)<0,N∈{1,2}. |
Hence, for N∈{1,2}, passing to the limit as T→∞ in (3.28), a contradiction follows (0<C≤0). This proves part (ⅰ) of Theorem 1.1.
(ⅱ) Let N≥3. In this case, one has
α(N)<0⟺p<1+2N−2. |
Hence, if p<1+2N−2, passing to the limit as T→∞ in (3.28), a contradiction follows. Furthermore, one has
β(N)<0⟺q<1+1N−1. |
Hence, if q<1+1N−1, passing to the limit as T→∞ in (3.29), a contradiction follows. Therefore, we proved part (ⅱ) of Theorem 1.1.
(ⅲ) Let
p>1+2N−2andq>1+1N−1. | (3.30) |
Let
u(x)=ε(1+r2)−δ,r=|x|,x∈RN, | (3.31) |
where
max{1p−1,2−q2(q−1)}<δ<N−22 | (3.32) |
and
0<ε<min{1,(2δ(N−2δ−2)1+2qδq)1min{p,q}−1}. | (3.33) |
Note that due to (3.30), the set of δ satisfying (3.32) is nonempty. Let
w(x)=−Δu−|u|p−|∇u|q,x∈RN. |
Elementary calculations yield
w(x)=2δε[(1+r2)−δ−1−2r2(δ+1)(1+r2)−δ−2+(N−1)(1+r2)−δ−1]−εp(1+r2)−δp−2qδqεqrq(1+r2)−(δ+1)q. | (3.34) |
Hence, one obtains
w(x)≥2δε[(1+r2)−δ−1−2(δ+1)(1+r2)−δ−1+(N−1)(1+r2)−δ−1]−εp(1+r2)−δp−2qδqεq(1+r2)−(δ+1)q+q2=2δε(N−2δ−2)(1+r2)−δ−1−εp(1+r2)−δp−2qεqδq(1+r2)−(δ+12)q. |
Next, using (3.32) and (3.33), one deduces that
w(x)≥ε[2δ(N−2δ−2)−εp−1−2qεq−1δq](1+r2)−δ−1>0. |
Therefore, for any δ and ε satisfying respectively (3.32) and (3.33), the function u defined by (3.31) is a stationary solution (then global solution) to (1.1) for some w>0. This proves part (ⅲ) of Theorem 1.1.
Proposition 4.1. Let N≥3, σ<N and w∈I+σ. Then, for sufficiently large T,
∫Qw(x)ξTdxdt≥CTρ(N−σ)+1. | (4.1) |
where ξT is defined by (2.1).
Proof. By (3.14) and (3.15), one has
∫Qw(x)ξTdxdt=CT∫0<|x|<√2Tρw(x)g(|x|2T2ρ)ℓdx. | (4.2) |
On the other hand, by definition of I+σ, and using that g(s)=1, 0≤s≤1, for sufficiently large T, one obtains (since w,g≥0)
∫0<|x|<√2Tρw(x)g(|x|2T2ρ)ℓdx≥∫0<|x|<Tρw(x)g(|x|2T2ρ)ℓdx=∫0<|x|<Tρw(x)dx≥∫Tρ2<|x|<Tρw(x)dx≥C∫Tρ2<|x|<Tρ|x|−σdx=CTρ(N−σ). |
Hence, using (4.2), (4.1) follows.
Now, we are ready to prove the new critical behavior for the problem (1.1) stated by Theorem 1.2.
Proof of Theorem 1.2. (ⅰ) Suppose that problem (1.1) admits a global weak solution u with (u,∇u)∈Lploc(Q)×Lqloc(Q). By Propositions 3.2 and 4.1, for sufficiently large T, one obtains
CTρ(N−σ)+1≤min{A(ξT),B(ξT)}, | (4.3) |
where ξT, A(ξT) and B(ξT) are defined respectively by (2.1), (3.19) and (3.20). Next, using (3.26) and (4.3) with ρ=12, one deduces that
0<C≤T−pp−1+σ2. | (4.4) |
Observe that
−pp−1+σ2<0⟺σ<2pp−1. |
Hence, if σ<2pp−1, passing to the limit as T→∞ in (4.4), a contradiction follows. Furthermore, using (3.27) and (4.3) with ρ=p(q−1)q(p−1), one deduces that
0<C≤Tpp−1(σ(q−1)q−1). | (4.5) |
Observe that
pp−1(σ(q−1)q−1)<0⟺σ<qq−1. |
Hence, if σ<qq−1, passing to the limit as T→∞ in (4.5), a contradiction follows. Therefore, part (ⅰ) of Theorem 1.2 is proved.
(ⅱ) Let
σ≥max{2pp−1,qq−1}. | (4.6) |
Let u be the function defined by (3.31), where
σ−22<δ<N−22 | (4.7) |
and ε satisfies (3.33). Notice that since σ<N, the set of δ satisfying (4.7) is nonempty. Moreover, due to (4.6) and (4.7), δ satisfies also (3.32). Hence, from the proof of part (iii) of Theorem 1.2, one deduces that
w(x)=−Δu−|u|p−|∇u|q>0,x∈RN. |
On the other hand, using (3.34) and (4.7), for |x| large enough, one obtains
w(x)≤C(1+|x|2)−δ−1≤C|x|−2δ−2≤C|x|−δ, |
which proves that w∈I−σ. This proves part (ⅱ) of Theorem 1.2.
We investigated the large-time behavior of solutions to the nonlinear damped wave equation (1.1). In the case when N∈{1,2}, we proved that for all p>1, problem (1.1) admits no global weak solution (in the sense of Definition 1). Notice that from [5], the same result holds for the problem without gradient term, namely problem (1.5). This shows that in the case N∈{1,2}, the nonlinearity |∇u|q has no influence on the critical behavior of problem (1.5). In the case when N≥3, we proved that, if 1<p<1+2N−2 or 1<q<1+1N−1, then problem (1.1) admits no global weak solution, while if p>1+2N−2 and q>1+1N−1, global solutions exist for some w>0. This shows that in this case, the Fujita critical exponent for the problem (1.1) is given by
pc(N,q)={1+2N−2ifq>1+1N−1,∞ifq<1+1N−1. |
From this result, one observes two facts. First, in the range q>1+1N−1, from [5], the critical exponent pc(N,q) is also equal to the critical exponent for the problem without gradient term, which means that in this range of q, the nonlinearity |∇u|q has no influence on the critical behavior of problem (1.5). Secondly, one observes that the gradient term induces an interesting phenomenon of discontinuity of the Fujita critical exponent pc(N,q) jumping from 1+2N−2 to ∞ as q reaches the value 1+1N−1 from above. In the same case N≥3, we determined also the second critical exponent for the problem (1.1) in the sense of Lee and Ni [10], when p>1+2N−2 and q>1+1N−1. Namely, we proved that in this case, if σ<max{2pp−1,qq−1} and w∈I+σ, then there is no global weak solution, while if max{2pp−1,qq−1}≤σ<N, global solutions exist for some w∈I−σ. This shows that the second critical exponent for the problem (1.1) in the sense of Lee and Ni is given by
σ∗=max{2pp−1,qq−1}. |
We end this section with the following open questions:
(Q1). Find the first and second critical exponents for the system of damped wave equations with mixed nonlinearities
{utt−Δu+ut=|v|p1+|∇v|q1+w1(x)in(0,∞)×RN,vtt−Δv+vt=|u|p2+|∇u|q2+w2(x)in(0,∞)×RN, |
where pi,qi>1, wi∈L1loc(RN), wi≥0 and wi≢0, i=1,2.
(Q2). Find the Fujita critical exponent for the problem (1.1) with w≡0.
(Q3) Find the Fujita critical exponent for the problem
utt−Δu+ut=1Γ(1−α)∫t0(t−s)−α|u(s,x)|pds+|∇u|q+w(x),t>0,x∈RN, |
where N≥1, p,q>1, 0<α<1 and w∈L1loc(RN), w≥0. Notice that in the limit case α→1−, the above equation reduces to (1.1).
(Q4) Same question as above for the problems
utt−Δu+ut=|u|p+1Γ(1−α)∫t0(t−s)−α|∇u(s,x)|qds+w(x) |
and
utt−Δu+ut=1Γ(1−α)∫t0(t−s)−α|u(s,x)|pds+1Γ(1−β)∫t0(t−s)−β|∇u(s,x)|q+w(x), |
where 0<α,β<1.
The author is supported by Researchers Supporting Project RSP-2020/4, King Saud University, Saudi Arabia, Riyadh.
The author declares no conflict of interest.
[1] | Chaperon I (1986) Theoretical Study of Coning Toward Horizontal and Vertical Wells in Anisotropic Formations: Subcritical and Critical Rates. SPE Annu Tech Conf Exhib, 5-8. |
[2] |
Chierici GL, Ciucci GM, Pizzi G (1964) A Systematic Study of Gas and Water Coning By Potentiometric Models. J Pet Technol 16: 923-929. doi: 10.2118/871-PA
![]() |
[3] | Wheatley MJ (1985) An Approximate Theory of Oil/Water Coning. SPE Annual Technical Conference and Exhibition, Las Vegas, Nevada, USA, 22-26. |
[4] | Al-Sikaiti SH, Regtien J (2008) Challenging Conventional Wisdom, Waterflooding Experience on Heavy Oil Fields in Southern Oman. World Heavy Oil Congr: 10-12. |
[5] |
Karami M, Khaksar Manshad A, Ashoori S (2014) The Prediction of Water Breakthrough Time and Critical Rate with a New Equation for an Iranian Oil Field. Pet Sci Technol 32: 211-216. doi: 10.1080/10916466.2011.586960
![]() |
[6] |
Jiang X (2011) A review of physical modelling and numerical simulation of long-term geological storage of CO2. Appl Energy 88: 3557-3566. doi: 10.1016/j.apenergy.2011.05.004
![]() |
[7] |
Jung JY, Huh C, Kang SG, et al. (2013) CO2 transport strategy and its cost estimation for the offshore CCS in Korea. Appl Energy 111: 1054-1060. doi: 10.1016/j.apenergy.2013.06.055
![]() |
[8] | Buscheck TA, White JA, Chen M, et al. (2014) Pre-injection brine production for managing pressure in compartmentalized CO2 storage reservoirs. Energy Procedia 63, 5333-5340. |
[9] |
González-Nicolás A, Cihan A, Petrusak R, et al. (2019) Pressure management via brine extraction in geological CO2 storage: Adaptive optimization strategies under poorly characterized reservoir conditions. Int J Greenhouse Gas Control 83: 176-185. doi: 10.1016/j.ijggc.2019.02.009
![]() |
[10] | Pongtepupathum W, Williams J, Krevor S, et al. (2017) Optimising Brine Production for Pressure Management During CO2 sequestration in the Bunter Sandstone of the UK Southern North Sea. Soc Pet Eng. |
[11] | Tarrahi M, Afra S (2015) Optimization of Geological Carbon Sequestration in Heterogeneous Saline Aquifers through Managed Injection for Uniform CO2 Distribution. Carbon Management Technology Conference. |
[12] |
Liao C, Liao X, Mu L, et al. (2017) Improving water-alternating-CO2 flooding of heterogeneous, low permeability oil reservoirs using ensemble optimisation algorithm. Int J Global Warming 12: 242-260. doi: 10.1504/IJGW.2017.084509
![]() |
[13] | Shamshiri H, Jafarpour B (2010) Optimization of Geologic CO2 Storage in Heterogeneous Aquifers Through Improved Sweep Efficiency. SPE International Conference on CO2 Capture, Storage, and Utilization held in New Orleans, Louisiana, 10-12. |
[14] | Kazakis N, Pavlou A, Vargemezis G, et al. (2016) Seawater intrusion mapping using electrical resistivity tomography and hydrochemical data. An application in the coastal area of eastern Thermaikos Gulf, Greece. Sci Total Environ 543: 373-387. |
[15] | Goldman M, Kafri U (2006) Hydrogeophysical applications in coastal aquifers. In: Vereecken H, Author, Applied Hydrogeophysics, Eds., Springer: Dordrecht, The Netherlands, 233-254. |
[16] | Kuras O, Pritchard J, Meldrum P, et al. (2009) Monitoring hydraulic processes with automated time-lapse electrical resistivity tomography (ALERT): Compt Rendus Geosci 341: 868-885. |
[17] | Dell'Aversana P, Rizzo E, Servodio R (2017) 4D borehole electric tomography for hydrocarbon reservoir monitoring. EAGE Conference and Exhibition, 2017: 1-5. |
[18] | McNeice GW, Colombo D (2018) 3D inversion of surface to borehole CSEM for waterflood monitoring. SEG Int Expo Ann Meet, 878-880. |
[19] | Bergmann P, Schmidt-Hattenberger C, Kiessling D, et al. (2012) Surface-downhole electrical resistivity tomography applied to monitoring of CO2 storage at Ketzin, Germany. Geophysics 77: B253-B267. |
[20] |
Bergmann P, Schmidt-Hattenberger C, Labitzke1 T, et al. (2017) Fluid injection monitoring using electrical resistivity tomography—five years of CO2 injection at Ketzin, Germany. Geophys Prospect 65: 859-875. doi: 10.1111/1365-2478.12426
![]() |
[21] |
Schmidt-Hattenberger C, Bergmann P, Bö sing D, et al. (2013) Electrical resistivity tomography (ERT) for monitoring of CO2 migration-from tool development to reservoir surveillance at the Ketzinpilot site. Energy Procedia 37: 4268-4275. doi: 10.1016/j.egypro.2013.06.329
![]() |
[22] |
Descloitres M, Ribolzi O, Le Troquer Y (2003) Study of infiltration in a Sahelian gully erosion area using time-lapse resistivity mapping. Catena 53: 229-253. doi: 10.1016/S0341-8162(03)00038-9
![]() |
[23] | Dell'Aversana P, Servodio R, Bottazzi F, et al. (2019_a) Asset Value Maximization through a Novel Well Completion System for 3d Time Lapse Electromagnetic Tomography Supported by Machine Learning. Abu Dhabi Int Pet Exhib Conf. |
[24] | Dell'Aversana P, Servodio R, Bottazzi F, et al, (2019_b). Asset Value Maximization through a Novel Well Completion System for 3d Time Lapse Electromagnetic Tomography Supported by Machine Learning. Soc Pet Eng J. |
[25] | Bottazzi F, Dell'Aversana P, Molaschi C, et al. (2020) A New Downhole System for Real Time Reservoir Fluid Distribution Mapping: E-REMM, the Eni-Reservoir Electro-Magnetic Mapping System. Int Pet Technol Conf. |
[26] | Brown RG (1956) Exponential Smoothing for Predicting Demand. Cambridge, Massachusetts: Arthur D. Little Inc 15. |
[27] |
Saad EW, Prokhorov DV, Wunsch DC (1998) Comparative study of stock trend prediction using time delay, recurrent and probabilistic neural networks. IEEE T Neural Network 9: 1456-1470. doi: 10.1109/72.728395
![]() |
[28] |
Tealab A (2018) Time series forecasting using artificial neural networks methodologies: A systematic review. Future Comput Inform J 3: 334-340. doi: 10.1016/j.fcij.2018.10.003
![]() |
[29] |
Sherstinsky A (2020) Fundamentals of Recurrent Neural Network (RNN) and Long Short-Term Memory (LSTM) Network. Phys D 404: 132306. doi: 10.1016/j.physd.2019.132306
![]() |
[30] |
Kaelbling LP, Littman ML, Moore AW (1996) Reinforcement Learning: A Survey. J Artif Intell Res 4: 237-285. doi: 10.1613/jair.301
![]() |
[31] | Raschka S, Mirjalili V (2017) Python Machine Learning: Machine Learning and Deep Learning with Python, scikit-learn, and TensorFlow, 2nd Ed., PACKT Books. |
[32] | Russell S, Norvig P (2016) Artificial Intelligence: A Modern approach, Global Edition, Pearson Education, Inc., publishing as Prentice Hall. |
[33] | Machine learning workflows. Multidisciplinary applications using Python, 2021. Available from: https://www.researchgate.net/publication/348741974_Q_Learning_generic. |
[34] |
Benson SM, Surles T (2006) Carbon dioxide capture and storage: an overview with emphasis on capture and storage in deep geological formations. Proc IEEE 94: 1795-1805. doi: 10.1109/JPROC.2006.883718
![]() |
[35] |
Christensen NB, Sherlock D, Dodds K (2006) Monitoring CO2 injection with cross-hole electrical resistivity tomography. Explor Geophys 37: 44-49. doi: 10.1071/EG06044
![]() |
[36] |
LaBrecque DJ, Miletto M, Daily W, et al. (1996) The effects of noise on Occam's inversion of resistivity tomography data. Geophysics 61: 538-548. doi: 10.1190/1.1443980
![]() |
[37] | Dell'Aversana P, Carbonara S, Vitale S, et al (2011) Quantitative estimation of oil saturation from marine CSEM data: A case history. First Break 29. |
[38] | Befus KM (2017) Pyres: A Python Wrapper for Electrical Resistivity Modeling with R2. J Geophys Eng 15. |
[39] | Binley A, A Kemna (2005) Electrical Methods, In: Hydrogeophysics by Rubin and Hubbard Eds., Springer, 129-156. |
[40] | Binley A (2015) Tools and Techniques: DC Electrical Methods, In: Treatise on Geophysics, 2nd Ed., Schubert: Elsevier, 233-259. |
[41] | Binley A (2016) R2 version 3.1 Manual. Lancaster, UK. Available from: http://es.lancs.ac.uk/people/amb/Freeware/freeware.htm. |
[42] | PUNQ-S3 reservoir model, Imperial College of London. Available from: https://www.imperial.ac.uk/earth-science/research/research-groups/perm/standard-models/. |
[43] | Archie GE (1950) Introduction to petrophysics of reservoir rocks. AAPG Bulletin 34: 943-961. |
[44] |
Claerbout JF, Muir F (1973) Robust modeling with erratic data. Geophysics 18: 826-844. doi: 10.1190/1.1440378
![]() |
[45] |
Sagheer A, Kotb M (2019) Time series forecasting of petroleum production using deep LSTM recurrent networks. Neurocomputing 323: 203-213. doi: 10.1016/j.neucom.2018.09.082
![]() |
1. | Sen Ming, Jiayi Du, Bo Du, Existence of Blow-Up Solution to the Cauchy Problem of Inhomogeneous Damped Wave Equation, 2025, 17, 2073-8994, 1009, 10.3390/sym17071009 |