{
  "dimension": 2,
  "kernel_convention": "Delta E_2 = delta_0; E_2=log(r)/(2*pi)",
  "source": [
    0.6,
    1.2
  ],
  "reflected_source": [
    0.6,
    -1.2
  ],
  "observation": [
    -0.8,
    1.6
  ],
  "source_distance_squared": 2.12,
  "reflected_distance_squared": 9.8,
  "green_formula": "log(((z-.6)^2+(t-1.2)^2)/((z-.6)^2+(t+1.2)^2))/(4*pi)",
  "green_sample_domain": {
    "z": [
      -3,
      3
    ],
    "t": [
      0,
      3.6
    ]
  },
  "green_color_lower_clip": -0.55,
  "poisson_sample": "P((0,1),eta)=1/(pi*(1+eta^2)); whole-line integral=1",
  "poisson_plot_window": [
    -5,
    5
  ],
  "ball_inversion": "T(y)=-e+2*(y+e)/|y+e|^2, e=(0,1)",
  "sphere_atoms": [
    {
      "point": [
        0,
        1
      ],
      "mass": 1,
      "boundary_point": 0,
      "boundary_mass": 0.5
    },
    {
      "point": [
        1,
        0
      ],
      "mass": 1,
      "boundary_point": 1,
      "boundary_mass": 1
    },
    {
      "point": [
        0,
        -1
      ],
      "mass": "pi/2",
      "image": "infinity",
      "height_coefficient": 0.25
    }
  ],
  "positive_harmonic_example": "u=P(x,0)/2+P(x,1)+t/4; v=-u satisfies the source upper bound",
  "harmonic_slice_height": 1,
  "height_coefficient": 0.25,
  "proof_locators": [
    "GR3",
    "GR8",
    "GR10",
    "GR11 Examples 1-2"
  ]
}