+
+-- * Mass matrix
+
+big_M_elem :: forall m n l a b.
+ (Arity l, Arity m, Arity n,
+ Algebraic.C a, RealField.C a, ToRational.C a)
+ => PDE a
+ -> Params m n l a
+ -> Int
+ -> Int
+ -> Mat l l a
+ -> b
+ -> Mat l l a
+big_M_elem pde params _ k cur_M _ =
+ ifoldl2 accum cur_M (big_Ns_matrix :: Mat m (S n) (a -> a))
+ where
+ accum :: Int -> Int -> Mat l l a -> (a -> a) -> Mat l l a
+ accum i j prev_M these_Ns =
+ prev_M + this_M
+ where
+ two = fromInteger 2
+ (x1,x2) = (mesh params) !!! (k,0)
+ q = affine_inv (x1,x2)
+ integrand x = ((c pde) (q x)) * (these_Ns x)
+ -- The pointer matrix numbers from 1 so subtract one here to
+ -- get the right index.
+ row_idx = ((pointer params) !!! (k,i)) - 1
+ col_idx = ((pointer params) !!! (k,j)) - 1
+ integral = (x2 - x1)*(gaussian integrand) / two
+ this_M = set_idx zero (row_idx, col_idx) integral
+
+
+-- | Compute the \"big M\" mass matrix. There are three
+-- parameters needed for M, namely i,j,k so a fold over a matrix will
+-- not do. This little gimmick simulates a three-index fold by doing a
+-- two-index fold over a row of the proper dimensions.
+--
+-- Examples:
+--
+-- >>> import Linear.Matrix ( Col4, frobenius_norm, fromList )
+-- >>> import Naturals ( N3, N4, N7 )
+--
+-- >>> let big_A = const (1::Double)
+-- >>> let c x = sin x
+-- >>> let f x = x*(sin x)
+-- >>> let bdy = Left (Dirichlet (0,1::Double))
+-- >>> let pde = PDE big_A c f bdy
+--
+-- >>> let i1 = (0.0,1/3)
+-- >>> let i2 = (1/3,2/3)
+-- >>> let i3 = (2/3,4/5)
+-- >>> let i4 = (4/5,1.0)
+-- >>> let mesh = fromList [[i1], [i2], [i3], [i4]] :: Col4 (Double,Double)
+-- >>> let pvec = fromList [[2],[3],[2],[1]] :: Col4 Int
+-- >>> let params = Params mesh pvec :: Params N4 N3 N7 Double
+--
+-- >>> let m1 = [0.0723,0.0266,0,-0.0135,-0.0305,0.0058,0] :: [Double]
+-- >>> let m2 = [0.0266,0.0897,0.0149,0,-0.0345,-0.0109,-0.0179] :: [Double]
+-- >>> let m3 = [0,0.0149,0.0809,0,0,0,-0.0185] :: [Double]
+-- >>> let m4 = [-0.0135,0,0,0.0110,0,0,0] :: [Double]
+-- >>> let m5 = [-0.0305,-0.0345,0,0,0.0319,0.0018,0] :: [Double]
+-- >>> let m6 = [0.0058,-0.0109,0,0,0.0018,0.0076,0] :: [Double]
+-- >>> let m7 = [0,-0.0179,-0.0185,0,0,0,0.0178] :: [Double]
+--
+-- >>> let expected = fromList [m1,m2,m3,m4,m5,m6,m7] :: Mat N7 N7 Double
+-- >>> let actual = big_M pde params
+-- >>> frobenius_norm (actual - expected) < 1e-3
+-- True
+--
+big_M :: forall m n l a.
+ (Arity l, Arity m, Arity n,
+ Algebraic.C a, RealField.C a, ToRational.C a)
+ => PDE a
+ -> Params m n l a
+ -> Mat l l a
+big_M pde params =
+ ifoldl2 (big_M_elem pde params) zero col_idxs
+ where
+ col_idxs = fromList [map fromInteger [0..]] :: Row m a
+
+
+
+-- | Determine the coefficient vector @x@ from the system @(K + M)x = F@.
+--
+-- Examples:
+--
+-- >>> import Linear.Matrix ( Col4, Col7, frobenius_norm, fromList )
+-- >>> import Naturals ( N3, N4, N7 )
+--
+-- >>> let big_A = const (1::Double)
+-- >>> let c x = sin x
+-- >>> let f x = x*(sin x)
+-- >>> let bdy = Left (Dirichlet (0,1::Double))
+-- >>> let pde = PDE big_A c f bdy
+--
+-- >>> let i1 = (0.0,1/3)
+-- >>> let i2 = (1/3,2/3)
+-- >>> let i3 = (2/3,4/5)
+-- >>> let i4 = (4/5,1.0)
+-- >>> let mesh = fromList [[i1], [i2], [i3], [i4]] :: Col4 (Double,Double)
+-- >>> let pvec = fromList [[2],[3],[2],[1]] :: Col4 Int
+-- >>> let params = Params mesh pvec :: Params N4 N3 N7 Double
+--
+-- >>> let c1 = [0.02366220347687] :: [Double]
+-- >>> let c2 = [0.03431630082636] :: [Double]
+-- >>> let c3 = [0.02841800893264] :: [Double]
+-- >>> let c4 = [-0.00069489654996] :: [Double]
+-- >>> let c5 = [-0.00518637005151] :: [Double]
+-- >>> let c6 = [-0.00085028505337] :: [Double]
+-- >>> let c7 = [-0.00170478210110] :: [Double]
+-- >>> let expected = fromList [c1,c2,c3,c4,c5,c6,c7] :: Col7 Double
+-- >>> let actual = coefficients pde params
+-- >>> frobenius_norm (actual - expected) < 1e-8
+-- True
+--
+coefficients :: forall m n l a.
+ (Arity m, Arity n, Arity l,
+ Algebraic.C a, Eq a, RealField.C a, ToRational.C a)
+ => PDE a
+ -> Params m n (S l) a
+ -> Col (S l) a
+coefficients pde params =
+ solve_positive_definite matrix b
+ where
+ matrix = (big_K pde params) + (big_M pde params)
+ b = big_F pde params