Conversion of inhomogeneous robin boundary conditions into virtual sources for wave motions and heat conduction
Boe-Shong Hong1 , Po-Jen Su2
1Department of Mechanical Engineering, National Chung Cheng University, Chia-Yi 62102, Taiwan
2Medical Devices and Opto-Electronics Equipment Department, Metal Industries Research and Development Centre, Luzhu Dist, Kaohsiung 82151, Taiwan
Journal of Vibroengineering, Vol. 17, Issue 6, 2015, p. 2846-2857.
Received 29 June 2015; received in revised form 3 August 2015; accepted 11 August 2015; published 30 September 2015
In vibration engineering, the differential equations of wave motions and heat conduction are usually accompanied by inhomogeneous boundary conditions in practice. Boundary inhomogeneity makes the dynamics essentially nonlinear, which prevents Hilbert space from being applied for modal decomposition. To deal with this difficulty, this paper does not treat boundary inhomogeneity as a “condition”, but almost converts it into a virtual source in conjunction with homogeneous boundary. This conversion counts mostly on the Laplace-Galerkin transform, a functional tool developed in previous works. We also explore boundary topology of this virtual-source conversion, and find that its strategy is to zero the environment and simultaneously create a spatially impulsive source on the homogeneous boundary, yielding almost the same solution. In one-dimensional region, such a boundary source takes the form of Dirac delta function usually combined by its derivatives. In a sense, this paper catches how Nature really handles boundary conditions.
Keywords: inhomogeneous Robin boundary conditions, nD transfer function modelling, Sturm-Liouville systems, thermoacoustic dynamics.
Vibration engineering encounter a great quantity of longitudinal waves, transverse waves and heat conduction, such as parabolic or hyperbolic heat-conduction dynamics, acoustic or thermoacoustic oscillations, structural vibrations, quantum mechanics, electromagnetic waves, and so on. Any of these dynamics is governed by a Laplacian operator or its higher orders in space, which is often spatially non-uniform. As the boundary condition, Dirichlet, von-Neumann, or Robin, thereof is homogeneous, its eigenfunctions constitute an admissible, real, orthogonal and complete basis in the Hilbert space of a bounded region. This basis provides modal decomposition of the dynamics for system identification, computational intelligence, model reduction, real-time processing and design purposes. However, boundary conditions are inhomogeneous in many occasions; for instance, the differential equation of heat conduction is always accompanied by inhomogeneous boundary conditions, since temperature is non-zero in nature. With boundary inhomogeneity, the dynamics is essentially nonlinear, which prevents Hilbert space from being directly introduced for modal decomposition.
To remedy such a situation in this paper, we realize the inhomogeneous boundary conditions as virtual sources in conjunction with homogeneous boundary conditions. In one-dimensional cases, such a source is found to be a Dirac Delta distribution combined by its spatial derivatives on boundary. Therein, with the Laplace-Galerkin transform [1-3], both equations governing the interior and the boundary are integrated into a single 2D transfer-function of two independent variables: one is from the time and the other is from the space. Performing the inverse Laplace-Galerkin transform of the 2D transfer-function realizes back the dynamics into homogeneous boundary conditions with virtual sources, both of which yield the identical solution in the interior. With the homogeneous boundary resulting from the virtual-source realization, the Sturm-Liouville properties in Hilbert space are thus applicable for further analysis and synthesis in the mode-frequency domain.
The conversion of boundary inhomogeneity into virtual source has ever been conceptually applied to identify thermal inertia by inputting von-Neumann source , and to derive the mechanical energy of thermoacoustics . In these decades, von-Neumann boundary source was employed to obtain order-reduced modelling of combustion instabilities in rocket motors. With these hints on application, this paper systematically extends to Robin sources and studies boundary topology. Robin inhomogeneity is fascinating and necessary for real practice, since the Dirichlet or von-Neumann boundary can be considered as a degenerated version of Robin boundary [4-7]. Therein, the boundary is the complement of the union of the exterior and the interior of the domain under consideration, so boundary conditions rely on the interaction between the process and the environment. Although degenerative Robin simplifies numerical or experimental investigation, the actual Robin boundary should be identified in practice through measured data, as seen in [8-13] for examples. Therein, Robin boundaries are identified for the study of cancer destruction during hyperthermia treatment, of the optical path length in inhomogeneous tissue, and of axisymmetrical induction in heating processes, respectively. To be sure, the conversion of Robin inhomogeneity into virtual source can make these important kinds of identification more accurate and reliable, since the virtual-source conceptually suggests installing an active source in measurement to trig out desired data.
Conversion of boundary inhomogeneity into virtual source also helps computational intelligence, since boundary inhomogeneity is conventionally treated as “conditions” that constrain the spatial-temporal evolution. The legitimate spatial-temporal solutions, including the integral solutions [14-15], finite-element approximation [16-17], and series solutions [18-20], have to be developed toward matching the boundary conditions. In vibration engineering, modal solutions are particularly popular, since it reveals the spatiotemporal structure and results in model reduction in practice. In cases of time-invariant environments, the response is usually computed by shifting the origin of spatial coordinate to the steady-state response, upon which the dynamics with homogeneous boundary condition can be solved by separation-of-variable method, as in  for example. This method can also be extended to time-varying environments by stepwise sampling the temporal continuity, as in [22-23] for examples. Compared with the virtual-source solution, this solution is numerical tedious and incapability of capturing sudden changes in the environment.
More importantly, virtual-source conversion lead to an input-output modelling that makes possible real-time signal processing. The differential equation in conjunction with the boundary inhomogeneity can give designers computer-time solutions by taking the boundary inhomogeneity as constraining conditions, but it is unable to catch the real-time nature. That is, such a computer-time version is offline plugged into computer simulation or calculation to merely obtain the solution as a function of a preset time-span. However, a real-time version is an emulator of natural evolution, wherein the state at the next instant is only dependent on the state and the boundary inhomogeneity at the present instant. It is unnecessary to know the history of the state and the boundary inhomogeneity to predict the future, since Nature has no memory. Galerkin projection of the converted dynamics with virtual source and homogeneous boundary onto a proper basis, such as those from Proper Orthogonal Decomposition (POD) [24-28], generates an order-reduced state-space realization. Given a freely assigned sampling time, Euler discretization of the state-space realization becomes the real-time version, which interprets the dynamic nature into two times of matrix multiplication and one time of matrix addition within a sampling time.
Compared with “conditions” realization of boundary inhomogeneity, virtual-source realization provides the following merits in practice:
1) It transforms the interaction between two distributed dynamics adjacent to each other into feedback interconnection, such as thermal-acoustic interaction in the fields of thermoacoustic engines  and combustion instabilities . The construction of feedback makes possible the application of modern or classical control theory to help design and analysis.
2) Modal decomposition is applicable for computational intelligence and order-reduced modelling. It results in real-time version of distributed dynamics with inhomogeneous in digital signal processing (DSP), which can be directly programmed into a microcontroller for real-time estimation of state distribution and environmental changes, toward a newly sensing technology.
3) The real-time fashion above can still replace computer-time versions as a numerical simulator programmed into a generous computer. For a long run, it can be employed for efficient management of computer memory.
4) Virtual-source realization makes possible the frequency-domain identification of boundary inhomogeneity.
5) As the control actuation is set on some boundary, the virtual-source realization generates an input-output model served for feedback synthesis of boundary control systems.
6) Even with temporally discontinuous or impulsive environments, exact solutions can be calculated offline with virtual-source realization.
7) Active sources on boundary can be installed for identification of Robin coefficients.
2. The considered class of dynamics
This paper considers the following three types of distributed dynamics with inhomogeneous Robin boundary conditions:
Therein the spatial functions , are real and positive in the bounded region is a bounded region, wherein the distributed output is denoted by ; on the boundary , , , , and the boundary inhomogeneity is denoted by or ’s.
A kind of these three dynamics involves a spatial Laplacian operator :
With the inner-product metric:
the Laplacian operators in Eq. (4) and Eq. (5) belong to the Sturm-Liouville class , that is, their eigenfunctions constitute a real, orthonormal, and complete basis of . A Sturm-Liouville operator is usually distinguished from its self-adjointness and the compactness of its inverse. With the Green’s second identity, it is easy to know that the elastic stiffness in Eq. (4) is a Sturm-Liouville operator . As for the bending stiffness in Eq. (5), the following shows that it is belonging to Sturm-Liouville class.
Let two operators and be defined by and , then the bending stiffness becomes their composite, i.e. . For any , :
since and . Moreover:
since ; . Observe that:
since both sides equal . Therefore, the bending stiffness operator is self-adjoint. Moreover, the inverse of is a compact operator in , since is fourth-order differential operator. Therefore, its eigenfunctions constitute a real, orthonormal, and complete basis of . Moreover, it can be shown that both elastic stiffness and bending stiffness are positive definite in this work.
3. Laplace-Galerkin transform- a functional tool
With respect to the eigenfunctions set of a Sturm-Liouville operator , the Galerkin transform from spatial functions to modal functions, , is defined by:
Completeness and orthonormality of of countable cardinality jointly imply that the Galerkin transform has a unique inverse , :
Then, the Laplace-Galerkin transform from spatial-temporal functions to modal-complex functions is defined by the composite of the Galerkin transform and the Laplace transform :
Accordingly, the inverse of Laplace-Galerkin transform is the composite of the inverse of Laplace transform and that of Galerkin transform, that is:
Here the domain is an infinite line parallel to the imaginary axis, whereon the integral in Eq. (13) is converged.
Denote the temporal derivative by , and let be a Sturm-Liouville operator, . For the set of spatial-temporal functions with homogeneous boundary and initial, the Laplace-Galerkin transform is of:
where is a ratio of two expressions of finite or some infinite length constructed from two independent variables, one standing for space and the other for time, allowing for the operations of addition, subtraction, multiplication, integer exponents in time, and fraction-order exponents in space. For example:
The Laplace-Galerkin transform and its inverse perform transformation between Sturm-Liouville dynamics in space-time domain and 2D transfer-function in mode-frequency domain [1-3]. As an example to explain 2D transfer-function, let us find the impulse response of the following longitudinal wave :
The elastic stiffness is of eigenvalues associated with eigenfunctions . Taking the Laplace-Galerkin transform on both sides of the differential equation with homogeneous boundary and initial yields:
that is, the 2D transfer-function of the dynamics is:
Correspondingly, the impulse response is to be:
To check whether this solution is correct, let us give the dynamics the 2D unit-pulse , where . Integration of the differential equation from to yields the initial condition: and . Thereby, the impulse response is just the solution of the initial-value problem:
which has the form solvable by the conventional separation-of-variable method. It can be found that two solutions are identical.
4. Virtual conversion of conditions into sources on boundary
This section demonstrates how to converts the boundary inhomogeneity into virtual source in conjunction with homogeneous boundary. This conversion is analogous to the strategy of Laplace transform dealing with non-zero initial conditions, wherein the initial inhomogeneity is realized as a virtual source comprising Dirac Delta function and its derivatives. Consider the following explanatory example- a normalized one-dimensional wave dynamics with initial inhomogeneity:
Taking the Laplace transform on Eq. (23a) with the help of integration by parts yields:
Then taking the inverse Laplace transform on Eq. (24) yields:
where is the Dirac delta distribution. The solution to Eq. (25) is almost the same as the solution to Eq. (23); both solutions are identical in the interior that is an open set, but different on the boundary that is a closed set.
Now consider the longitudinal wave dynamics in Eq. (1), which involves the elastic stiffness in Eq. (4). As shown in Section 2, the elastic stiffness is a Sturm-Liouville operator under the inner-product of Eq. (6). Let denote the eigenfunctions set of corresponding to the eigenvalues set On the boundary firstly, substitution for Eqs. (1b) yields:
Secondly, substitution for Eq. (1b) yields:
In general, the sum of Eq. (26) and Eq. (27) is to be:
Moreover, based on the Green’s second identity:
With Eqs. (26)-(29), performing Laplace-Galerkin transform on Eq. (1a) with inhomogeneous boundary conditions in Eq. (1b) yields:
where , and is to be:
Therefore, in the sense of virtual source, the 2D transfer-function of the dynamics in Eq. (1) is:
With the 2D transfer-function of Eq. (32), the exact solution of Eq. (1) can be obtained even when the boundary inhomogeneity in Eq. (30) or Eq. (1b) is temporally impulsive or discontinuous.
Performing the inverse Laplace-Galerkin transform on the Eq. (32) yields:
where . In Eq. (33), the boundary inhomogeneity in Eq. (1b) has been realized as the virtual source in Eq. (33a) in conjunction with homogeneous boundary of Eq. (33b). In the interior of the domain , the response governed by Eq. (1) is identical to that governed by Eq. (33), since both have the same 2D transfer-function.
Next, consider the transverse wave dynamics in Eq. (2). For simple explanation, let us take its on-dimensional version:
This dynamics involves the bending stiffness in Eq. (5):
which is a Sturm-Liouville operator, , under the inner-product of Eq. (6). Denote its eigenvalues set by and eigenfunctions set by .
With integration by parts (one-dimensional Green’s second identity), we have:
With Eq. (34b) and Eq. (35b), Eq. (36) can be rephrased to be:
With Eq. (37), performing the Laplace-Galerkin transform on Eq. (34a) yields:
Then, performing the inverse Laplace-Galerkin transform on Eq. (38) yields:
The dynamics in Eq. (34) has been converted into the dynamics in Eq. (39), wherein the virtual source in Eq. (39a) comprises a Delta function and the second derivative of Delta function distributed at in conjunction with homogeneous boundary in Eqs. (39b) and (39c). Both dynamics are identical in , since they have the identical 2D transfer-function.
As for the virtual-source realization of the dynamics of heat conduction in Eq. (3), it is similar to that of the dynamics of longitudinal wave as shown above. The above shows how the wave and heat-conduction dynamics with inhomogeneous boundary “conditions” can be almost converted to delta sources on boundary in conjunction with homogeneous boundary. Input-output modelling results therefrom and modal decomposition in Hilbert space becomes possible.
5. Investigation on boundary topology
In this section, the virtual-source solution and the separation-of-variable solution of a normalized, one-dimensional heat condition with one-side Dirichlet inhomogeneity are computed and then visualized in figures. It is expected to visualize between them the identical parts in the interior but the topological difference on the inhomogeneous boundary. Accordingly, consider the following parabolic dynamics:
Two cases of environments are considered: one is time-invariant in which (Case I), and the other is time-varying in which (Case II).
The virtual-source conversion, as shown in Section 4, is employed to solve the Case I and Case II. Based on the Green’s second identity:
With Eqs. (40b) and (40c), taking the Laplace-Galerkin transform on Eq. (40a) yields:
As in Case I, . Then taking the inverse Laplace-Galerkin transform on Eq. (42) yields:
In case II, let be , that is, . Taking the Laplace-Galerkin transform again on Eq. (40a) yields:
The separation-of-variable method is improper to solve the solution of Case II, wherein the environmental temperature is time-varying. In Case I, the separation-of-variable solution is to be:
Fig. 1 shows the order-reduced solutions of Case I with 500 modes being considered. At the separation-of-variable solution in Eq. (45) is in juxtaposition with the virtual-source solution of Eq. (43) for comparison. It is found that both solutions are identical in the interior of the domain. However, close view on the inhomogeneous boundary as shown in Fig. 2 reveals that the exact solution () by the virtual-source conversion is discontinuous at . With the inverse Laplace-Galerkin transform, Eq. (42) is almost equivalent to:
simultaneously with homogeneous boundary. Eq. (46) implies that the virtual source is actually impulsive on the homogeneous boundary. The virtual-source conversion realizes boundary inhomogeneity as delta sources combined by their derivatives.
Figs. 3 and 4 show the virtual-source solution for time-varying environment: . At , two order-reduced solutions according to and , respectively, are juxtaposed with each other. The convergence on the boundary appears, which implies that the solution will reach discontinuity at as . This verifies again that the virtual-source conversion is of the strategy to zero the environment and simultaneously give impulsive sources on the homogeneous boundary, yielding almost the same solution.
Fig. 1. Topological comparison of the virtual-source solution with the separation-of-variable solution under time-invariant environment
Fig. 2. Close view on the inhomogeneous boundary of Fig. 1
Fig. 3. Topological convergence of the virtual-source solution under time-varying environment
Fig. 4. Close view on the inhomogeneous boundary of Fig. 3
For wave and heat-conduction dynamics, we can realize inhomogeneous boundary “conditions” as virtual-sources in conjunction with homogeneous boundary. The strategy such a virtual-source conversion is to zero the environment and simultaneously to introduce an impulsive source onto the homogeneous boundary, yielding the identical response in the interior of operation domain. Therein the boundary impulsive takes the form of Dirac delta function combined by its derivatives. In practice, this virtual-source conversion helps modal decomposition, real-time processing, computational intelligence, and system identification of distributed dynamics.
- Hong B.-S. Construction of 2D isomorphism for 2D H∞-control of Sturm-Liouville systems. Asian Journal of Control, Vol. 12, Issue 2, 2010, p. 187-199. [Search CrossRef]
- Hong B.-S., Chou C.-Y. Realization of thermal inertia in frequency domain. Entropy, Vol. 16, 2014, p. 1101-1121. [Search CrossRef]
- Hong B.-S., Chou C.-Y. Energy transfer modelling of active thermoacoustic engines via Lagrangian thermoacoustic dynamics. Energy Conversion and Management, Vol. 84, 2014, p. 73-79. [Search CrossRef]
- Gustafson K., Abe T. (Victor) Gustave Robin: 1855-1897. Mathematical Intelligencer, Vol. 20, 1988, p. 47-53. [Search CrossRef]
- Gustafson K., Abe T. The third boundary condition – was it Robin’s? Mathematical Intelligencer, Vol. 20, Issue 1, 1988, p. 63-71. [Search CrossRef]
- Romeo A., Saharian A. A. Casimir effect for scalar fields under Robin boundary conditions on plates. Journal of Physics A: Mathematical and General, Vol. 35, 2002, p. 1297. [Search CrossRef]
- Mintz B., Farina C., Maia Neto P. A., Rodrigues R. B. Particle creation by a moving boundary with a Robin boundary condition. Journal of Physics A: Mathematical and General, Vol. 39, 2006, p. 11325-11333. [Search CrossRef]
- Okada E., Schweiger M., Arridge S. R., Firbank M., Delpy D. T. Experimental validation of Monte Carlo and finite-element methods for the estimation of the optical path length in inhomogeneous tissue. Applied Optics, Vol. 35, Issue 9, 1996, p. 3362-3371. [Search CrossRef]
- Bay F., Labbe V., Favennec Y., Chenot J. L. A numerical model for induction heating processes coupling electromagnetism and thermomechanics. International Journal for Numerical Methods in Engineering, Vol. 58, 2003, p. 839-867. [Search CrossRef]
- Jin B. Conjugate gradient method for the Robin inverse problem, associated with the Laplace equation. International Journal for Numerical Methods in Engineering, Vol. 71, 2007, p. 433-453. [Search CrossRef]
- Xiong X. T., Liu X. H., Yan Y. M., Guo H. B. A numerical method for identifying heat transfer coefficient. Applied Mathematical Modelling, Vol. 34, 2010, p. 1930-1938. [Search CrossRef]
- Majchrzak E., Paruch M. Identification of electromagnetic field parameters assuring the cancer destruction during hyperthermia treatment. Inverse Problems in Science and Engineering, Vol. 19, Issue 1, 2011, p. 45-58. [Search CrossRef]
- Jin B., Liu X. Numerical identification of a Robin coefficient in parabolic problems. Mathematics of Computation, Vol. 81, 2012, p. 1369-1398. [Search CrossRef]
- Cicalese M., Trombetti C. Asymptotic behaviour of solutions to p-Laplacian equation. Asymptotic Analysis, Vol. 35, 2003, p. 27-40. [Search CrossRef]
- Andreu F., Mazon J. M., Moll J. S. The total variation flow with nonlinear boundary conditions. Asymptotic Analysis, Vol. 43, Issues 1-2, 2005, p. 9-46. [Search CrossRef]
- Bartels S., Carstensen C., Dolzmann G. Inhomogeneous Dirichlet conditions in a priori and a posteriori finite element error analysis. Numerische Mathematik, Vol. 99, 2004, p. 1-24. [Search CrossRef]
- Gudi T. A new error analysis for discontinuous finite element methods for linear elliptic problems. Mathematics of Computation, Vol. 79, 2010, p. 2169-2189. [Search CrossRef]
- Bareket M. On an isoperimetric inequality for the first eigenvalue of a boundary value problem. Journal of Mathematical Analysis, Vol. 8, 1977, p. 280-287. [Search CrossRef]
- Daners D. A Faber-Krahn inequality for Robin problems in higher dimensions. Mathematische Annalen, Vol. 333, 2006, p. 767-785. [Search CrossRef]
- Auchmuty G. Bases and comparison results for linear elliptic eigenproblems. Journal of Mathematical Analysis and Applications, Vol. 390, 2012, p. 394-406. [Search CrossRef]
- Moosaie A. Axisymmetric non-Fourier temperature field in a hollow sphere. Archive of Applied Mechanics, Vol. 79, 2009, p. 679-694. [Search CrossRef]
- Abdel-Hamid B. Modelling non-Fourier heat conduction with periodic thermal oscillation using the finite integral transform. Applied Mathematical Modelling, Vol. 23, 1999, p. 899-914. [Search CrossRef]
- Heidarinejad G., Shirmohammadi R., Maerefat M. Heat wave phenomena in solids subjected to time dependent surface heat flux. Heat and Mass Transfer, Vol. 44, 2008, p. 381-392. [Search CrossRef]
- Joshi Y. Reduced order thermal models of multiscale microsystems. Journal of Heat Transfer, Vol. 134, 2012, p. 031008. [Search CrossRef]
- Agharkar P., Subramanian P., Kaisare N. S., Sujith R. I. Thermoacoustic instabilities in a ducted premixed flame: reduced-order models and control. Combustion Science and Technology, Vol. 185, Issue 6, 2013, p. 920-942. [Search CrossRef]
- Selimefendigil F., Oztop H. F. POD-based reduced order model of a thermoacoustic heat engine. European Journal of Mechanics – B/Fluids, Vol. 48, 2014, p. 135-142. [Search CrossRef]
- Behzad F., Helenbrook B. T., Ahmadi G. On the sensitivity and accuracy of proper orthogonal decomposition- based order models for Burgers equation. Computers and Fluids, Vol. 106, 2015, p. 19-32. [Search CrossRef]
- Kunisch K., Muller M. Uniform convergence of the POD method and application to optimal control. Discrete and Continuous Dynamical Systems, Vol. 35, Issue 9, 2015, p. 4477-4501. [Search CrossRef]
- Hong B.-S., Lin T.-Y. System identification and resonant control of thermoacoustic engines for robust solar power. Energies, Vol. 8, Issue 5, 2015, p. 4138-4159. [Search CrossRef]
- Zhang Z., Guan D., Zheng Y., Li G. Characterizing premixed laminar flame-acoustics nonlinear interaction. Energy Conversion and Management, Vol. 98, 2015, p. 331-339. [Search CrossRef]
- Young N. An Introduction to Hilbert Space. Cambridge University Press, 1988. [Search CrossRef]