Computation Institute University of...
Transcript of Computation Institute University of...
![Page 1: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/1.jpg)
Computational Bioelectrostatics
Matthew Knepley
Computation InstituteUniversity of Chicago
Computational and Applied Mathematics ColloquiumRice University
Houston, TX February 9, 2015
M. Knepley (UC) MGK CAAM 1 / 48
![Page 2: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/2.jpg)
Computational Science & Applied Mathematics
Begins with the numerics of BIEs and PDEs,
and mathematics of the computation,
is
Distilled intohigh quality numerical libraries, and
Culminates in scientific discovery.
M. Knepley (UC) MGK CAAM 4 / 48
![Page 3: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/3.jpg)
Computational Science & Applied Mathematics
Begins with the numerics of BIEs and PDEs,
and mathematics of the computation, is
Distilled intohigh quality numerical libraries, and
Culminates in scientific discovery.
M. Knepley (UC) MGK CAAM 4 / 48
![Page 4: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/4.jpg)
Computational Science & Applied Mathematics
Begins with the numerics of BIEs and PDEs,
and mathematics of the computation, is
Distilled intohigh quality numerical libraries, and
Culminates in scientific discovery.
M. Knepley (UC) MGK CAAM 4 / 48
![Page 5: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/5.jpg)
Research Areas
MathematicsScalable solution of Nonlinear PDEDiscretization on unstructured meshesMassively parallel algorithmsFast methods for integral equations
ApplicationsBioelectrostaticsCrustal and Magma DynamicsWave MechanicsFracture Mechanics
M. Knepley (UC) MGK CAAM 5 / 48
![Page 6: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/6.jpg)
Funding
Community Involvement
2000 2004 2008 2012 2016
PETSc
NSF CIG Rep
NSF CIG EC
Rush Medical Center
Simula Research, NO
Széchenyi István, HU
GUCAS, CN
M. Knepley (UC) MGK CAAM 6 / 48
![Page 7: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/7.jpg)
What is PETSc?
PETSc is one of the most popular softwarelibraries in scientific computing.
As a principal architect since 2001, I developedunstructured meshes (model, algorithms, implementation),nonlinear preconditioning (model, algorithms),FEM discretizations (data structures, solvers optimization),optimizations for multicore and GPU architectures.
M. Knepley (UC) MGK CAAM 7 / 48
![Page 8: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/8.jpg)
What is PETSc?Knepley, Karpeev, Sci. Prog., 2009. Brune, Knepley, Scott, SISC, 2013.
18
19
20
21
22
9
10
11
12
13
1415
17
16
Vertices
Edges
Faces
Cells
Depth 0
Depth 1
Depth 2
Depth 3
18 19 20 21 22
9 10 11 12 13 14 15 16 17
2 3 4 5 6 7 8
0 1
As a principal architect since 2001, I developedunstructured meshes (model, algorithms, implementation),nonlinear preconditioning (model, algorithms),FEM discretizations (data structures, solvers optimization),optimizations for multicore and GPU architectures.
M. Knepley (UC) MGK CAAM 7 / 48
![Page 9: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/9.jpg)
What is PETSc?Brune, Knepley, Smith, and Tu, SIAM Review, 2015.
Type Sym Statement AbbreviationAdditive + ~x + α(M(F , ~x , ~b)− ~x) M+N
+ β(N (F , ~x , ~b)− ~x)
Multiplicative ∗ M(F ,N (F , ~x , ~b), ~b) M∗NLeft Prec. −L M(~x −N (F , ~x , ~b), ~x , ~b) M−L NRight Prec. −R M(F(N (F , ~x , ~b)), ~x , ~b) M−R NInner Lin. Inv. \ ~y = ~J(~x)−1~r(~x) = K(~J(~x), ~y0, ~b) NEWT\K
As a principal architect since 2001, I developedunstructured meshes (model, algorithms, implementation),nonlinear preconditioning (model, algorithms),FEM discretizations (data structures, solvers optimization),optimizations for multicore and GPU architectures.
M. Knepley (UC) MGK CAAM 7 / 48
![Page 10: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/10.jpg)
What is PETSc?Aagaard, Knepley, and Williams, J. of Geophysical Research, 2013.
As a principal architect since 2001, I developedunstructured meshes (model, algorithms, implementation),nonlinear preconditioning (model, algorithms),FEM discretizations (data structures, solvers optimization),optimizations for multicore and GPU architectures.
M. Knepley (UC) MGK CAAM 7 / 48
![Page 11: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/11.jpg)
What is PETSc?Knepley and Terrel, Transactions on Mathematical Software, 2012.
As a principal architect since 2001, I developedunstructured meshes (model, algorithms, implementation),nonlinear preconditioning (model, algorithms),FEM discretizations (data structures, solvers optimization),optimizations for multicore and GPU architectures.
M. Knepley (UC) MGK CAAM 7 / 48
![Page 12: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/12.jpg)
Bioelectrostatics
Outline
1 Bioelectrostatics
2 Approximate Operators
3 Approximate Boundary Conditions
4 Future Directions
M. Knepley (UC) MGK CAAM 8 / 48
![Page 13: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/13.jpg)
Bioelectrostatics
BioelectrostaticsThe Natural World
Induced Surface Charge on LysosomeM. Knepley (UC) MGK CAAM 9 / 48
![Page 14: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/14.jpg)
Bioelectrostatics
BioelectrostaticsPhysical Model
Electrostatic Potential φ
Region II: solventRegion I: protein
Surface
M. Knepley (UC) MGK CAAM 10 / 48
![Page 15: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/15.jpg)
Bioelectrostatics
BioelectrostaticsMathematical Model
We can write a Boundary Integral Equation (BIE) for the inducedsurface charge σ,
σ(~r) + ε
∫Γ
∂
∂n(~r)
σ(~r ′)d2~r ′
4π||~r −~r ′||= −ε
Q∑k=1
∂
∂n(~r)
qk
4π||~r −~rk ||
(I + εD∗)σ(~r) =
where we defineε = 2
εI − εIIεI + εII
< 0
M. Knepley (UC) MGK CAAM 11 / 48
![Page 16: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/16.jpg)
Bioelectrostatics
Problem
Boundary element discretizations of the solvationproblem:
can be expensive to solve
are more accurate than required by intermediatedesign iterations
M. Knepley (UC) MGK CAAM 12 / 48
![Page 17: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/17.jpg)
Approximate Operators
Outline
1 Bioelectrostatics
2 Approximate Operators
3 Approximate Boundary Conditions
4 Future Directions
M. Knepley (UC) MGK CAAM 13 / 48
![Page 18: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/18.jpg)
Approximate Operators
BioelectrostaticsMathematical Model
The reaction potential is given by
φR(~r) =
∫Γ
σ(~r ′)d2~r ′
4πε1||~r −~r ′||= Cσ
which defines Ges, the electrostatic part of the solvation free energy
∆Ges =12
⟨q, φR
⟩=
12〈q,Lq〉
=12
⟨q,CA−1Bq
⟩where
Bq = −ε∫
Ω
∂
∂n(~r)
q(~r ′)d3~r ′
4π||~r −~r ′||Aσ = I + εD∗
M. Knepley (UC) MGK CAAM 14 / 48
![Page 19: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/19.jpg)
Approximate Operators
BIBEEApproximate D∗ by a diagonal operator
Boundary Integral-Based Electrostatics Estimation
Coulomb Field Approximation:uniform normal field(
1− ε
2
)σCFA = Bq
Lower Bound:no good physical motivation(
1 +ε
2
)σLB = Bq
Eigenvectors: BEM ei · ej BIBEE/P
M. Knepley (UC) MGK CAAM 15 / 48
![Page 20: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/20.jpg)
Approximate Operators
BIBEEApproximate D∗ by a diagonal operator
Boundary Integral-Based Electrostatics Estimation
Coulomb Field Approximation:uniform normal field(
1− ε
2
)σCFA = Bq
Preconditioning:consider only local effects
σP = Bq
Eigenvectors: BEM ei · ej BIBEE/P
M. Knepley (UC) MGK CAAM 15 / 48
![Page 21: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/21.jpg)
Approximate Operators
BIBEE Bounds on Solvation Energy
Theorem: The electrostatic solvation energy ∆Ges has upper andlower bounds given by
12
(1 +
ε
2
)−1
〈q,CBq〉 ≤ 12
⟨q,CA−1Bq
⟩≤ 1
2
(1− ε
2
)−1
〈q,CBq〉 ,
and for spheres and prolate spheroids, we have the improved lowerbound,
12〈q,CBq〉 ≤ 1
2
⟨q,CA−1Bq
⟩,
and we note that|ε| < 1
2.
M. Knepley (UC) MGK CAAM 16 / 48
![Page 22: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/22.jpg)
Approximate Operators
Energy Bounds:
Proof: Bardhan, Knepley, Anitescu, JCP, 130(10), 2008
I will break the proof into three steps,
Replace C with B
Symmetrization
Eigendecompositionshown in the following slides.
We will need the single layer operator S for step 1,
Sτ(~r) =
∫τ(~r ′)d2~r ′
4π||~r −~r ′||
M. Knepley (UC) MGK CAAM 17 / 48
![Page 23: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/23.jpg)
Approximate Operators
Energy Bounds: First StepReplace C with B
The potential at the boundary Γ given by
φCoulomb(~r) = CT q
can also be obtained by solving an exterior Neumann problem for τ ,
φCoulomb(~r) = Sτ
= S(I − 2D∗)−1(2ε
Bq)
=2εS(I − 2D∗)−1Bq
so that the solvation energy is given by
12
⟨q,CA−1Bq
⟩=
1ε
⟨S(I − 2D∗)−1Bq, (I + εD∗)−1Bq
⟩M. Knepley (UC) MGK CAAM 18 / 48
![Page 24: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/24.jpg)
Approximate Operators
Energy Bounds: Second StepQuasi-Hermiticity
Plemelj’s symmetrization principle holds that
SD∗ = DS
and we haveS = S1/2S1/2
which means that we can define a Hermitian operator H similar to D∗
H = S1/2D∗S−1/2
leading to an energy
12
⟨q,CA−1Bq
⟩=
1ε
⟨Bq,S1/2(I − 2H)−1(I + εH)−1S1/2Bq
⟩
M. Knepley (UC) MGK CAAM 19 / 48
![Page 25: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/25.jpg)
Approximate Operators
Energy Bounds: Third StepEigendecomposition
The spectrum of D∗ is in [−12 ,
12), and the energy is
12
⟨q,CA−1Bq
⟩=∑
i
1ε
(1− 2λi)−1 (1 + ελi)
−1 x2i
whereH = V ΛV T
and~x = V TS1/2Bq
M. Knepley (UC) MGK CAAM 20 / 48
![Page 26: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/26.jpg)
Approximate Operators
Energy Bounds: Diagonal Approximations
The BIBEE approximations yield the following bounds
12
⟨q,CA−1
CFABq⟩
=∑
i
1ε
(1− 2λi)−1(
1− ε
2
)−1
x2i
12
⟨q,CA−1
P Bq⟩
=∑
i
1ε
(1− 2λi)−1 x2
i
12
⟨q,CA−1
LB Bq⟩
=∑
i
1ε
(1− 2λi)−1(
1 +ε
2
)−1
x2i
where we note that|ε| < 1
2
M. Knepley (UC) MGK CAAM 21 / 48
![Page 27: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/27.jpg)
Approximate Operators
BIBEE Accuracy
Electrostatic solvation free energies of met-enkephalin structures
BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure3!a" is a plot of the eigenvalues of the calculated matrices.The SGB/CFA eigenvalues are slightly more accurate thanthe BIBEE/CFA eigenvalues for the dominant eigenmodesbut less accurate for the smaller eigenmodes. Of the fourelectrostatic approximations, the GBMV method appears toprovide the most accurate eigenvalue estimates. As notedpreviously, BIBEE/CFA is most accurate for the largest-magnitude eigenvalues and the BIBEE/P method offers thebest fidelity to BEM for the smallest eigenvalues.38
It is important that methods for estimating electrostaticinteractions calculate not only an accurate total free energybut also preserve the energetics of interaction betweenchemical groups. To analyze how different methods preservepairwise interactions with respect to the BEM calculations,we project the eigenvectors of the approximate reaction-potential matrices onto the eigenvectors of the reaction-potential matrix from BEM. For example, the !i , j" entry ofthe matrix
VBEMT VSGB/CFA !33"
represents the projection of the jth eigenvector of the SGB/CFA reaction-potential matrix onto the jth eigenvector of theBEM reaction-potential matrix. In this projection framework,perfect preservation of the pairwise interactions would giverise to a diagonal matrix with diagonal entries of unit mag-nitude. Conversely, if a method imperfectly reproduces pair-wise interactions, the off-diagonal entries are nonzero. Thedegree to which the approximate-method eigenvectors alignwith the actual eigenvectors can then be assessed visuallyusing a heat map; Figs. 4–6 are plots of the projections of theSGB/CFA, GBMV, and BIBEE/P eigenvectors onto theeigenvectors of the BEM reaction-potential matrix.38 We be-lieve that discrepancies between the BIBEE and BEM eigen-vectors may be a result of discretizing the integral equationfor simulation using BEM.72 However, the various BIBEEmethods give rise to essentially identical eigenvectors !datanot shown", which is expected given that the diagonal ap-
100 200 300 400 500 600!7000
!6000
!5000
!4000
!3000
!2000
!1000
0
Time (ps)
ElectrostaticFreeEnergy(kcal/mol)
BEMBIBEE/LB
100 200 300 400 500 600!160
!140
!120
!100
!80
!60
!40
!20
Time (ps)
ElectrostaticFreeEnergy(kcal/mol)
BEMSGB/CFAGBMVBIBEE/CFABIBEE/P
(a)(a) (b)FIG. 1. !Color online" Comparison of electrostatic solvation free energies using met-enkephalin structures taken from a 500-ps MD simulation plotted as timeseries; snapshots have been taken at 10-ps intervals. Energies are in kcal/mol. !a" All estimates are plotted. !b" BIBEE/LB has been omitted for clarity.
!90 !85 !80 !75 !70 !65 !60!100
!90
!80
!70
!60
!50
!40
!30
!20
!10
0
Electrostatic Free Energy from BEM (kcal/mol)
Est
imat
edE
lect
rost
atic
Fre
eE
nerg
y(k
cal/m
ol)
y = xSGB/CFAGBMVBIBEE/CFABIBEE/P
FIG. 2. !Color online" Comparison of estimated electrostatic solvation freeenergies using met-enkephalin structures taken from a 500-ps MD simula-tion plotted as a scatter plot against energies calculated using BEM. Ener-gies are in kcal/mol.
0 10 20 30 40 50 60 70 8010
!2
10!1
100
101
102
103
104
Eigenvalue Index
Eig
enva
lue
Mag
nitu
de
BEMSGB/CFAGBMVBIBEE/CFABIBEE/P
FIG. 3. !Color" Eigenvalues of the reaction-potential matrices computedfrom the final met-enkephalin structure using BEM, BIBEE/CFA, BIBEE/P,GBMV, and SGB/CFA methods.
104108-5 Bounding electrostatic free energies J. Chem. Phys. 130, 104108 !2009"
Downloaded 11 Mar 2009 to 18.51.1.222. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
Snapshots taken from a 500-ps MD simulation at 10-ps intervals.Bardhan, Knepley, Anitescu, JCP, 2009.
M. Knepley (UC) MGK CAAM 22 / 48
![Page 28: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/28.jpg)
Approximate Operators
Generalized Born Approximation
The pairwise energy between charges is defined by the Still equation:
Gijes =
18π
(1εII− 1εI
) N∑i,j
qiqj
r2ij + RiRje
−r2ij /4Ri Rj
where the effective Born radius is
Ri =1
8π
(1εII− 1εI
)1Ei
where Ei is the self-energy of the charge qi , the electrostatic energywhen atom i has unit charge and all others are neutral.
M. Knepley (UC) MGK CAAM 23 / 48
![Page 29: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/29.jpg)
Approximate Operators
Crowded Protein Solution
Important for drug design of antibody therapies
M. Knepley (UC) MGK CAAM 24 / 48
![Page 30: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/30.jpg)
Approximate Operators
BIBEE Scalability
Yokota, Bardhan, Knepley, Barba, Hamada, CPC, 2011.
M. Knepley (UC) MGK CAAM 25 / 48
![Page 31: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/31.jpg)
Approximate Boundary Conditions
Outline
1 Bioelectrostatics
2 Approximate Operators
3 Approximate Boundary Conditions
4 Future Directions
M. Knepley (UC) MGK CAAM 26 / 48
![Page 32: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/32.jpg)
Approximate Boundary Conditions
BioelectrostaticsPhysical Model
Electrostatic Potential φ
Region II: solventRegion I: protein
Surface
M. Knepley (UC) MGK CAAM 27 / 48
![Page 33: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/33.jpg)
Approximate Boundary Conditions
Kirkwood’s Solution (1934)
The potential inside Region I is given by
ΦI =Q∑
k=1
qk
ε1∣∣~r −~rk
∣∣ + ψ,
and the potential in Region II is given by
ΦII =∞∑
n=0
n∑m=−n
Cnm
rn+1 Pmn (cos θ)eimφ.
M. Knepley (UC) MGK CAAM 28 / 48
![Page 34: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/34.jpg)
Approximate Boundary Conditions
Kirkwood’s Solution (1934)
The reaction potential ψ is expanded in a series
ψ =∞∑
n=0
n∑m=−n
BnmrnPmn (cos θ)eimφ.
and the source distribution is also expanded
Q∑k=1
qk
ε1∣∣~r −~rk
∣∣ =∞∑
n=0
n∑m=−n
Enm
ε1rn+1 Pmn (cos θ)eimφ.
M. Knepley (UC) MGK CAAM 29 / 48
![Page 35: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/35.jpg)
Approximate Boundary Conditions
Kirkwood’s Solution (1934)
By applying the boundary conditions, letting the sphere have radius b,
ΦI |r=b = ΦII |r=b
εI∂ΦI
∂r|r=b = εII
∂ΦII
∂r|r=b
we can eliminate Cnm, and determine the reaction potential coefficientsin terms of the source distribution,
Bnm =1
εIb2n+1(εI − εII)(n + 1)
εIn + εII(n + 1)Enm.
M. Knepley (UC) MGK CAAM 30 / 48
![Page 36: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/36.jpg)
Approximate Boundary Conditions
Approximate Boundary Conditions
Theorem: The BIBEE boundary integral operator approximations
ACFA = I(
1 +ε
2
)AP = I
have an equivalent PDE formulation,
εI∆ΦCFA,P =Q∑
k=1
qkδ(~r −~rk )εIεII
∂ΦCI
∂r|r=b =
∂ΦII
∂r− ∂ψCFA
∂r|r=b
εII∆ΦCFA,P = 0 or
ΦI |r=b = ΦII |r=b3εI − εIIεI + εII
∂ΦCI
∂r|r=b =
∂ΦII
∂r− ∂ψP
∂r|r=b,
where ΦC1 is the Coulomb field due to interior charges.
M. Knepley (UC) MGK CAAM 31 / 48
![Page 37: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/37.jpg)
Approximate Boundary Conditions
Approximate Boundary Conditions
Theorem: For spherical solute, the BIBEE boundary integral opera-tor approximations have eigenspaces are identical to that of the originaloperator.
BEM eigenvector ei · ej BIBEE/P eigenvector
M. Knepley (UC) MGK CAAM 31 / 48
![Page 38: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/38.jpg)
Approximate Boundary Conditions
Proof of PDE Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these PDEs are equivalent to the original BIEs,
Start with the fundamental solution to Laplace’s equation G(r , r ′)
Note that∫
Γ G(r , r ′)σ(r ′)dΓ satisfies the bulk equationand decay at infinity
Insertion into the approximate BC gives theBIBEE boundary integral approximation
M. Knepley (UC) MGK CAAM 32 / 48
![Page 39: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/39.jpg)
Approximate Boundary Conditions
Proof of PDE Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these PDEs are equivalent to the original BIEs,
Start with the fundamental solution to Laplace’s equation G(r , r ′)
Note that∫
Γ G(r , r ′)σ(r ′)dΓ satisfies the bulk equationand decay at infinity
Insertion into the approximate BC gives theBIBEE boundary integral approximation
M. Knepley (UC) MGK CAAM 32 / 48
![Page 40: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/40.jpg)
Approximate Boundary Conditions
Proof of PDE Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these PDEs are equivalent to the original BIEs,
Start with the fundamental solution to Laplace’s equation G(r , r ′)
Note that∫
Γ G(r , r ′)σ(r ′)dΓ satisfies the bulk equationand decay at infinity
Insertion into the approximate BC gives theBIBEE boundary integral approximation
M. Knepley (UC) MGK CAAM 32 / 48
![Page 41: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/41.jpg)
Approximate Boundary Conditions
Proof of PDE Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these PDEs are equivalent to the original BIEs,
Start with the fundamental solution to Laplace’s equation G(r , r ′)
Note that∫
Γ G(r , r ′)σ(r ′)dΓ satisfies the bulk equationand decay at infinity
Insertion into the approximate BC gives theBIBEE boundary integral approximation
M. Knepley (UC) MGK CAAM 32 / 48
![Page 42: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/42.jpg)
Approximate Boundary Conditions
Proof of Eigenspace Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these integral operatorsshare a common eigenbasis,
Note that, for a spherical boundary,D∗ is compact and has a pure point spectrum
Examine the effect of the operator on aunit spherical harmonic charge distribution
Use completeness of the spherical harmonic basis
The result does not hold for general boundaries.
M. Knepley (UC) MGK CAAM 33 / 48
![Page 43: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/43.jpg)
Approximate Boundary Conditions
Proof of Eigenspace Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these integral operatorsshare a common eigenbasis,
Note that, for a spherical boundary,D∗ is compact and has a pure point spectrum
Examine the effect of the operator on aunit spherical harmonic charge distribution
Use completeness of the spherical harmonic basis
The result does not hold for general boundaries.
M. Knepley (UC) MGK CAAM 33 / 48
![Page 44: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/44.jpg)
Approximate Boundary Conditions
Proof of Eigenspace Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these integral operatorsshare a common eigenbasis,
Note that, for a spherical boundary,D∗ is compact and has a pure point spectrum
Examine the effect of the operator on aunit spherical harmonic charge distribution
Use completeness of the spherical harmonic basis
The result does not hold for general boundaries.
M. Knepley (UC) MGK CAAM 33 / 48
![Page 45: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/45.jpg)
Approximate Boundary Conditions
Proof of Eigenspace Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these integral operatorsshare a common eigenbasis,
Note that, for a spherical boundary,D∗ is compact and has a pure point spectrum
Examine the effect of the operator on aunit spherical harmonic charge distribution
Use completeness of the spherical harmonic basis
The result does not hold for general boundaries.
M. Knepley (UC) MGK CAAM 33 / 48
![Page 46: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/46.jpg)
Approximate Boundary Conditions
Proof of Eigenspace Equivalence
Proof: Bardhan and Knepley, JCP, 135(12), 2011.
In order to show that these integral operatorsshare a common eigenbasis,
Note that, for a spherical boundary,D∗ is compact and has a pure point spectrum
Examine the effect of the operator on aunit spherical harmonic charge distribution
Use completeness of the spherical harmonic basis
The result does not hold for general boundaries.
M. Knepley (UC) MGK CAAM 33 / 48
![Page 47: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/47.jpg)
Approximate Boundary Conditions
Series Solutions
Note that the approximate solutions are separable:
Bnm =1
ε1n + ε2(n + 1)γnm
BCFAnm =
1ε2
12n + 1
γnm
BPnm =
1ε1 + ε2
1n + 1
2
γnm.
If εI = εII = ε, both approximations are exact:
Bnm = BCFAnm = BP
nm =1
ε(2n + 1)γnm.
M. Knepley (UC) MGK CAAM 34 / 48
![Page 48: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/48.jpg)
Approximate Boundary Conditions
Series Solutions
Note that the approximate solutions are separable:
Bnm =1
ε1n + ε2(n + 1)γnm
BCFAnm =
1ε2
12n + 1
γnm
BPnm =
1ε1 + ε2
1n + 1
2
γnm.
If εI = εII = ε, both approximations are exact:
Bnm = BCFAnm = BP
nm =1
ε(2n + 1)γnm.
M. Knepley (UC) MGK CAAM 34 / 48
![Page 49: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/49.jpg)
Approximate Boundary Conditions
Asymptotics
BIBEE/CFA is exact for the n = 0 mode,
B00 = BCFA00 =
γ00
ε2,
whereas BIBEE/P approaches the exact response in the limit n→∞:
limn→∞
Bnm = limn→∞
BPnm =
1(ε1 + ε2)n
γnm.
M. Knepley (UC) MGK CAAM 35 / 48
![Page 50: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/50.jpg)
Approximate Boundary Conditions
Asymptotics
BIBEE/CFA is exact for the n = 0 mode,
B00 = BCFA00 =
γ00
ε2,
whereas BIBEE/P approaches the exact response in the limit n→∞:
limn→∞
Bnm = limn→∞
BPnm =
1(ε1 + ε2)n
γnm.
M. Knepley (UC) MGK CAAM 35 / 48
![Page 51: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/51.jpg)
Approximate Boundary Conditions
Asymptotics
In the limit ε1/ε2 → 0,
limε1/ε2→0
Bnm =γnm
ε2(n + 1)
limε1/ε2→0
BCFAnm =
γnm
ε2(2n + 1),
limε1/ε2→0
BPnm =
γnm
ε2(n + 1
2
) ,so that the approximation ratios are given by
BCFAnm
Bnm=
n + 12n + 1
,BP
nmBnm
=n + 1n + 1
2
.
M. Knepley (UC) MGK CAAM 36 / 48
![Page 52: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/52.jpg)
Approximate Boundary Conditions
Improved Accuracy
BIBEE/I interpolates between BIBEE/CFA and BIBEE/P
Bardhan, Knepley, JCP, 2011.
M. Knepley (UC) MGK CAAM 37 / 48
![Page 53: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/53.jpg)
Approximate Boundary Conditions
Basis Augmentation
We examined the more complex problem of protein-ligand bindingusing trypsin and bovine pancreatic trypsin inhibitor (BPTI),using electrostatic component analysis to identify residue contributionsto binding and molecular recognition.
M. Knepley (UC) MGK CAAM 38 / 48
![Page 54: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/54.jpg)
Approximate Boundary Conditions
Basis Augmentation
Looking at an ensemble of synthetic proteins, we can see thatBIBEE/CFA becomes more accurate as the monopole momentincreases, and BIBEE/P more accurate as it decreases. BIBEE/I isaccurate for spheres, but must be extended for ellipses.
M. Knepley (UC) MGK CAAM 39 / 48
![Page 55: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/55.jpg)
Approximate Boundary Conditions
Basis Augmentation
For ellipses, we add a few low order multipole moments, up to theoctopole, to recover 5% accuracy for all synthetic proteins tested.
M. Knepley (UC) MGK CAAM 40 / 48
![Page 56: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/56.jpg)
Approximate Boundary Conditions
Resolution
Boundary element discretizations of the solvationproblem:
can be expensive to solveBounding the electrostatic free energies associated with linear continuummodels of molecular solvation, Bardhan, Knepley, Anitescu, JCP, 2009
are more accurate than required by intermediatedesign iterations
Analysis of fast boundary-integral approximations for modeling electrostaticcontributions of molecular binding, Kreienkamp, et al., Molecular-BasedMathematical Biology, 2013
M. Knepley (UC) MGK CAAM 41 / 48
![Page 57: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/57.jpg)
Approximate Boundary Conditions
Resolution
Boundary element discretizations of the solvationproblem:
can be expensive to solveBounding the electrostatic free energies associated with linear continuummodels of molecular solvation, Bardhan, Knepley, Anitescu, JCP, 2009
are more accurate than required by intermediatedesign iterations
Analysis of fast boundary-integral approximations for modeling electrostaticcontributions of molecular binding, Kreienkamp, et al., Molecular-BasedMathematical Biology, 2013
M. Knepley (UC) MGK CAAM 41 / 48
![Page 58: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/58.jpg)
Approximate Boundary Conditions
Resolution
Boundary element discretizations of the solvationproblem:
can be expensive to solveBounding the electrostatic free energies associated with linear continuummodels of molecular solvation, Bardhan, Knepley, Anitescu, JCP, 2009
are more accurate than required by intermediatedesign iterations
Analysis of fast boundary-integral approximations for modeling electrostaticcontributions of molecular binding, Kreienkamp, et al., Molecular-BasedMathematical Biology, 2013
M. Knepley (UC) MGK CAAM 41 / 48
![Page 59: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/59.jpg)
Future Directions
Outline
1 Bioelectrostatics
2 Approximate Operators
3 Approximate Boundary Conditions
4 Future Directions
M. Knepley (UC) MGK CAAM 42 / 48
![Page 60: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/60.jpg)
Future Directions
New Physics
Phenomenon:
Model:
M. Knepley (UC) MGK CAAM 43 / 48
![Page 61: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/61.jpg)
Future Directions
New Physics
Phenomenon:Dielectric Saturation
Model:
0 5 10 15−80
−60
−40
−20
0
20
40
60
80
k
ε(k
)
ExperimentBKLS 1A
Lorentz 1ALocal response
M. Knepley (UC) MGK CAAM 43 / 48
![Page 62: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/62.jpg)
Future Directions
New Physics
Phenomenon:Dielectric Saturation
Model:Nonlocal Dielectric
0 5 10 15−80
−60
−40
−20
0
20
40
60
80
k
ε(k
)
ExperimentBKLS 1A
Lorentz 1ALocal response
M. Knepley (UC) MGK CAAM 43 / 48
![Page 63: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/63.jpg)
Future Directions
New Physics
Phenomenon:Charge–Hydration Asymmetry
Model:
−1 −0.5 0 0.5 10.6
0.8
1
1.2
1.4
1.6
1.8
En
Coul
EnC
ou
l / σ
Explicit−solvent molecular dynamics FEP
Standard Maxwell boundary condition
Proposed nonlinear boundary condition
M. Knepley (UC) MGK CAAM 43 / 48
![Page 64: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/64.jpg)
Future Directions
New Physics
Phenomenon:Charge–Hydration Asymmetry
Model:Nonlinear Boundary Condition
−1 −0.5 0 0.5 10.6
0.8
1
1.2
1.4
1.6
1.8
En
Coul
EnC
ou
l / σ
Explicit−solvent molecular dynamics FEP
Standard Maxwell boundary condition
Proposed nonlinear boundary condition
M. Knepley (UC) MGK CAAM 43 / 48
![Page 65: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/65.jpg)
Future Directions
New Physics
Phenomenon:Solute–Solvent Interface Potential
Model:
−1 −0.5 0 0.5 1−90
−80
−70
−60
−50
−40
−30
−20
−10
0
10
Charge q
Gch
arg
ing (
kca
l/m
ol)
FEP 0.0FEP 2.0
FEP 2.5FEP 3.0
FEP 3.5NLBC 0.0
NLBC 2.0NLBC 2.5
NLBC 3.0
NLBC 3.5
M. Knepley (UC) MGK CAAM 43 / 48
![Page 66: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/66.jpg)
Future Directions
New Physics
Phenomenon:Solute–Solvent Interface Potential
Model:Static Solvation Potential
−1 −0.5 0 0.5 1−90
−80
−70
−60
−50
−40
−30
−20
−10
0
10
Charge q
Gch
arg
ing (
kca
l/m
ol)
FEP 0.0FEP 2.0
FEP 2.5FEP 3.0
FEP 3.5NLBC 0.0
NLBC 2.0NLBC 2.5
NLBC 3.0
NLBC 3.5
M. Knepley (UC) MGK CAAM 43 / 48
![Page 67: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/67.jpg)
Future Directions
Impact of Mathematics on Science
Computational Leaders have alwaysembraced the latest technology
and been inspired by physical problems,
M. Knepley (UC) MGK CAAM 44 / 48
Applied Mathematics
![Page 68: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/68.jpg)
Future Directions
Impact of Mathematics on Science
Computational Leaders have alwaysembraced the latest technology
and been inspired by physical problems,
M. Knepley (UC) MGK CAAM 44 / 48
Applied Mathematics
![Page 69: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/69.jpg)
Future Directions
Impact of Mathematics on Science
Computational Leaders have alwaysembraced the latest technology
and been inspired by physical problems,
M. Knepley (UC) MGK CAAM 44 / 48
Applied Mathematics
![Page 70: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/70.jpg)
Future Directions
Impact of Mathematics on Science
Computational Leaders have alwaysembraced the latest technology
and been inspired by physical problems,
PETSc
M. Knepley (UC) MGK CAAM 44 / 48
Applied Mathematics
![Page 71: Computation Institute University of Chicagopeople.cs.uchicago.edu/~knepley/presentations/RiceJobTalk.pdf · BEM, GBMV, SGB/CFA, BIBEE/CFA, and BIBEE/P. Figure 3!a" is a plot of the](https://reader035.fdocuments.us/reader035/viewer/2022070805/5f0394e57e708231d409c289/html5/thumbnails/71.jpg)
Future Directions
Impact of Mathematics on Science
Computational Leaders have alwaysembraced the latest technology
and been inspired by physical problems,
Enabling Scientific Discovery
M. Knepley (UC) MGK CAAM 44 / 48
Applied Mathematics