Professional Documents
Culture Documents
HT 143 06 060801
HT 143 06 060801
computational fluid mechanics (CFD) methods can simulate arbi- that for forced convection discussed in this section, Ri ¼ 0. Given
trary thermal boundary conditions, e.g., the mixed Robin bound- the boundary and initial conditions, simulating the forced convec-
ary condition, or arbitrary temperature distributions imposed on tion problems with standard CFD techniques is relatively simple.
the heated surface with very good accuracy and on industrial com- However, here, we aim to demonstrate a new proof-of-concept of
plexity geometric domains. However, in real heat transfer applica- inferring the entire temperature field from very sparse temperature
tions, e.g., in power electronics or in a nuclear reactor, unlike the measurements. In particular, unlike the well-posed simulation
velocity boundary conditions, the thermal boundary conditions are problem, which explicitly defines the thermal boundary conditions
never precisely known as this would require an enormous and on all boundaries of the domain, the problem we focus on is an ill-
complex instrumentation, which is not feasible in industrial appli- posed problem, where the boundary conditions are not fully
cations but only in a few cases in research experimental setups. known and have to be discovered from very few measurements
The lack of thermal boundary conditions leads to an ill-posed while simultaneously infer the entire temperature field everywhere
boundary value problem for the energy equation, which cannot be in the domain. Moreover, we can also infer the velocity and pres-
solved no matter how sophisticated the CFD method is. To this sure fields everywhere in the domain. This can be considered as
end, we address this ill-posed problem here by asking the simple an inverse problem, which can be addressed by PINNs. To dem-
question: what if we have some temperature measurements at a onstrate the PINN effectiveness, we perform the forced convec-
few points, e.g., using simple thermocouples, in convenient loca- tion simulations in two different scenarios: heat transfer inside an
tions that may or may not include the heated surface with the enclosure, and heat transfer over a stationary cylinder, where the
unknown boundary condition. Can we then solve an inverse prob- flows are both steady.
lem using both the measurements and the governing equations of
flow and heat transfer. In a typical CFD setup, this would require 3.1.1 Forced Convection in an Enclosure. We consider 2D
a tedious data assimilation method [31,32] blended in with flow steady forced convection heat transfer in an enclosure, as shown
and heat transfer solvers and may take extremely long times to in Fig. 2; the two hot objects with red boundaries in the enclosure
converge, if it could converge at all. Here, inspired by the devel- are at temperature h ¼ 1; uniform cooling flow of u ¼ 1; v ¼ 0
opment of PINNs, we exploit the expressivity of deep neural net- enters from the left-bottom and exits from the right-top boundary.
works to formulate this ill-posed problem, blending seamlessly The temperature on the rest of the walls and inflow boundary is
data and mathematical models while simultaneously inferring h ¼ 0. On the outflow boundary, @h n ¼ 0. The governing equations
both the flow and temperature fields. are given by Eq. (6) with Re ¼ 50, Pe ¼ 36, and Ri ¼ 0.0. Note
that here the height of AB is used as the characteristic length for
the Reynolds number. The simulation started from initial
3.1 Forced Convection. We first consider PINN applications
to forced convection problems, which are commonly encountered
in various industrial systems. The governing equations of this
problem are the incompressible Navier–Stokes equations and the
corresponding temperature equation
@h 1
þ ðu rÞh ¼ r2 h
@t Pe
@u 1 2 (6)
þ ðu rÞu ¼ rp þ r u þ Rih
@t Re Fig. 2 Forced convection in an enclosure. The boundaries in
ru¼0 red color are at higher temperature, and the cooling inflow
enters from the left-bottom and exits at the right-top. The blue
arrows show the velocity vectors. The temperature at the boun-
where h, u ¼ ðu; vÞT , and p are the dimensionless temperature, daries EF and GH are not known. The green triangles represent
velocity, and pressure fields, respectively. Pe, Re, and Ri denote the temperature probes while the red circles denote the velocity
the Peclet, Reynolds, and Richardson numbers, respectively. Note probes.
Fig. 4 Forced convection of flow past cylinder: results of different sensor configurations for inferring constant temperature
surface
Fig. 9 Active sensor placement: (a) the sensor configurations of initial setup and after the first iteration, (b) temperature pro-
file on the cylinder surface, and (c) Nusselt number on the cylinder surface
Fig. 10 Mixed convection of flow past a cylinder. (a) Temperature measurements. DPIT measures temperature in an area rep-
resented by a red rectangle with 8 3 8 grids. (b) The relative L2-norm errors of temperature, velocity, and pressure fields along
time inferred by PINN. (c) The mean temperature profile on the cylinder surface. (d) The 2D fields at t 5 5.0 inferred by PINN
and the corresponding pointwise error maps.
where k1, k2 are thermal diffusivity parameters. For simplicity, L¼ ½LrðkÞ þ LsðkÞ
bc
þ LsNc þ Ls0 þ Ldata (26)
k¼1
here we assume that X ¼ fðx; tÞ : ð0; LÞ ð0; Tg is a rectangular
sð0Þ ¼ s0 (19) 1X N
Ls0 ¼ jsb ð0Þ s0 j2 (30)
N i¼1
To illustrate the main capabilities of PINNs under this multi-
physics setting, here we consider a prototype inverse one-
dimensional two-phase Stefan problem, in a computational 1X M
Ldata ¼ juh xidata ; tidata ui j2 (31)
domain X ¼ ½0; 2 ½0; 1 with given coefficients k1 ¼ 2; k2 ¼ 1; M i¼1
a1 ¼ 2; a2 ¼ 1, and s0 ¼ 1=2. Under this setting, one can fabri-
cate a benchmark for which the exact solution for the temperature N
Here N denotes the batch size, fðxi ; ti Þgi¼1 are collocation points
distribution and the moving boundary can be analytically derived that are randomly sampled at each iteration of the gradient
as descent. In addition, k1 ; k2 are two extra trainable parameters.
Since we know that the thermal diffusivity parameters cannot be
u1 ðx; tÞ ¼ 2ðexpððt þ 1=2 xÞ=2Þ 1Þ (20)
negative, we initialize them at 0.1 and constrain them to remain
positive during model training.
u2 ðx; tÞ ¼ expððt þ 1=2 xÞ 1Þ (21) Figure 12 summarizes the predictions of the proposed PINN
model, indicating an accurate reconstruction of both the latent
sðtÞ ¼ t þ 1=2 (22) temperature field, as well as the dynamic interface s(t). Moreover,
Fig. 13(b) shows the identified parameters k1 and k2. Here, we can
Now, suppose that a1 ; a2 are known. Given some measurements observe a discrepancy between the true and identified parameters
of the temperature distribution inside the domain X, our goal is to indicating that the PINN model described above fails to correctly
predict the latent functions fu1 ðx; tÞ; u2 ðx; tÞ; sðtÞg satisfying the identify the unknown thermal diffusivity parameters, even after
system of Eqs. (14)–(19). Moreover, we would also like to infer
the unknown thermal diffusivities k1 and k2.
A training dataset for this benchmark can be generated by ran-
domly sampling M ¼ 200 measurement points inside the domain
X and obtain corresponding data for ui using Eq. (25), i.e.,
M
fðxidata ; tidata Þ; ui gi¼1 . It is worth emphasizing that for any given
datapoint fðxidata ; tidata Þ; ui Þg, we do not know the corresponding
equation that governs ui during training.
Results. As illustrated in Fig. 11, we can employ a PINN model
to represent the unknown interface s(t) by a deep fully connected
neural network (five layers, 100 hidden units, and tanh activa-
tions) sb ðtÞ. Similarly, we represent temperature distributions
u1 ðx; tÞ and u2 ðx; tÞ by another fully connected neural network
(five layers, 100 hidden units, and tanh activations) with two out-
ð1Þ ð2Þ
puts uh ðx; tÞ and uh ðx; tÞ, i.e.,
uh ð1Þ ð2Þ
½x; t !½uh ðx; tÞ; uh ðx; tÞ (23) Fig. 11 Two-phase Stefan problem: PINN architecture for infer-
ring the latent temperature fields u1 (x; t); u2 (x ; t), and phase-
In this way, the final predicted solution in the whole domain X transition interface s(t), from scattered noisy observations of
can be given by temperature
X
2
L¼ ½LðkÞ ðkÞ
r þ Lsbc þ LsNc Þ þ Ls0 þ kLdata (32)
k¼1
Fig. 12 Inverse two-phase Stefan problem: (a) exact temperature solution along with training data (3) versus the predicted
solution. The relative L2 error: 2:5731023 . (b) Left: comparison of the predicted and exact predicted moving boundary. Right:
the absolute error between the exact and the predicted free boundary for t ‰ ½0; 1. The L2 error is 3:9331024 .
and complex multiphase systems. However, the usual data-driven as well as unknown thermal boundary conditions or interfaces can
approach of neural networks is not appropriate due to the lack of be accurately obtained. PINNs offer a hybrid model, where we
big data and the various limitations on measuring velocity and can use any data that is available at any locations and asynchro-
temperature fields that may change rapidly in space and time. It is nously in time while enforcing the governing equations using
possible to measure temperature on part of a surface, in some automatic differentiation at random points in the space–time
cases, by employing the temperature-sensitive paint method (TSP) domains without the need for elaborate and expensive mesh gen-
[61], while for higher temperatures phosphors can be used. The eration. Hence, PINNs are based on compact computer codes of
infrared cameras can also be used for measurements on a patch of 100 s of lines compared to 1000 s lines of code for traditional
a heated surface. Their resolutions varies from 320 320 to 1280 numerical solvers.
1024, they have good dynamic range at 14 bits, and uncertain- Moreover, PINNs can solve ill-posed inverse problems not pos-
ties are 62 C for T < 100 C, and 62% of the reading for sible with standard approaches, such as the omnipresent problem
T > 100 C. They can measure up to 600, 2000, and 3000 C of unknown thermal boundary conditions. For decades, both
depending of which of the detectors is used. Within the flow, one experimental and computational research in heat transfer relied on
can use the DPITV method [36], but further enhancements are idealized thermal boundary conditions of constant temperature or
required to improve its accuracy. In these methods, the response constant heat flux, neither of which is valid in practice. The pio-
times are slow, of the order of milliseconds, so it will be necessary neering experimental work of Robert Moffat [62], see, e.g., the
for critical dynamic applications to improve the response times Ph.D. thesis in Ref. [63], first addressed this issue by relaxing
down to 10 s of microseconds. The surface film TSP approach has these assumptions, and we believe that PINNs is an effective
a resolution that is equal to the size of the imaged pixel. For the approach to finally resolve this limitation. We demonstrated this
bulk flow methods, the resolution would be of the order of the possibility in this article by considering forced and mixed heat
mean particle distance, which can be improved with standard transfer with unknown thermal boundary conditions, having only
interpolation methods but also with neural networks and espe- a small number of temperature measurements on the heated cylin-
cially PINNs that can fill gaps and provide high accuracy [20]. der or in the wake. Upon training the neural network, we can dis-
PINNs can play a catalytic role in bridging the gap between cover the entire boundary condition while simultaneously infer
experimental and computational heat transfer. Using sparse meas- the velocity and temperature fields in the domain. The presented
urements by employing the aforementioned multifidelity methods results indicate good performance of the method, e.g., for the case
and encoding directly the conservation laws into the neural net- of constant temperature surface, using at most six measurements
work architecture, inference of the velocity and temperature fields can correctly infer the temperature and Nusselt number profiles on
the boundary with less than 5% error. As the selection of the sen- generative models [68,69], or a Bayesian formulation as in Ref.
sor location is very important for this inverse problem, we also [70]. Future work should address the possibility of multimodality/
proposed a method for active sensor placement. The residual of multifidelity measurements as inputs to PINNs, more efficient
the heat transfer equation is considered as the criterion for select- methods in quantifying uncertainties due to data as well as model
ing the sensor location. This metric is computed by the network, uncertainties, tackling multidimensional multiphase problems,
thus no prior knowledge is required. We assume that adding sen- and producing proper benchmarks and data sets that can be used
sors at the location with highest value of residual can efficiently to further accelerate development of PINNs, especially in the
improve the performance of thermal boundary inference. industrial setting for thermal design, similar to the two applica-
Although the residual is related to the network structure and train- tions we highlighted in this article.
ing process, we demonstrate the correlation between the residual
and the posterior error of Nusselt number. As our test results Acknowledgment
show, this strategy can adaptively select the locations to place sen-
The authors thank Professor Dana Dabiri of Washington Uni-
sors while iteratively increase the prediction accuracy. Hence,
versity for providing the information on current measurement
PINNs can effectively guide the experimental work as well as
techniques. The authors thank the Nvidia team (Oliver Hennigh,
bridging the gap between simulations and experiments as stated
Susheela Narasimhan, Mohammad Amin Nabian, Akshay Subra-
earlier by fusing any multifidelity measurements directly with the
maniam, Kaustubh Tangsali, Max Rietmann, Jose del Aguila Fer-
governing equations, which are encoded in the deep neural
randis, Wonmin Byeon, Zhiwei Fang, Sanjay Choudhry) and Mr.
networks.
Jay Pathak and Dr. Haiyang He of Ansys for providing their
Here, we presented the basic version of PINNs but there have
results for Sec. 5 of the article.
been many developments already, e.g., in employing domain
decomposition in CPINN [64] and XPINN [65] that provide great
flexibility with complex geometries but also in assigning a differ- Funding Data
ent neural network on each subdomain as well as parallel execu-
tion to accelerate inference. Another extension is the use of PhILMs (DOE DE-SC0019453).
variational formulation in hp-VPINN [66]. Moreover, to quantify MURI/OSD (FA9550-20-1-0358).
uncertainties one can use spectral expansions as in Ref. [67], DOE grant (DE-SC0019116).